Logics of variable inclusion and the lattice of consequence relations

DOI10.1080/11663081.2020.1835330zbMath1486.03020arXiv1903.03771OpenAlexW3095545553MaRDI QIDQ4994024

Michele Pra Baldi

Publication date: 11 June 2021

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

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

zbMATH Keywords

Płonka sumslogics of variable inclusionlattice of consequence relations

Mathematics Subject Classification ID

Many-valued logic (03B50) Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Related Items (3)

Proof theory of paraconsistent weak Kleene logic ⋮ Containment logics: algebraic completeness and axiomatization ⋮ Meaningless divisions

Cites Work

• 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
• Theory of logical calculi. Basic theory of consequence operations
• Relative congruence formulas and decompositions in quasivarieties
• Logics of left variable inclusion and Płonka sums of matrices
• \(M\)-sets and the representation problem
• Equivalence of consequence operations
• Relevant Logics Obeying Component Homogeneity
• Theories of truth based on four-valued infectious logics
• Algebraizable logics
• Defining LFIs and LFUs in extensions of infectious logics
• Natural deduction for three-valued regular logics
• 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
• Protoalgebraic logics

This page was built for publication: Logics of variable inclusion and the lattice of consequence relations