Logics of left variable inclusion and Płonka sums of matrices
From MaRDI portal
Publication:2219088
DOI10.1007/s00153-020-00727-6zbMath1491.03088arXiv1804.08897OpenAlexW3098689503MaRDI QIDQ2219088
M. Pra Baldi, Stefano Bonzio, Tommaso Moraschini
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
Related Items
Pure Variable Inclusion Logics ⋮ Group representation for even and odd involutive commutative residuated chains ⋮ An unexpected Boolean connective ⋮ A duality for involutive bisemilattices ⋮ Proof theory of paraconsistent weak Kleene logic ⋮ Probability over Płonka sums of Boolean algebras: states, metrics and topology ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ Algebraic analysis of demodalised analytic implication ⋮ Containment logics: algebraic completeness and axiomatization ⋮ The Płonka product of topological spaces ⋮ Logics of variable inclusion and the lattice of consequence relations
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Varieties of Birkhoff systems. I
- Varieties of Birkhoff systems. II
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Duality for semilattice representations
- Residuated lattices. An algebraic glimpse at substructural logics
- Theory of logical calculi. Basic theory of consequence operations
- The logic of paradox
- Congruences and one element subalgebras
- Tools and techniques in modal logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Substructural logics: a primer
- A survey of abstract algebraic logic
- Counting finite linearly ordered involutive bisemilattices
- Dualities for Płonka sums
- Relative congruence formulas and decompositions in quasivarieties
- Stone-type representations and dualities for varieties of bisemilattices
- Implicit definition of the quaternary discriminator
- Algebraic foundations of many-valued reasoning
- Commutative idempotent groupoids and the constraint satisfaction problem.
- A duality for involutive bisemilattices
- Subdirect decomposition of Plonka sums
- A perspective on the algebra of logic
- Algebraizable logics
- Reducing Modal Consequence Relations
- A computational interpretation of conceptivism
- Defining LFIs and LFUs in extensions of infectious 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
- Subdirect decomposition of distributive quasilattices
- Protoalgebraic logics
This page was built for publication: Logics of left variable inclusion and Płonka sums of matrices