Search

Search Results

Found 29 items.

A Simulation of Natural Deduction and Gentzen Sequent Calculus

Daniil Kozhemiachenko

67-84

2017-04-24
Tautology Elimination, Cut Elimination, and S5

Andrzej Indrzejczak

461-471

2017-04-05
On a multilattice analogue of a hypersequent S5 calculus

Oleg Grigoriev, Yaroslav Petrukhin

683-730

2019-07-18
Partial and paraconsistent three-valued logics

Vincent Degauquier

143-171

2016-02-27
A Defeasible Calculus for Zetetic Agents

Jared Millson

3-37

2020-10-11
Free Definite Description Theory – Sequent Calculi and Cut Elimination

Andrzej Indrzejczak

505-539

2020-10-30
Fregean Description Theory in Proof-Theoretical Setting

Andrzej Indrzejczak

137-155

2018-06-17
Dialogue Games for Minimal Logic

Alexandra Pavlova

281-309

2020-11-10
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
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

Eugenio Orlandelli

139-183

2020-10-10
Modal multilattice logics with Tarski, Kuratowski, and Halmos operators

Oleg Grigoriev, Yaroslav Petrukhin

385-415

2021-02-20
Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality

Norihiro Kamide

481-511

2019-01-27
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic

Damian E. Szmuc

277-330

2019-05-24
Hypersequent Calculi for S5: The Methods of Cut Elimination

Kaja Bednarska, Andrzej Indrzejczak

277–311

2015-08-25
Simple cut elimination proof for hybrid logic

Andrzej Indrzejczak

129-141

2016-04-04
Symmetric and dual paraconsistent logics

Norihiro Kamide, Heinrich Wansing

7-30

2010-06-30
Sequents for non-wellfounded mereology

Paolo Maffezioli

351-369

2016-04-12
Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

Andrzej Indrzejczak, Yaroslav Petrukhin

463-506

2024-07-26
Two weak Lambek style calculi: DNL and DNL−∗

Wojciech Zielonka

53-64

2012-03-15
Temporal non-commutative logic: Expressing time, resource, order and hierarchy

Norihiro Kamide

97-126

2009-11-30
On the proof-theory of a first-order extension of GL

Yehuda Schwartz, George Tourlakis

329–363

2013-09-18

1 - 21 of 29 items 1 2 > >>