Containment logics: algebraic completeness and axiomatization

DOI10.1007/s11225-020-09930-1zbMath1487.03080arXiv1809.06761OpenAlexW3130376359MaRDI QIDQ2062211

Michele Pra Baldi, Stefano Bonzio

Publication date: 27 December 2021

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

Full work available at URL: https://arxiv.org/abs/1809.06761

zbMATH Keywords

abstract algebraic logicnon-classical logicsPłonka sumscontainment logic

Mathematics Subject Classification ID

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

Related Items (2)

Pure Variable Inclusion Logics ⋮ A logical modeling of severe ignorance

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• On the sum of a direct system of universal algebras with nullary polynomials
• Residuated lattices. An algebraic glimpse at substructural logics
• The logic of paradox
• Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
• An algebraic view of super-Belnap logics
• Relative congruence formulas and decompositions in quasivarieties
• Characterizing finite-valuedness
• Logics of nonsense and Parry systems
• Logics of left variable inclusion and Płonka sums of matrices
• Algebraic analysis of demodalised analytic implication
• Faulty Belnap computers and subsystems of FDE
• Relevant Logics Obeying Component Homogeneity
• Belnap's Four-Valued Logic and De Morgan Lattices
• A computational interpretation of conceptivism
• Defining LFIs and LFUs in extensions of infectious logics
• Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence
• Natural Deduction for Four-Valued both Regular and Monotonic Logics
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• Characterizing Belnap's Logic via De Morgan's Laws
• On Priest's logic of paradox
• Nonsense logics and their algebraic properties
• Logics of variable inclusion and the lattice of consequence relations
• Exactly true and non-falsity logics meeting infectious ones
• Logics based on linear orders of contaminating values
• Inconsistency lemmas in algebraic logic
• On distributive quad-lattices
• On a method of construction of abstract algebras
• Lattices With Involution

This page was built for publication: Containment logics: algebraic completeness and axiomatization