Search

Search Results

Found 24 items.

Tautology Elimination, Cut Elimination, and S5

Andrzej Indrzejczak

461-471

2017-04-05
A meta-logic of inference rules: Syntax

Alex Citkin

313–337

2015-03-09
Maximality of the Minimal R-Logic

Anna Maria Karczewska

193-203

2017-04-20
Derivability of rules from rule complexes

Anna Gomolińska

21–44

2004-01-19
Does the Implication Elimination Rule Need a Minor Premise?

Nissim Francez

351-373

2017-07-21
Paraconsistency and Sette’s calculus P1

Janusz Ciuciura

265–273

2015-02-06
Beall-ing O

Jeremiah Joven Joaquin

213-221

2019-07-12
Simplified Semantics for Further Relevant Logics I Unreduced Semantics for E and Π′

Tore Fjetland Øgaard

109-151

2024-08-27
Admissibility of Ackermann’s rule δ in relevant logics

Gemma Robles

411-427

2013-08-29
Refutation systems for a system of nonsense-logic

Robert Sochacki

233-239

2011-11-30
The Rule of Existential Generalisation and Explicit Substitution

Jiří Raclavský

105-141

2021-10-10
A mind of a non-countable set of ideas

Alexander Citkin

23-39

2008-06-19
Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński

Robert Sochacki

321-327

2009-03-15
Symmetric and dual paraconsistent logics

Norihiro Kamide, Heinrich Wansing

7-30

2010-06-30
Lewisian Naturalness and a new Sceptical Challenge

Matej Drobňák

3-28

2021-02-19
Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation

José M. Méndez, Gemma Robles

175-191

2007-03-15
Tonking a theory of content: an inferentialist rejoinder

Jon Cogburn

31-55

2004-12-21
On the proof-theory of a first-order extension of GL

Yehuda Schwartz, George Tourlakis

329–363

2013-09-18
Proof Theory for Intuitionistic Stable Theories

Paolo Maffezioli

1-19

2025-06-27
Decision procedures for some strong hybrid logics

Andrzej Indrzejczak, Michał Zawidzki

389-409

2013-08-29
Guest editors’ introduction

Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli

5-6

2010-06-30

1 - 21 of 24 items 1 2 > >>