Logics of left variable inclusion and Płonka sums of matrices

DOI10.1007/S00153-020-00727-6MaRDI QIDQ2219088zbMATH OpenOpenAlexFDO

Authors Stefano Bonzio, Tommaso Moraschini, M. Pra Baldi

Publication date 19 January 2021

Published in Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

abstract algebraic logicregular varietiesKleene logicsPłonka sums

Mathematics Subject Classification ID

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

Abstract: The paper aims at studying, in full generality, logics defined by imposing a variable inclusion condition on a given logic $vdash$. It turns out that the algebraic counterpart of the variable inclusion companion of a given logic $vdash$ is obtained by constructing the Plonka sum of the matrix models of $vdash$. This association allows to obtain a Hilbert-style axiomatization of the logics of variable inclusion and to describe the structure of their reduced models.

Recommendations

• Containment logics: algebraic completeness and axiomatization
• Varieties of logical matrices
• Pure variable inclusion logics
• Dualities for Płonka sums
• Logics of variable inclusion and the lattice of consequence relations

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 32090 (Why is no real title available?)
• scientific article; zbMATH DE number 139647 (Why is no real title available?)
• scientific article; zbMATH DE number 139652 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (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 computational interpretation of conceptivism
• A duality for involutive bisemilattices
• A perspective on the algebra of logic
• A survey of abstract algebraic logic
• Abstract algebraic logic. An introductory textbook
• Algebraic foundations of many-valued reasoning
• Algebraizable logics
• Characterizing logical consequence in paraconsistent weak Kleene
• Commutative idempotent groupoids and the constraint satisfaction problem.
• Congruences and one element subalgebras
• Counting finite linearly ordered involutive bisemilattices
• Defining LFIs and LFUs in extensions of infectious logics
• Dualities for Płonka sums
• Duality for semilattice representations
• Handbook of mathematical fuzzy logic. Volume 1
• Implicit definition of the quaternary discriminator
• Inconsistency lemmas in algebraic logic
• Logics based on linear orders of contaminating values
• Modal logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On a method of construction of abstract algebras
• On distributive quad-lattices
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• Protoalgebraic logics
• Reducing Modal Consequence Relations
• Relative congruence formulas and decompositions in quasivarieties
• Residuated lattices. An algebraic glimpse at substructural logics
• Stone-type representations and dualities for varieties of bisemilattices
• Subdirect decomposition of Plonka sums
• Subdirect decomposition of distributive quasilattices
• Substructural logics: a primer
• The logic of paradox
• Theory of logical calculi. Basic theory of consequence operations
• Tools and techniques in modal logic
• Universal algebra and applications in theoretical computer science
• Universal algebra. Fundamentals and selected topics
• Varieties of Birkhoff systems. I
• Varieties of Birkhoff systems. II

Cited in

(22)

• A duality for involutive bisemilattices
• Pure variable inclusion logics
• Probability over Płonka sums of Boolean algebras: states, metrics and topology
• The Płonka product of topological spaces
• Proof theory of paraconsistent weak Kleene logic
• Logics of variable inclusion and the lattice of consequence relations
• Algebraic analysis of demodalised analytic implication
• A generalization of Beall's off-topic interpretation
• Restricted rules of inference and paraconsistency
• Left variable inclusion logics associated with classical logic
• Editorial introduction
• Group representation for even and odd involutive commutative residuated chains
• Modal weak Kleene logics: axiomatizations and relational semantics
• Finite Hilbert systems for weak Kleene logics
• On Woodruff's constructive nonsense logic
• Containment logics: algebraic completeness and axiomatization
• Relational companions of logics
• Generalized explosion principles
• Płonka adjunction
• Monadicity of non-deterministic logical matrices is undecidable
• A simple logical matrix and sequent calculus for Parry's logic of analytic implication
• An unexpected Boolean connective

This page was built for publication: Logics of left variable inclusion and Płonka sums of matrices

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