Gentzen-type calculi for involutive quantales

DOI10.1007/S10773-005-3965-XzbMATH Open1089.81007OpenAlexW2074393451MaRDI QIDQ2575479FDOQ2575479

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

• Title not available (Why is that?)
• Pretopologies and completeness proofs
• Quantized linear logic, involutive quantales and strong negation
• On the quantisation of spaces
• Title not available (Why is that?)
• Quantales and (noncommutative) linear logic
• Title not available (Why is that?)
• On the quantisation of points
• Simple involutive quantales
• The weakest prespecification
• 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
• The completeness of linear logic for Petri net models
• Proof theory for minimal quantum logic. I
• Proof theory for minimal quantum logic: A remark
• Non‐commutative intuitionistic linear logic
• A Kripke semantics for the logic of Gelfand quantales
• Title not available (Why is that?)
• Relational proof system for linear and other substructural logics

Cited In (4)

• Title not available (Why is that?)
• The congruence relation of an involutive quantale.
• Open maps of involutive quantales
• Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers

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)