Ticket Entailment plus the mingle axiom has the variable-sharing property

DOI10.1093/JIGPAL/JZR046zbMath1254.03043OpenAlexW2085339248WikidataQ114009736 ScholiaQ114009736MaRDI QIDQ2903766

No author found.

Publication date: 1 August 2012

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

Full work available at URL: https://doi.org/10.1093/jigpal/jzr046

zbMATH Keywords

relevant logicternary relational semanticsmingle axiomvariable-sharing propertyticket entailment logic

Mathematics Subject Classification ID

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

Related Items (3)

What is a relevant connective? ⋮ Paraconsistent fuzzy logic preserving non-falsity ⋮ Farewell to suppression-freedom

Uses Software

• MaTest

This page was built for publication: Ticket Entailment plus the mingle axiom has the variable-sharing property