Pages that link to "Item:Q1289105"
From MaRDI portal
The following pages link to Speaking about transitive frames in propositional languages (Q1289105):
Displayed 11 items.
- Amalgamation property for the class of basic algebras and some of its natural subclasses (Q862346) (← links)
- Sequent calculi for Visser's propositional logics (Q1409300) (← links)
- A closer look at some subintuitionistic logics (Q1422101) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- Alternative Semantics for Visser’s Propositional Logics (Q3455192) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (Q5213676) (← links)
- Abstract algebraic logic. An introductory chapter (Q6120603) (← links)