Pages that link to "Item:Q1189892"
From MaRDI portal
The following pages link to Algebraic logic for classical conjunction and disjunction (Q1189892):
Displayed 17 items.
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- A note on congruences of semilattices with sectionally finite height. (Q471164) (← links)
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- The lattice of distributive closure operators over an algebra (Q1208109) (← links)
- Algebraic study of Sette's maximal paraconsistent logic (Q1344874) (← links)
- Algebraic study of two deductive systems of relevance logic (Q1893139) (← links)
- Abstract modal logics (Q1902554) (← links)
- On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Equivalential and algebraizable logics (Q2563460) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- An abstract algebraic logic approach to tetravalent modal logics (Q4508244) (← links)
- On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences (Q5291830) (← links)