Gentzen-type calculi for involutive quantales

DOI10.1007/S10773-005-3965-XMaRDI QIDQ2575479zbMATH OpenOpenAlexFDO

Authors 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

quantum logicsequent calculuscut-eliminationinvolutive quantale

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 426314 (Why is no real title available?)
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 1531367 (Why is no real title available?)
• A Kripke semantics for the logic of Gelfand quantales
• A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
• From basic logic to quantum logics with cut-elimination
• Informational interpretation of substructural propositional logics
• Non‐commutative intuitionistic linear logic
• On the quantisation of points
• On the quantisation of spaces
• Pretopologies and completeness proofs
• Proof theory for minimal quantum logic. I
• Proof theory for minimal quantum logic: A remark
• Quantales and (noncommutative) linear logic
• Quantized linear logic, involutive quantales and strong negation
• Relational proof system for linear and other substructural logics
• Simple involutive quantales
• The completeness of linear logic for Petri net models
• The weakest prespecification

Cited in

(4)

• Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
• Open maps of involutive quantales
• scientific article; zbMATH DE number 2070407 (Why is no real title available?)
• The congruence relation of an involutive quantale.

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

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