The one-variable fragment of T_

DOI10.1007/S10992-013-9293-3zbMATH Open1335.03024OpenAlexW2051237547MaRDI QIDQ484182FDOQ484182

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

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

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• The pure calculus of entailment
• Single variable formulas in S4
• A finite fragment of S3
• R_I the Bounds of Finitude

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)