Search

Search Results

• 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
• S5-Style Non-Standard Modalities in a Hypersequent Framework

  Yaroslav Petrukhin

  427-456

  2021-12-16
• Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

  Yaroslav Petrukhin

  287-318

  2025-04-28
• Proof Theory for Intuitionistic Stable Theories

  Paolo Maffezioli

  1-19

  2025-06-27
• Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

  Andrzej Indrzejczak, Yaroslav Petrukhin

  463-506

  2024-07-26