Search

Search Results

Found 26 items.

States of Affairs as Structured Extensions in Free Logic

Hans-Peter Leeb

361-384

2020-12-28
Connexive Extensions of Regular Conditional Logic

Yale Weiss

611-627

2018-08-16
Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis

Yaroslav Petrukhin, Vasilyi Shangin

223–257

2018-07-06
The lattice of Belnapian modal logics: Special extensions and counterparts

Sergei P. Odintsov, Stanislav O. Speranski

3-33

2016-02-25
Logic and Sets

Marta Vlasáková

71-95

2019-06-19
Mereology and Infinity

Karl-Georg Niebergall

309-350

2016-08-08
On some extensions of the class of MV-algebras

Krystyna Mruczek-Nasieniewska

35-49

2015-05-04
Normalisation for Some Quite Interesting Many-Valued Logics

Nils Kürbis, Yaroslav Petrukhin

493-534

2021-06-16
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

Eugenio Orlandelli

139-183

2020-10-10
Interpolation and implicit definability in extensions of the provability logic

Larisa Maksimova

129-142

2008-06-19
The contribution of A.V. Kuznetsov to the theory of modal systems and structures

Alexei Y. Muravitsky

41-58

2008-06-19
The Kuznetsov-Gerčiu and Rieger-Nishimura logics

Guram Bezhanishvili, Nick Bezhanishvili, Dick de Jongh

73-110

2008-06-19
Meinongian extensions of predicates

Anna Sierszulska

145-163

2005-12-23
Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

Yaroslav Petrukhin

287-318

2025-04-28
Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant

Gemma Robles

311-322

2008-02-26
Modulated logics and flexible reasoning

Walter Carnielli, Maria Cláudia C. Grácio

211-249

2008-09-30
About the coexistence of “classical sets” with “non-classical” ones: A survey

Roland Hinnion

79-90

2003-11-23
More on the decidability of mereological theories

Hsing-chien Tsai

251-265

2011-11-30
Consequential Implication and the Implicative Conditional

Gilberto Gomes, Claudio Pizzi, Eric Raidl

1-44

2025-01-16
Is Transparent Intensional Logic a non-classical logic?

Pavel Materna

47-55

2013-09-27
On the proof-theory of a first-order extension of GL

Yehuda Schwartz, George Tourlakis

329–363

2013-09-18

1 - 21 of 26 items 1 2 > >>