The Universal Theory Tool Building Toolkit Is Substructural

DOI10.1007/978-3-030-71430-7_8OpenAlexW3203633682MaRDI QIDQ5027238

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

contractionsubstructural logicsentailmenttheory buildingcurry paradox

Mathematics Subject Classification ID

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

Cites Work

• \(TW_+\) and \(RW_+\) are decidable
• Models for entailment
• Semantics for relevant logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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