Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach

DOI10.1002/malq.201700012OpenAlexW2900425244WikidataQ128909021 ScholiaQ128909021MaRDI QIDQ5109233

Norihiro Kamide

Publication date: 11 May 2020

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

Full work available at URL: https://doi.org/10.1002/malq.201700012

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems ⋮ Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic logic with strong negation
• From basic logic to quantum logics with cut-elimination
• Proof theory of paraconsistent quantum logic
• Intuitive semantics for first-degree entailments and `coupled trees'
• The logic of quantum mechanics
• Constructible falsity and inexact predicates
• Sequential Calculus for a First Order Infinitary Temporal Logic
• Embedding theorems for LTL and its variants
• Constructible falsity

This page was built for publication: Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach