Szukaj

Wyniki wyszukiwania

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

  Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi, Alessandro Menti

  225-233

  18.04.2015
• Natural Deduction for Three-Valued Regular Logics

  Yaroslav Petrukhin

  197-206

  29.08.2016
• Dialogue Games for Minimal Logic

  Alexandra Pavlova

  281-309

  10.11.2020
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

  Eugenio Orlandelli

  139-183

  10.10.2020
• Theory of Quantum Computation and Philosophy of Mathematics. Part II

  Krzysztof Wójtowicz

  173-193

  18.04.2018
• Hypersequent Calculi for S5: The Methods of Cut Elimination

  Kaja Bednarska, Andrzej Indrzejczak

  277–311

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

  Yaroslav Petrukhin, Vasilyi Shangin

  223–257

  06.07.2018
• Sequents for non-wellfounded mereology

  Paolo Maffezioli

  351-369

  12.04.2016
• Changing one’s position in a discussion — some adaptive approaches

  Liza Verhoeven

  277-297

  23.11.2003
• Pragmatic and dialogic interpretations of bi-intuitionism. Part I

  Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi, Alessandro Menti

  449-480

  03.06.2014
• Definite Descriptions in Intuitionist Positive Free Logic

  Nils Kürbis

  227-358

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

  Kordula Świętorzecka, Marcin Łyczak

  189-211

  28.09.2019
• On the Maximality of Positive Properties and Modal Collapse in Variants of Gödel’s Ontological Proof for the Existence of God

  Cordelia Mühlenbeck, Christoph Benzmüller

  1-21

  15.03.2026
• Modal Hybrid Logic

  Andrzej Indrzejczak

  147-257

  25.08.2007
• Proof theory of epistemic logic of programs

  Paolo Maffezioli, Alberto Naibo

  301–328

  12.09.2013
• Tautology Elimination, Cut Elimination and S4?

  Andreas Fjellstad

  499-507

  05.12.2025
• Particular Reasoning Within Theories

  João Rasga, Cristina Sernadas

  129-165

  28.03.2025
• Proof Theory for Intuitionistic Stable Theories

  Paolo Maffezioli

  29-47

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

  Guido Vanackere

  213-230

  23.11.2003
• Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic

  Alexander S. Gerasimov

  269-318

  16.11.2022
• S5-Style Non-Standard Modalities in a Hypersequent Framework

  Yaroslav Petrukhin

  427-456

  16.12.2021