Logics of upsets of De Morgan lattices

DOI10.1002/MALQ.202100076arXiv2112.03884OpenAlexW4385427652MaRDI QIDQ6140751FDOQ6140751

Adam Přenosil

Publication date: 2 January 2024

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Abstract: We study logics determined by matrices consisting of a De~Morgan lattice with an upward closed set of designated values, such as the logic of non-falsity preservation in a given finite Boolean algebra and Shramko's logic of non-falsity preservation in the four-element subdirectly irreducible De Morgan lattice. The key tool in the study of these logics is the lattice-theoretic notion of an $n$-filter. We study the logics of all (complete, consistent, and classical) $n$-filters on De Morgan lattices, which are non-adjunctive generalizations of the four-valued logic of Belnap and Dunn (of the three-valued logics of Priest and Kleene, and of classical logic). We then show how to find a finite Hilbert-style axiomatization of any logic determined by a finite family of prime upsets of finite De Morgan lattices and a finite Gentzen-style axiomatization of any logic determined by a finite family of filters on finite De Morgan lattices. As an application, we axiomatize Shramko's logic of anything but falsehood.

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Propositional calculus for contradictory deductive systems
• Title not available (Why is that?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• The proof by cases property and its variants in structural consequence relations
• Injective de Morgan and Kleene Algebras
• Lattices With Involution
• Protoalgebraic logics
• Nothing but the truth
• Coproducts of De Morgan algebras
• Title not available (Why is that?)
• Some characterization theorems for infinitary universal Horn logic without equality
• Title not available (Why is that?)
• A propositional calculus for inconsistent deductive systems
• A comparative study of various model-theoretic treatments of negation: A history of formal negation
• An infinity of super-Belnap logics
• First-Degree Entailment and Structural Reasoning
• An algebraic view of super-Belnap logics
• THE LATTICE OF SUPER-BELNAP LOGICS
• Title not available (Why is that?)

This page was built for publication: Logics of upsets of De Morgan lattices

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