Szukaj

Wyniki wyszukiwania

Znaleziono 19 elementów.

A Simulation of Natural Deduction and Gentzen Sequent Calculus

Daniil Kozhemiachenko

67-84

24.04.2017
Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction

Moritz Cordes, Friedrich Reinmuth

163-196

02.02.2017
Natural Deduction for Three-Valued Regular Logics

Yaroslav Petrukhin

197-206

29.08.2016
Natural Deduction for Four-Valued both Regular and Monotonic Logics

Yaroslav Petrukhin

53-66

31.01.2017
Does the Implication Elimination Rule Need a Minor Premise?

Nissim Francez

351-373

21.07.2017
Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis

Yaroslav Petrukhin, Vasilyi Shangin

223–257

06.07.2018
Normalisation for Some Quite Interesting Many-Valued Logics

Nils Kürbis, Yaroslav Petrukhin

493-534

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

Mateusz Klonowski

137-142

30.08.2016
Relevant Connexive Logic

Nissim Francez

409-425

31.01.2019
Dialogue Games for Minimal Logic

Alexandra Pavlova

281-309

10.11.2020
Fregean Description Theory in Proof-Theoretical Setting

Andrzej Indrzejczak

137-155

17.06.2018
Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion

Alex Belikov

535-559

02.05.2021
Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization

Torben Braüner

415-445

17.02.2020
The Rule of Existential Generalisation and Explicit Substitution

Jiří Raclavský

105-141

10.10.2021
Natural deduction systems for some non-commutative logics

Norihiro Kamide, Motohiko Mouri

105-146

25.08.2007
Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic

Marcelo E. Coniglio, Martin Figallo

171-203

26.01.2024
Grammatical structures and logical deductions

Wojciech Buszkowski

47-86

27.01.2003
Hyperintensionality, Identity and Excluded Middle

Szymon Chlebowski

1-24

02.12.2025
Admissibility of cut in congruent modal logics

Andrzej Indrzejczak

189-203

30.11.2011

1 - 19 z 19 elementów