Search

Search Results

• Hypersequent Calculi for S5: The Methods of Cut Elimination

  Kaja Bednarska, Andrzej Indrzejczak

  277–311

  2015-08-25
• Question dependency in terms of compliance and erotetic implication

  Paweł Łupkowski

  357–376

  2015-02-04
• The Logical Burdens of Proof. Assertion and Hypothesis

  Daniele Chiffi, Fabien Schang

  509-530

  2017-04-14
• Errata Corrige to “Pragmatic and dialogic interpretation of bi-intuitionism. Part I”

  Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi, Alessandro Menti

  225-233

  2015-04-18
• Free Definite Description Theory – Sequent Calculi and Cut Elimination

  Andrzej Indrzejczak

  505-539

  2020-10-30
• An Epistemic Interpretation of Paraconsistent Weak Kleene Logic

  Damian E. Szmuc

  277-330

  2019-05-24
• Vagueness and Formal Fuzzy Logic: Some Criticisms

  Giangiacomo Gerla

  431-460

  2017-11-15
• Yet Another Shade of Deduction. On measuring deductive flexibility and how it may relate to other cognitive abilities

  Natalia Żyluk, Mikołaj Michta, Mariusz Urbański

  517-543

  2017-05-24
• Generalized Entailments

  Andrzej Wiśniewski

  321–356

  2017-05-22
• Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach

  Ivo Pezlar

  473-508

  2017-04-28
• 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
• A Formal Theory of Action

  Mateusz Klonowski

  263-268

  2018-02-02
• Modal multilattice logics with Tarski, Kuratowski, and Halmos operators

  Oleg Grigoriev, Yaroslav Petrukhin

  385-415

  2021-02-20
• On classical behavior of intuitionistic modalities

  Sergey Drobyshevich

  79–104

  2014-08-16
• Tomasz Jarmużek and Marcin Tkaczyk: “Normalne logiki pozycyjne” (Normal Positional Logics), Wydawnictwo KUL, Lublin (Poland), 2015

  Mateusz Klonowski

  235-241

  2016-05-18
• Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction

  Moritz Cordes, Friedrich Reinmuth

  163-196

  2017-02-02
• Towards a bridge over two approaches in connexive logic

  Hitoshi Omori

  553-566

  2019-01-29
• Explicit Conditionals in the Framework of Classical Conditional Logic

  Claudio E. A. Pizzi

  161-187

  2019-07-15
• IEL-based Formal Dialogue System for Tutorials

  Paweł Łupkowski

  287-320

  2017-05-21
• Rational Agency from a Truth-Functional Perspective

  Ekaterina Kubyshkina, Dmitry V. Zaitsev

  499-520

  2016-07-15
• Definite Descriptions in Intuitionist Positive Free Logic

  Nils Kürbis

  227-358

  2020-11-30