scientific article
From MaRDI portal
Publication:2735816
zbMath0976.03065MaRDI QIDQ2735816
Marcelo E. Coniglio, Francisco Miraglia
Publication date: 4 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
linear logictranslationssemanticsintuitionistic logicquantalesexponentialsclassical logicequality predicatelinear calculus with equality
Logical aspects of lattices and related structures (03G10) Classical first-order logic (03B10) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Quantales (06F07) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (3)
Monadic classes of quantum B-algebras ⋮ Modules in the category of sheaves over quantales ⋮ Quantum B-algebras with involutions
This page was built for publication:
