The Universal Theory Tool Building Toolkit Is Substructural

DOI10.1007/978-3-030-71430-7_8MaRDI QIDQ5027238zbMATH OpenOpenAlexFDO

Authors Shay Allen Logan

Publication date 4 February 2022

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-71430-7_8

zbMATH Keywords

contractioncurry paradoxentailmentsubstructural logicstheory building

Mathematics Subject Classification ID

General logic (03Bxx) Algebraic logic (03Gxx)

Recommendations

• Building Structured Theories
• The mereology of structural universals
• Structural universals as structural parts: toward a general theory of parthood and composition
• Universal structures
• Universal construction of subfactors
• Structuring the universe of universal logic
• scientific article; zbMATH DE number 4101139
• Kripke submodels and universal sentences
• Theory of subdualities

Cites work

• \(TW_+\) and \(RW_+\) are decidable
• scientific article; zbMATH DE number 6536273 (Why is no real title available?)
• scientific article; zbMATH DE number 3525100 (Why is no real title available?)
• scientific article; zbMATH DE number 3637825 (Why is no real title available?)
• scientific article; zbMATH DE number 6868317 (Why is no real title available?)
• Models for entailment
• Semantics for relevant logics

This page was built for publication: The Universal Theory Tool Building Toolkit Is Substructural

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