Switch to: References

Add citations

You must login to add citations.
  1. Locally Tabular $$ne $$ Locally Finite.Sérgio Marcelino & Umberto Rivieccio - 2017 - Logica Universalis 11 (3):383-400.
    We show that for an arbitrary logic being locally tabular is a strictly weaker property than being locally finite. We describe our hunt for a logic that allows us to separate the two properties, revealing weaker and weaker conditions under which they must coincide, and showing how they are intertwined. We single out several classes of logics where the two notions coincide, including logics that are determined by a finite set of finite matrices, selfextensional logics, algebraizable and equivalential logics. Furthermore, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Tarski's theorem on intuitionistic logic, for polyhedra.Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill & Andrea Pedrini - 2018 - Annals of Pure and Applied Logic 169 (5):373-391.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation