Equality in linear logic

MaRDI QIDQ2735816zbMATH OpenFDO

Authors Marcelo E. Coniglio, Francisco Miraglia

Publication date 4 September 2001

Published in Logique et Analyse. Nouvelle Série (Search for Journal in Brave)

zbMATH Keywords

classical logicequality predicateexponentialsintuitionistic logiclinear calculus with equalitylinear logicquantalessemanticstranslations

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Logical aspects of lattices and related structures (03G10) Quantales (06F07)

Recommendations

• Quantized linear logic, involutive quantales and strong negation
• scientific article; zbMATH DE number 4173040
• scientific article; zbMATH DE number 426318
• Noncommutative linear logic and its quantale semantics
• Quantales and (noncommutative) linear logic

Cited in

(11)

• Quantized linear logic, involutive quantales and strong negation
• Monadic classes of quantum B-algebras
• scientific article; zbMATH DE number 426318 (Why is no real title available?)
• scientific article; zbMATH DE number 1089034 (Why is no real title available?)
• Quantum B-algebras with involutions
• Equivalence of syllogisms
• Computer Aided Verification
• Modules in the category of sheaves over quantales
• Equality detection for linear arithmetic constraints
• Logical foundations of quantitative equality
• Quantitative equality in substructural logic via Lipschitz doctrines

This page was built for publication: Equality in linear logic

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