Pages that link to "Item:Q1189892"

The following pages link to Algebraic logic for classical conjunction and disjunction (Q1189892):

Displaying 24 items.

• On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
• 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)
• Equivalential structures for binary and ternary syllogistics (Q1711503) (← links)
• The logic of distributive nearlattices (Q1797923) (← links)
• Algebraic study of two deductive systems of relevance logic (Q1893139) (← links)
• Abstract modal logics (Q1902554) (← links)
• An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic (Q2155505) (← 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)
• A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
• On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences (Q5291830) (← links)
• On the logic of distributive nearlattices (Q6094160) (← links)
• Priestley-style duality for DN-algebras (Q6142013) (← links)