Switch to: References

Add citations

You must login to add citations.
  1. Singly Generated Quasivarieties and Residuated Structures.Tommaso Moraschini, James G. Raftery & Johann J. Wannenburg - 2020 - Mathematical Logic Quarterly 66 (2):150-172.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Spaces of Types in Positive Model Theory.Levon Haykazyan - 2019 - Journal of Symbolic Logic 84 (2):833-848.
    We introduce a notion of the space of types in positive model theory based on Stone duality for distributive lattices. We show that this space closely mirrors the Stone space of types in the full first-order model theory with negation (Tarskian model theory). We use this to generalise some classical results on countable models from the Tarskian setting to positive model theory.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Universal Logic: Evolution of a Project.Jean-Yves Beziau - 2018 - Logica Universalis 12 (1-2):1-8.
    We discuss the origin and development of the universal logic project. We describe in particular the structure of UNILOG, a series of events created for promoting the universal logic project, with a school, a congress, a secret speaker and a contest. We explain how the contest has evolved into a session of logic prizes.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations