Containment logics: algebraic completeness and axiomatization
From MaRDI portal
Publication:2062211
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
Related Items (2)
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