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 logicparaconsistent weak Kleene logiclogics of variable inclusionPłonka sums

Mathematics Subject Classification ID

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

Cites work

• 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?)
• 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
• 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 Plonka sums
• Subdirect decomposition of distributive quasilattices
• 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)