The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property

DOI10.4467/20842589RM.16.008.5285zbMath1400.03052OpenAlexW2523492781MaRDI QIDQ2971281

Gemma Robles

Publication date: 4 April 2017

Full work available at URL: https://www.ceeol.com/content-files/document-464832.pdf

zbMATH Keywords

relational semanticssubstructural logicsrelevant logicsRoutley-Meyer semanticsR-minglequasi-relevant logicsRM3

Mathematics Subject Classification ID

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

Related Items (2)

The Weak Variable Sharing Property ⋮ Basic quasi-Boolean expansions of relevance logics

This page was built for publication: The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property