Search

Search Results

Found 30 items.

A Simulation of Natural Deduction and Gentzen Sequent Calculus

Daniil Kozhemiachenko

67-84

2017-04-24
Natural Deduction for Three-Valued Regular Logics

Yaroslav Petrukhin

197-206

2016-08-29
Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction

Moritz Cordes, Friedrich Reinmuth

163-196

2017-02-02
Natural Deduction for Four-Valued both Regular and Monotonic Logics

Yaroslav Petrukhin

53-66

2017-01-31
Does the Implication Elimination Rule Need a Minor Premise?

Nissim Francez

351-373

2017-07-21
Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis

Yaroslav Petrukhin, Vasilyi Shangin

223–257

2018-07-06
Vagueness and Formal Fuzzy Logic: Some Criticisms

Giangiacomo Gerla

431-460

2017-11-15
Normalisation for Some Quite Interesting Many-Valued Logics

Nils Kürbis, Yaroslav Petrukhin

493-534

2021-06-16
Overview of Results Presented in "Trends in Logic XIII"

Mateusz Klonowski

137-142

2016-08-30
Tautology Elimination, Cut Elimination, and S5

Andrzej Indrzejczak

461-471

2017-04-05
Relevant Connexive Logic

Nissim Francez

409-425

2019-01-31
Dialogue Games for Minimal Logic

Alexandra Pavlova

281-309

2020-11-10
Yet Another Shade of Deduction. On measuring deductive flexibility and how it may relate to other cognitive abilities

Natalia Żyluk, Mikołaj Michta, Mariusz Urbański

517-543

2017-05-24
Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion

Alex Belikov

535-559

2021-05-02
Fregean Description Theory in Proof-Theoretical Setting

Andrzej Indrzejczak

137-155

2018-06-17
Theorem proving with built-in hybrid theories

Uwe Petermann

77-107

1998-11-06
Abduction: Some Conceptual Issues

Mariusz Urbański, Andrzej Klawiter

583-597

2018-11-17
Justification Logic and the Epistemic Contribution of Deduction

Nancy Abigail Nuñez Hernández, Francisco Hernández-Quiroz

381-402

2024-03-04
Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization

Torben Braüner

415-445

2020-02-17
On the interaction of semantics and deduction in Transparent Intensional Logic (Is Tichý's logic a logic?)

Jiří Raclavský

57–68

2013-10-05
The Rule of Existential Generalisation and Explicit Substitution

Jiří Raclavský

105-141

2021-10-10

1 - 21 of 30 items 1 2 > >>