Left variable inclusion logics associated with classical logic

DOI10.1215/00294527-2024-0019MaRDI QIDQ7034183zbMATH OpenFDO

Authors Francesco Paoli, Michele Pra Baldi

Publication date 31 January 2025

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://hdl.handle.net/11584/434167

zbMATH Keywords

algebraic logiclogics of variable inclusionparaconsistent weak Kleene logicPłonka sums

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Other algebras related to logic (03G25) Abstract algebraic logic (03G27)

Review text

The authors give a complete description of its subclassical extensions by considering pure left variable inclusion companion of classical logic. They also provide relative axiomatizations and characteristic (sets of) matrices for each one of these extensions, as well as syntactic descriptions (in terms of variable inclusion criteria) for the valid entailments of some of them and determine in each case the algebra reducts of the Suszko-reduced matrix models.

Cites work

• A duality for involutive bisemilattices
• A representation theorem for distributive quasi-lattices
• Abstract algebraic logic. An introductory textbook
• Algebraic analysis of demodalised analytic implication
• Algebraic completeness results for R-mingle and its extensions
• An algebraic view of super-Belnap logics
• Characterizing logical consequence in paraconsistent weak Kleene
• Containment logics: algebraic completeness and axiomatization
• Extensions of paraconsistent weak Kleene logic
• scientific article; zbMATH DE number 139652 (Why is no real title available?)
• scientific article; zbMATH DE number 1852853 (Why is no real title available?)
• scientific article; zbMATH DE number 1852926 (Why is no real title available?)
• scientific article; zbMATH DE number 3061149 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Logics based on linear orders of contaminating values
• Logics of left variable inclusion and Płonka sums of matrices
• Logics of variable inclusion
• Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
• On a method of construction of abstract algebras
• On a three-valued logical calculus and its application to the analysis of contradictions.
• On distributive quad-lattices
• On equational classes of abstract algebras defined by regular equations
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• On sums of direct systems of Boolean algebras
• Pure variable inclusion logics
• Relevant logics obeying component homogeneity
• Some remarks on sums of direct systems of algebras
• Subdirect decomposition of distributive quasilattices
• Subdirect decomposition of Plonka sums
• Subquasivarieties of regularized varieties
• The connectives

This page was built for publication: Left variable inclusion logics associated with classical logic

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