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

DOI10.1093/JIGPAL/JZR046MaRDI QIDQ2903766zbMATH OpenOpenAlexWikidataFDO

Authors José M. Méndez, Gemma Robles, Francisco Salto

Publication date 1 August 2012

Published in Logic Journal of the 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)

Recommendations

• A weak logic with the axiom mingle lacking the variable-sharing property
• R and relevance principle revisited
• A general characterization of the variable-sharing property by means of logical matrices
• A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
• A Note on the Relevance of Semilattice Relevance Logic

Cited in

(12)

• Ticket Entailment is decidable
• Completeness and conservative extension results for some Boolean relevant logics
• Simplified semantics for further relevant logics. I: Unreduced semantics for \(\mathbf{E}\) and \(\boldsymbol{\Pi}'\)
• A modal restriction of R-mingle with the variable-sharing property
• A weak logic with the axiom mingle lacking the variable-sharing property
• scientific article; zbMATH DE number 2015405 (Why is no real title available?)
• The one-variable fragment of \(\mathrm T_\to\)
• Topics, non-uniform substitutions, and variable sharing
• What is a relevant connective?
• Farewell to suppression-freedom
• Paraconsistent fuzzy logic preserving non-falsity
• Variable-sharing as relevance

Describes a project that uses

Uses Software

• MaTest

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

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