scientific article; zbMATH DE number 218517
From MaRDI portal
Publication:4694232
zbMath0787.03005MaRDI QIDQ4694232
Publication date: 29 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesssemanticsintuitionistic linear logicintuitionistic phase spacesintuitionistic topophase spaces
Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (4)
Language in action ⋮ Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic ⋮ Phase semantics for a pure noncommutative linear propositional logic ⋮ A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
This page was built for publication:
