Gentzen-type calculi for involutive quantales

DOI10.1007/s10773-005-3965-xzbMath1089.81007OpenAlexW2074393451MaRDI QIDQ2575479

Norihiro Kamide

Publication date: 12 December 2005

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10773-005-3965-x

zbMATH Keywords

sequent calculusquantum logiccut-eliminationinvolutive quantale

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The weakest prespecification
• From basic logic to quantum logics with cut-elimination
• Informational interpretation of substructural propositional logics
• Proof theory for minimal quantum logic. I
• Simple involutive quantales
• A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
• Quantized linear logic, involutive quantales and strong negation
• On the quantisation of spaces
• Proof theory for minimal quantum logic: A remark
• The completeness of linear logic for Petri net models
• Quantales and (noncommutative) linear logic
• Non‐commutative intuitionistic linear logic
• Relational proof system for linear and other substructural logics
• Pretopologies and completeness proofs
• On the quantisation of points
• A Kripke semantics for the logic of Gelfand quantales

This page was built for publication: Gentzen-type calculi for involutive quantales