Search

Search Results

Found 19 items.

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
Sequents for non-wellfounded mereology

Paolo Maffezioli

351-369

2016-04-12
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
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

Eugenio Orlandelli

139-183

2020-10-10
Changing one’s position in a discussion — some adaptive approaches

Liza Verhoeven

277-297

2003-11-23
Definite Descriptions in Intuitionist Positive Free Logic

Nils Kürbis

227-358

2020-11-30
Proof Theory for Intuitionistic Stable Theories

Paolo Maffezioli

1-19

2025-06-27
Proof theory of epistemic logic of programs

Paolo Maffezioli, Alberto Naibo

301–328

2013-09-12
Change in individuals without a name. Contextual indicators & the free change-adaptive logic

Guido Vanackere

213-230

2003-11-23
Tautology Elimination, Cut Elimination and S4?

Andreas Fjellstad

1-9

2025-12-05
Pragmatic and dialogic interpretations of bi-intuitionism. Part I

Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi, Alessandro Menti

449-480

2014-06-03
On the proof-theory of a first-order extension of GL

Yehuda Schwartz, George Tourlakis

329–363

2013-09-18
Intuitionistic Logic from a Metainferential Perspective

Miguel Álvarez Lisboa

1-33

2025-03-26
Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic

Alexander S. Gerasimov

269-318

2022-11-16
Modal Hybrid Logic

Andrzej Indrzejczak

147-257

2007-08-25
S5-Style Non-Standard Modalities in a Hypersequent Framework

Yaroslav Petrukhin

427-456

2021-12-16

1 - 19 of 19 items