Selfextensional logics with a conjunction

DOI10.1007/s11225-006-9003-zzbMath1115.03094OpenAlexW2000323020MaRDI QIDQ865045

Ramon Jansana

Publication date: 13 February 2007

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

Full work available at URL: https://doi.org/10.1007/s11225-006-9003-z

zbMATH Keywords

algebraizable logicalgebraic logicselfextensional logicgeneralized matrixFregan logicfull generalized modelfully adequate Gentzen system

Mathematics Subject Classification ID

Algebraic logic (03G99) Abstract deductive systems (03B22)

Related Items

Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity ⋮ De Morgan clones and four-valued logics ⋮ On the deductive system of the order of an equationally orderable quasivariety ⋮ Pure Variable Inclusion Logics ⋮ The proof by cases property and its variants in structural consequence relations ⋮ The strong version of a sentential logic ⋮ An algebraic view of super-Belnap logics ⋮ A deterministic weakening of Belnap-Dunn logic ⋮ Algebraizable logics with a strong conjunction and their semi-lattice based companions ⋮ Canonical extensions for congruential logics with the deduction theorem ⋮ Selfextensional logics with a distributive nearlattice term ⋮ Leibniz-linked pairs of deductive systems ⋮ Logics with disjunction and proof by cases ⋮ Monotonic modal logics with a conjunction ⋮ A new view of effects in a Hilbert space ⋮ Implicational (semilinear) logics. I: A new hierarchy ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ Taking degrees of truth seriously ⋮ Countably many weakenings of Belnap-Dunn logic ⋮ XIV Latin American Symposium on Mathematical Logic (SLALM) ⋮ Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fregean logics
• Theory of logical calculi. Basic theory of consequence operations
• Introduction to the special issue on algebraic logic
• Algebraic logic for classical conjunction and disjunction
• An algebraic approach to non-classical logics
• Definitional equivalence and algebraizability of generalized logical systems
• Leibniz filters revisited
• A closer look at some subintuitionistic logics
• A survey of abstract algebraic logic
• The Suszko operator. I
• Algebraic study of two deductive systems of relevance logic
• Ontology in the Tractatus of L. Wittgenstein
• Algebraizable logics
• Brouwerian Semilattices
• Belnap's Four-Valued Logic and De Morgan Lattices
• Weakly algebraizable logics
• Implicative Semi-Lattices
• Protoalgebraic logics
• Leibniz filters and the strong version of a protoalgebraic logic