Search

Search Results

Found 9 items.

Tautology Elimination, Cut Elimination, and S5

Andrzej Indrzejczak

461-471

2017-04-05
Hypersequent Calculi for S5: The Methods of Cut Elimination

Kaja Bednarska, Andrzej Indrzejczak

277–311

2015-08-25
Free Definite Description Theory – Sequent Calculi and Cut Elimination

Andrzej Indrzejczak

505-539

2020-10-30
On a multilattice analogue of a hypersequent S5 calculus

Oleg Grigoriev, Yaroslav Petrukhin

683-730

2019-07-18
Fregean Description Theory in Proof-Theoretical Setting

Andrzej Indrzejczak

137-155

2018-06-17
Simple cut elimination proof for hybrid logic

Andrzej Indrzejczak

129-141

2016-04-04
Admissibility of cut in congruent modal logics

Andrzej Indrzejczak

189-203

2011-11-30
Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

Andrzej Indrzejczak, Yaroslav Petrukhin

463-506

2024-07-26
S5-Style Non-Standard Modalities in a Hypersequent Framework

Yaroslav Petrukhin

427-456

2021-12-16

1 - 9 of 9 items