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
• Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity

  Thomas Macaulay Ferguson

  389-407

  2018-08-08
• Relevant Connexive Logic

  Nissim Francez

  409-425

  2019-01-31
• A Certain Version of Preservationism

  Michał Makaś

  63-77

  2016-08-30
• Propositional logic extended with a pedagogically useful relevant implication

  Diderik Batens

  245–276

  2013-09-02
• 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
• Is Stoic logic classical?

  Marek Nasieniewski

  55-61

  1998-11-06
• Relevant generalization starts here (and here = 2)

  Dmitry Zaitsev, Oleg Grigoriev

  329-340

  2010-12-30
• Varieties of Relevant S5

  Shawn Standefer

  53-80

  2022-03-08
• Note on Contradictions in Francez-Weiss Logics

  Satoru Niki

  1-30

  2024-12-12
• 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
• 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
• Can concepts be defined in terms of sets?

  Marie Duží, Pavel Materna

  195-242

  2010-09-30
• Comments on Aldo Bressan’s paper

  Max Urchs

  37-42

  2003-01-07
• “Lying, poets tell the truth …”. “The logical status of fictional discourse” by John Searle – a still possible solution to an old problem?

  Marzenna Cyzman

  317-326

  2011-12-20
• Relevant properties

  Yaroslav Shramko

  103-115

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

  José M. Méndez

  191-219

  2010-03-30