Selfextensional logics with a conjunction

DOI10.1007/s11225-006-9003-zzbMath1115.03094MaRDI 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 logic; algebraic logic; selfextensional logic; generalized matrix; Fregan logic; full generalized model; fully adequate Gentzen system

Mathematics Subject Classification ID

03G99: Algebraic logic

03B22: Abstract deductive systems

Related Items

Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity, On the deductive system of the order of an equationally orderable quasivariety, The proof by cases property and its variants in structural consequence relations, A new view of effects in a Hilbert space, Canonical extensions for congruential logics with the deduction theorem, Leibniz-linked pairs of deductive systems, Logics with disjunction and proof by cases, Implicational (semilinear) logics. I: A new hierarchy, Taking degrees of truth seriously, The strong version of a sentential logic, An algebraic view of super-Belnap logics, Algebraizable logics with a strong conjunction and their semi-lattice based companions, Beyond Rasiowa's algebraic approach to non-classical logics, XIV Latin American Symposium on Mathematical Logic (SLALM)

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item