Selfextensional logics with a conjunction

DOI10.1007/S11225-006-9003-ZzbMATH Open1115.03094OpenAlexW2000323020MaRDI QIDQ865045FDOQ865045

Authors: 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

Recommendations

• Selfextensional logics in abstract algebraic logic: a brief survey
• Self-extensional three-valued paraconsistent logics
• scientific article; zbMATH DE number 2196609
• The normal and self-extensional extension of Dunn-Belnap logic
• On semilattice-based logics with an algebraizable assertional companion

zbMATH Keywords

algebraic logicselfextensional logicalgebraizable logicgeneralized matrixFregan logicfull generalized modelfully adequate Gentzen system

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (25)

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

This page was built for publication: Selfextensional logics with a conjunction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q865045)