Search

Search Results

Found 19 items.

Connexive Conditional Logic. Part I

Heinrich Wansing, Matthias Unterhuber

567-610

2018-12-28
On Definability of Connectives and Modal Logics over FDE

Sergei P. Odintsov, Daniel Skurt, Heinrich Wansing

631-659

2019-04-11
Generalized Entailments

Andrzej Wiśniewski

321–356

2017-05-22
Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach

Ivo Pezlar

473-508

2017-04-28
Free Definite Description Theory – Sequent Calculi and Cut Elimination

Andrzej Indrzejczak

505-539

2020-10-30
Vagueness and Formal Fuzzy Logic: Some Criticisms

Giangiacomo Gerla

431-460

2017-11-15
Tautology Elimination, Cut Elimination, and S5

Andrzej Indrzejczak

461-471

2017-04-05
Fregean Description Theory in Proof-Theoretical Setting

Andrzej Indrzejczak

137-155

2018-06-17
Pragmatic and dialogic interpretations of bi-intuitionism. Part I

Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi, Alessandro Menti

449-480

2014-06-03
Constructive Logic is Connexive and Contradictory

Heinrich Wansing

1-27

2024-01-02
Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant

Gemma Robles

311-322

2008-02-26
Natural deduction systems for some non-commutative logics

Norihiro Kamide, Motohiko Mouri

105-146

2007-08-25
Relevant generalization starts here (and here = 2)

Dmitry Zaitsev, Oleg Grigoriev

329-340

2010-12-30
Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

Yaroslav Petrukhin

287-318

2025-04-28
Converse Ackermann property and constructive negation defined with a negation connective

Gemma Robles, José M. Méndez

113-130

2006-06-26
S5-Style Non-Standard Modalities in a Hypersequent Framework

Yaroslav Petrukhin

427-456

2021-12-16
Note on Contradictions in Francez-Weiss Logics

Satoru Niki

1-30

2024-12-12
Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

Andrzej Indrzejczak, Yaroslav Petrukhin

463-506

2024-07-26
Why topology in the minimalist foundation must be pointfree

Maria Emilia Maietti, Giovanni Sambin

167–199

2013-06-12

1 - 19 of 19 items