Szukaj

Wyniki wyszukiwania

Znaleziono 20 elementów.

A Simulation of Natural Deduction and Gentzen Sequent Calculus

Daniil Kozhemiachenko

67-84

24.04.2017
Tautology Elimination, Cut Elimination, and S5

Andrzej Indrzejczak

461-471

05.04.2017
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

Eugenio Orlandelli

139-183

10.10.2020
Free Definite Description Theory – Sequent Calculi and Cut Elimination

Andrzej Indrzejczak

505-539

30.10.2020
Sequent Calculi for Beginners and Professionals

Mateusz Klonowski

143-147

02.02.2018
Partial and paraconsistent three-valued logics

Vincent Degauquier

143-171

27.02.2016
Hypersequent Calculi for S5: The Methods of Cut Elimination

Kaja Bednarska, Andrzej Indrzejczak

277–311

25.08.2015
Simple cut elimination proof for hybrid logic

Andrzej Indrzejczak

129-141

04.04.2016
Dialogue Games for Minimal Logic

Alexandra Pavlova

281-309

10.11.2020
Overview of Results Presented in "Trends in Logic XIII"

Mateusz Klonowski

137-142

30.08.2016
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic

Damian E. Szmuc

277-330

24.05.2019
On a multilattice analogue of a hypersequent S5 calculus

Oleg Grigoriev, Yaroslav Petrukhin

683-730

18.07.2019
Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

Yaroslav Petrukhin

287-318

28.04.2025
Sequents for non-wellfounded mereology

Paolo Maffezioli

351-369

12.04.2016
Symmetric and dual paraconsistent logics

Norihiro Kamide, Heinrich Wansing

7-30

30.06.2010
Decision procedures for some strong hybrid logics

Andrzej Indrzejczak, Michał Zawidzki

389-409

29.08.2013
Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

Andrzej Indrzejczak, Yaroslav Petrukhin

463-506

26.07.2024
Tautology Elimination, Cut Elimination and S4?

Andreas Fjellstad

1-9

05.12.2025
Admissibility of cut in congruent modal logics

Andrzej Indrzejczak

189-203

30.11.2011
Two weak Lambek style calculi: DNL and DNL−∗

Wojciech Zielonka

53-64

15.03.2012

1 - 20 z 20 elementów