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

DOI10.1007/S10992-020-09585-2OpenAlexW3118267960MaRDI QIDQ2236604FDOQ2236604

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

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

zbMATH Keywords

completenesscut-eliminationlattice logicbilattice logicmonosequent systemparaconsistent quantum logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

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

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)