Search

Search Results

• Relational semantics for the 4-valued relevant logics BN4 and E4

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

  173-201

  2016-04-25
• Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

  Alexander Steen, Christoph Benzmüller

  535-554

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

  Sandra M. López

  29-56

  2021-03-12
• Simplified Semantics for Further Relevant Logics I Unreduced Semantics for E and Π′

  Tore Fjetland Øgaard

  1-43

  2024-08-27
• Admissibility of Ackermann’s rule δ in relevant logics

  Gemma Robles

  411-427

  2013-08-29
• Note on Contradictions in Francez-Weiss Logics

  Satoru Niki

  1-30

  2024-12-12
• A Routley-Meyer semantics for Ackermann’s logics of “strenge implication”

  José M. Méndez

  191-219

  2010-03-30
• EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes

  José Miguel Blanco

  75-104

  2021-08-14
• Simplified Semantics for Further Relevant Logics II Propositional Constants

  Tore Fjetland Øgaard

  1-31

  2024-08-27
• Varieties of Relevant S5

  Shawn Standefer

  53-80

  2022-03-08
• Some Remarks on the Logic of Probabilistic Relevance

  Davide Fazio, Raffaele Mascella

  101-144

  2023-12-12
• A class of simpler logical matrices for the variable-sharing property

  Gemma Robles, José M. Méndez

  241-249

  2011-11-30