A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4

DOI10.18778/0138-0680.45.2.03zbMath1423.03066OpenAlexW2618185049MaRDI QIDQ4591501

Sandra M. López, Gemma Robles, Jesús R. Paradela, José Miguel Blanco, Marcos M. Recio

Publication date: 17 November 2017

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.45.2.03

Mathematics Subject Classification ID

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

Related Items (1)

Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B

This page was built for publication: A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4