Szukaj

Wyniki wyszukiwania

• Tautology Elimination, Cut Elimination, and S5

  Andrzej Indrzejczak

  461-471

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

  Kaja Bednarska, Andrzej Indrzejczak

  277–311

  25.08.2015
• Free Definite Description Theory – Sequent Calculi and Cut Elimination

  Andrzej Indrzejczak

  505-539

  30.10.2020
• On a multilattice analogue of a hypersequent S5 calculus

  Oleg Grigoriev, Yaroslav Petrukhin

  683-730

  18.07.2019
• Fregean Description Theory in Proof-Theoretical Setting

  Andrzej Indrzejczak

  137-155

  17.06.2018
• Simple cut elimination proof for hybrid logic

  Andrzej Indrzejczak

  129-141

  04.04.2016
• Admissibility of cut in congruent modal logics

  Andrzej Indrzejczak

  189-203

  30.11.2011
• Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

  Andrzej Indrzejczak, Yaroslav Petrukhin

  463-506

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

  Yaroslav Petrukhin

  427-456

  16.12.2021