The one-variable fragment of T_

DOI10.1007/S10992-013-9293-3MaRDI QIDQ484182zbMATH OpenOpenAlexFDO

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

Recommendations

• On formulas of one variable in NEXT(KTB)
• A finite fragment of S3
• Ticket entailment plus the mingle axiom has the variable-sharing property
• On the decidability of implicational ticket entailment
• The Relevant Equivalence Property

Cites work

• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3525100 (Why is no real title available?)
• scientific article; zbMATH DE number 6965723 (Why is no real title available?)
• R_I the Bounds of Finitude
• A finite fragment of S3
• Linear logic
• Single variable formulas in S4
• The pure calculus of entailment

Cited in

(2)

• On formulas of one variable in NEXT(KTB)
• A finite fragment of S3

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

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