Algebraic logic for classical conjunction and disjunction

DOI10.1007/BF00370680zbMath0753.03027OpenAlexW4231562412MaRDI QIDQ1189892

Ventura Verdú, Josep Maria Font

Publication date: 27 September 1992

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370680

zbMATH Keywords

algebraizable logicslogical matricesvariety of distributive latticesabstract logicsfragment of classical propositional logicmodel of a sequential calculus

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Structure and representation theory of distributive lattices (06D05) Varieties of lattices (06B20) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

On the deductive system of the order of an equationally orderable quasivariety ⋮ On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences ⋮ Algebraic study of Sette's maximal paraconsistent logic ⋮ Algebraic study of two deductive systems of relevance logic ⋮ On the infinite-valued Łukasiewicz logic that preserves degrees of truth ⋮ Abstract modal logics ⋮ An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic ⋮ A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ Selfextensional logics with a conjunction ⋮ Categorical abstract algebraic logic: referential algebraic semantics ⋮ The proof by cases property and its variants in structural consequence relations ⋮ On the logic of distributive nearlattices ⋮ Abstract algebraic logic. An introductory chapter ⋮ Priestley-style duality for DN-algebras ⋮ Equivalential structures for binary and ternary syllogistics ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ A note on congruences of semilattices with sectionally finite height. ⋮ On three implication-less fragments of t-norm based fuzzy logics ⋮ Algebraization of quantifier logics, an introductory overview ⋮ The lattice of distributive closure operators over an algebra ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ The logic of distributive nearlattices ⋮ Correspondences between gentzen and hilbert systems ⋮ Equivalential and algebraizable logics ⋮ An abstract algebraic logic approach to tetravalent modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• 2-element matrices
• Theory of logical calculi. Basic theory of consequence operations
• Introduction to the special issue on algebraic logic
• Continuous dependence on initial geometry for a class of abstract equations in Hilbert space
• Key notions of Tarski's methodology of deductive systems
• Alfred Tarski's work on general metamathematics
• Algebraizable logics
• A first approach to abstract modal logics