Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems

DOI10.1007/s10992-020-09585-2OpenAlexW3118267960MaRDI QIDQ2236604

Norihiro Kamide

Publication date: 25 October 2021

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-020-09585-2

zbMATH Keywords

completenesscut-eliminationlattice logicbilattice logicmonosequent systemparaconsistent quantum logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi

Cites Work

• Cut elimination and word problems for varieties of lattices
• Intuitionistic logic with strong negation
• From basic logic to quantum logics with cut-elimination
• The value of the four values
• Proof theory of paraconsistent quantum logic
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Reasoning with logical bilattices
• Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
• The logic of quantum mechanics
• Constructible falsity and inexact predicates
• Bilattices and the semantics of logic programming
• Basic logic: reflection, symmetry, visibility
• Order-dual relational semantics for non-distributive propositional logics
• Modal and temporal extensions of non-distributive propositional logics
• Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach
• The geometry of non-distributive logics
• Constructible falsity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems