Gentzen-type calculi for involutive quantales
From MaRDI portal
(Redirected from Publication:2575479)
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)
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)
