A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4

DOI10.18778/0138-0680.45.2.03MaRDI QIDQ4591501zbMATH OpenOpenAlexFDO

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

Publication date 17 November 2017

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

Mathematics Subject Classification ID

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

Recommendations

• Relational semantics for the 4-valued relevant logics BN4 and E4
• ``Four-valued semantics for the relevant logic R
• A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
• Four-valued semantics for relevant logics (and some of their rivals)
• A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4

Cited in

(10)

• Four-valued semantics for relevant logics (and some of their rivals)
• ``Four-valued semantics for the relevant logic R
• Relational semantics for the 4-valued relevant logics BN4 and E4
• A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
• Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
• (Star-based) four-valued Kripke-style semantics for some neighbors of E, R, T
• scientific article; zbMATH DE number 7655656 (Why is no real title available?)
• A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4
• Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
• Relational semantics for the paraconsistent and paracomplete 4-valued logic PŁ4

This page was built for publication: A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4

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