The following pages link to Basic Propositional Calculus I (Q4210835):
Displayed 25 items.
- Frontal operators in weak Heyting algebras (Q454367) (← links)
- The de Jongh property for basic arithmetic (Q481876) (← links)
- 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)
- \(l\)-hemi-implicative semilattices (Q1790597) (← links)
- Latarres, lattices with an arrow (Q1790604) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- Proof complexity of substructural logics (Q2032997) (← links)
- Representations of Sheffer stroke algebras and Visser algebras (Q2100205) (← links)
- Valuations: bi, tri, and tetra (Q2278844) (← links)
- Principal congruences in weak Heyting algebras (Q2630276) (← links)
- Binary modal companions for subintuitionistic logics (Q2658275) (← links)
- Implication via spacetime (Q2658280) (← links)
- On PBZ*-lattices (Q2658283) (← links)
- Quasi-subtractive varieties (Q3107353) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Completions of Basic Algebras (Q3638276) (← links)
- Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (Q5213676) (← links)
- Easkia Duality and Its Extensions (Q5255792) (← links)
- Basic predicate calculus (Q5937805) (← links)
- The variety of modal weak Gödel algebras (Q6083149) (← links)
- On self‐distributive weak Heyting algebras (Q6096729) (← links)
- Interpolation Property on Visser's Formal Propositional Logic (Q6200444) (← links)