Pages that link to "Item:Q581390"
From MaRDI portal
The following pages link to Finite axiomatizability of locally tabular superintuitionistic logics (Q581390):
Displaying 13 items.
- Finite approximability of forest superintuitionistic logics (Q1068076) (← links)
- Number of prelocally table superintuitionistic propositional logics (Q1069926) (← links)
- Two sequences of locally tabular superintuitionistic logics (Q1181493) (← links)
- Hereditarily finitely axiomatizable extensions of logic S4 (Q1239153) (← links)
- Not every ``tabular'' predicate logic is finitely axiomatizable (Q1378430) (← links)
- Locally tabular \(\neq \) locally finite (Q1682298) (← links)
- Obtaining Finite Local Theory Axiomatizations via Saturation (Q2849490) (← links)
- HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS (Q5117590) (← links)
- (Q5324977) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)
- The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond (Q5886460) (← links)
- On finitely-generated Johansson algebras (Q6116351) (← links)