Search

Search Results

Found 15 items.

A Simulation of Natural Deduction and Gentzen Sequent Calculus

Daniil Kozhemiachenko

67-84

2017-04-24
Hypersequent Calculi for S5: The Methods of Cut Elimination

Kaja Bednarska, Andrzej Indrzejczak

277–311

2015-08-25
Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox

Daniel Rönnedal

3-52

2017-05-01
Sequents for non-wellfounded mereology

Paolo Maffezioli

351-369

2016-04-12
Definite Descriptions in Intuitionist Positive Free Logic

Nils Kürbis

227-358

2020-11-30
Quantified temporal alethic-deontic logic

Daniel Rönnedal

19–59

2014-08-02
A Note on Gödel’s First Disjunct Formalised in DTK System

Antonella Corradini, Sergio Galvan

555-565

2024-10-23
Refutation systems for a system of nonsense-logic

Robert Sochacki

233-239

2011-11-30
Proof theory of epistemic logic of programs

Paolo Maffezioli, Alberto Naibo

301–328

2013-09-12
An Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC

Richard Zach

161-179

2022-07-27
A Misleading Triviality Argument in the Theory of Conditionals

Anna Wójtowicz, Krzysztof Wójtowicz

349-380

2024-05-04
Propositional logic extended with a pedagogically useful relevant implication

Diderik Batens

245–276

2013-09-02
Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

Andrzej Indrzejczak, Yaroslav Petrukhin

463-506

2024-07-26
Justification Logic and the Epistemic Contribution of Deduction

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

381-402

2024-03-04
Classical model existence and left resolution

Jui-Lin Lee

323-352

2008-02-26

1 - 15 of 15 items