Search

Search Results

Found 22 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
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
Definite Descriptions in Intuitionist Positive Free Logic

Nils Kürbis

227-358

2020-11-30
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
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
Change in individuals without a name. Contextual indicators & the free change-adaptive logic

Guido Vanackere

213-230

2003-11-23
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
Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic

Alexander S. Gerasimov

269-318

2022-11-16
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
The theory of form logic

Wolfgang Freitag, Alexandra Zinke

363–389

2012-12-20

1 - 21 of 22 items 1 2 > >>