scientific article; zbMATH DE number 1078383

MaRDI QIDQ4360709zbMATH OpenFDO

Authors Qieyuan Huang, Ju Wang

Publication date 26 October 1997

zbMATH Keywords

hierarchylinear logiclinear tautologiesphase spaces

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25)

Recommendations

• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Linear logic, coherence and dinaturality
• Formalization of linear space theory in the higher-order logic proving system
• scientific article; zbMATH DE number 1361538
• Phase semantics and decidability of elementary affine logic
• Phase semantics for a pure noncommutative linear propositional logic
• Fixpoint logics over hierarchical structures
• scientific article; zbMATH DE number 7668091
• scientific article; zbMATH DE number 2063229

Cited in

(2)

• scientific article; zbMATH DE number 2063229 (Why is no real title available?)
• Coherent phase spaces. Semiclassical semantics

This page was built for publication:

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