Description

• Title:
  A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4
• Creator:
  Robles, Gemma;
  López, Sandra M.;
  Blanco, José M.;
  Recio, Marcos M.;
  Paradela, Jesús R.
• Contributor:
  Universidad de León, Dpto. de Psicología, Sociología y Filosofía;
  Universidad de Salamanca, Dpto. de Filosofía, Lógica y Estética;
  gemma.robles@unileon.es;
  u127548@usal.es;
  jmblanco@usal.es;
  marcosmanuelrecioperez@usal.es;
  jrparadela@hotmail.es
• Description:
  The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics.
• Object availability:
  free access
• Rights:
  © Copyright by Authors, Łódź 2016; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2016
• Date:
  2017.05.16;
  2016
• Type:
  Article
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;2;
  45
• Subject:
  Relevant logics;
  many-valued logics;
  4-valued logics;
  2-set-up Routley-Meyer semantics
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/21626 ;
  2449-836X;
  10.18778/0138-0680.45.2.03
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  seek permission
• Type:
  image