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

DOI10.1007/S10992-020-09585-2MaRDI QIDQ2236604zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Extending paraconsistent quantum logic: a single-antecedent/succedent system approach
• Proof theory of paraconsistent quantum logic
• Relational Methods in Computer Science
• Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
• Quantum Logic in the Framework of Linear Logic

Cites work

• scientific article; zbMATH DE number 5510996 (Why is no real title available?)
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 6934359 (Why is no real title available?)
• scientific article; zbMATH DE number 5046779 (Why is no real title available?)
• scientific article; zbMATH DE number 3074070 (Why is no real title available?)
• Algebraic methods in philosophical logic
• Basic logic: reflection, symmetry, visibility
• Bilattices and the semantics of logic programming
• Constructible falsity
• Constructible falsity and inexact predicates
• Cut elimination and word problems for varieties of lattices
• Extending paraconsistent quantum logic: a single-antecedent/succedent system approach
• Finite sum-product logic
• From basic logic to quantum logics with cut-elimination
• Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
• Intuitionistic logic with strong negation
• Intuitive semantics for first-degree entailments and `coupled trees'
• Modal and temporal extensions of non-distributive propositional logics
• Order-dual relational semantics for non-distributive propositional logics
• Partiality and its dual
• Proof theory of paraconsistent quantum logic
• Reasoning with logical bilattices
• Some properties for first-order Nelsonian paraconsistent quantum logic
• The connectives
• The geometry of non-distributive logics
• The logic of quantum mechanics
• The value of the four values

Cited in

(1)

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

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

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