The following pages link to (Q4896535):
Displaying 11 items.
- Intermediate logics and factors of the Medvedev lattice (Q952483) (← links)
- On bijunctive predicates over a finite set (Q1741483) (← links)
- On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees (Q1770592) (← links)
- Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights II (Q3360841) (← links)
- Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I (Q3809773) (← links)
- Finite and finitely separable intermediate propositional logics (Q3830978) (← links)
- Prefinitely axiomatizable modal and intermediate logics (Q4304115) (← links)
- Incompleteness Results in Kripke Bundle Semantics (Q4366129) (← links)
- (Q4443201) (← links)
- On the Independent Axiomatizability of Modal and Intermediate Logics (Q4835534) (← links)
- Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences (Q5262474) (← links)