Pages that link to "Item:Q3830978"
From MaRDI portal
The following pages link to Finite and finitely separable intermediate propositional logics (Q3830978):
Displaying 11 items.
- Post complete and 0-axiomatizable modal logics (Q920977) (← links)
- Reflexive intermediate first-order logics (Q1049753) (← links)
- Two classes of intermediate propositional logics without disjunction property (Q1115419) (← links)
- An infinite class of maximal intermediate propositional logics with the disjunction property (Q1204112) (← links)
- On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees (Q1770592) (← links)
- (Q3688377) (← links)
- (Q4443201) (← links)
- Remark on a finite axiomatization of finite intermediate propositional logics (Q4531584) (← links)
- On the Independent Axiomatizability of Modal and Intermediate Logics (Q4835534) (← links)
- (Q4896535) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)