The one-variable fragment of \(\mathrm T_\to\)

DOI10.1007/s10992-013-9293-3zbMath1335.03024OpenAlexW2051237547MaRDI QIDQ484182

Edward Walker, John K. Slaney

Publication date: 18 December 2014

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-013-9293-3

zbMATH Keywords

relevant logicticket entailment

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Linear logic
• Single variable formulas in S4
• The pure calculus of entailment
• R_I the Bounds of Finitude
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The one-variable fragment of \(\mathrm T_\to\)