Search

Search Results

• 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
• Natural Deduction for Three-Valued Regular Logics

  Yaroslav Petrukhin

  197-206

  2016-08-29
• Dialogue Games for Minimal Logic

  Alexandra Pavlova

  281-309

  2020-11-10
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

  Eugenio Orlandelli

  139-183

  2020-10-10
• Theory of Quantum Computation and Philosophy of Mathematics. Part II

  Krzysztof Wójtowicz

  173-193

  2018-04-18
• Hypersequent Calculi for S5: The Methods of Cut Elimination

  Kaja Bednarska, Andrzej Indrzejczak

  277–311

  2015-08-25
• Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis

  Yaroslav Petrukhin, Vasilyi Shangin

  223–257

  2018-07-06
• Sequents for non-wellfounded mereology

  Paolo Maffezioli

  351-369

  2016-04-12
• Changing one’s position in a discussion — some adaptive approaches

  Liza Verhoeven

  277-297

  2003-11-23
• Pragmatic and dialogic interpretations of bi-intuitionism. Part I

  Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi, Alessandro Menti

  449-480

  2014-06-03
• Definite Descriptions in Intuitionist Positive Free Logic

  Nils Kürbis

  227-358

  2020-11-30
• Mereology with Super-Supplementation Axioms. A Reconstruction of the Unpublished Manuscript of Jan F. Drewnowski

  Kordula Świętorzecka, Marcin Łyczak

  189-211

  2019-09-28
• Modal Hybrid Logic

  Andrzej Indrzejczak

  147-257

  2007-08-25
• Proof theory of epistemic logic of programs

  Paolo Maffezioli, Alberto Naibo

  301–328

  2013-09-12
• Particular Reasoning Within Theories

  João Rasga, Cristina Sernadas

  1-37

  2025-03-28
• Change in individuals without a name. Contextual indicators & the free change-adaptive logic

  Guido Vanackere

  213-230

  2003-11-23
• Proof Theory for Intuitionistic Stable Theories

  Paolo Maffezioli

  1-19

  2025-06-27
• S5-Style Non-Standard Modalities in a Hypersequent Framework

  Yaroslav Petrukhin

  427-456

  2021-12-16
• A Misleading Triviality Argument in the Theory of Conditionals

  Anna Wójtowicz, Krzysztof Wójtowicz

  349-380

  2024-05-04
• Is the ontological proof for God’s existence an ontological proof for God’s existence?

  Marcin Tkaczyk

  289-309

  2008-02-26
• On the proof-theory of a first-order extension of GL

  Yehuda Schwartz, George Tourlakis

  329–363

  2013-09-18