scientific article
From MaRDI portal
Publication:3832536
zbMath0677.03006MaRDI QIDQ3832536
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesspretopologyintuitionistic linear logicHeyting propositional calculusimplication operationGödel double-negation translationsemantics for minimal linear logic
Other nonclassical logic (03B60) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (9)
What’s in a Relation? Logical Structures of Modes of Granulation ⋮ Cover systems for the modalities of linear logic ⋮ Inductively generated formal topologies. ⋮ Language in action ⋮ Rough Sets - Past, Present and Future: Some Notes ⋮ A constructive proof of the Heine-Borel covering theorem for formal reals ⋮ Pretopologies and a uniform presentation of sup-lattices, quantales and frames ⋮ A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. ⋮ The locally fine coreflection and normal covers in the products of partition-complete spaces
This page was built for publication:
