Szukaj

Wyniki wyszukiwania

• 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

  25.04.2016
• Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

  Alexander Steen, Christoph Benzmüller

  535-554

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

  Sandra M. López

  29-56

  12.03.2021
• Simplified Semantics for Further Relevant Logics I Unreduced Semantics for E and Π′

  Tore Fjetland Øgaard

  109-151

  27.08.2024
• Admissibility of Ackermann’s rule δ in relevant logics

  Gemma Robles

  411-427

  29.08.2013
• A Note on Contradictions in Francez-Weiss Logics

  Satoru Niki

  387-416

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

  José M. Méndez

  191-219

  30.03.2010
• 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

  14.08.2021
• Simplified semantics for further relevant logics II propositional constants

  Tore Fjetland Øgaard

  161-191

  27.08.2024
• Varieties of Relevant S5

  Shawn Standefer

  53-80

  08.03.2022
• Some Remarks on the Logic of Probabilistic Relevance

  Davide Fazio, Raffaele Mascella

  101-144

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

  Gemma Robles, José M. Méndez

  241-249

  30.11.2011
• Revisiting Jaśkowski's Criterion

  Jakub Krawczyk

  1-32

  01.04.2026