scientific article; zbMATH DE number 2063229

MaRDI QIDQ4460846zbMATH OpenFDO

Authors Masaru Shirahata

Publication date 29 March 2004

zbMATH Keywords

linear logiclinear set theoryphase space

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Generalized algebra-valued models of set theory
• Poset-valued sets or how to build models for linear logics
• scientific article; zbMATH DE number 1078383
• Orthomodular-valued models for quantum set theory
• A lattice-valued set theory
• Algebra-valued models for LP-set theory
• scientific article; zbMATH DE number 3928979
• Constructing illoyal algebra-valued models of set theory
• Linearly Stratified Models for the Foundations of Nonstandard Mathematics
• scientific article; zbMATH DE number 2220967

Cited in

(2)

• Unifying Sets and Programs via Dependent Types
• scientific article; zbMATH DE number 1078383 (Why is no real title available?)

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 Q4460846)