Search

Search Results

Found 96 items.

Dyadic deontic logic and semantic tableaux

Daniel Rönnedal

221-252

2010-03-30
On the System CB1 and a Lattice of the Paraconsistent Calculi

Janusz Ciuciura

223-237

2019-12-02
Free Definite Description Theory – Sequent Calculi and Cut Elimination

Andrzej Indrzejczak

505-539

2020-10-30
Hypersequent Calculi for S5: The Methods of Cut Elimination

Kaja Bednarska, Andrzej Indrzejczak

277–311

2015-08-25
Logic and Sets

Marta Vlasáková

71-95

2019-06-19
Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis

Yaroslav Petrukhin, Vasilyi Shangin

223–257

2018-07-06
Paraconsistency and Sette’s calculus P1

Janusz Ciuciura

265–273

2015-02-06
Connexive logics. An overview and current trends

Hitoshi Omori, Heinrich Wansing

371-387

2019-07-09
Implicational Logic, Relevance, and Refutability

Tomasz Skura

19-33

2019-06-19
Logical Pluralism and Interpretations of Logical Systems

Diego Tajer, Camillo Fiore

209-234

2022-02-07
Refutation systems for a system of nonsense-logic

Robert Sochacki

233-239

2011-11-30
The theory of form logic

Wolfgang Freitag, Alexandra Zinke

363–389

2012-12-20
Computability and human symbolic output

Jason Megill, Tim Melvin

391-401

2014-04-30
Some new results on PCL1 and its related systems

Toshiharu Waragai, Hitoshi Omori

129-158

2010-06-30
Pavel Materna, "Conceptual Systems", Logos Verlag, Berlin 2004

Marián Zouhar

119-126

2005-06-23
A Formal Model of an Argumentative Dialogue in the Management of Emotions

Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny, Krzysztof Rzeńca, Katarzyna Żukowska

471-490

2017-08-09
The topology of justification

Sergei Artemov, Elena Nogina

59-71

2008-06-19
Interplays of knowledge and non-contingency

Alexandre Costa-Leite

521-534

2016-07-13
Theorem proving with built-in hybrid theories

Uwe Petermann

77-107

1998-11-06
Natural deduction systems for some non-commutative logics

Norihiro Kamide, Motohiko Mouri

105-146

2007-08-25
From Inconsistency to Incompatibility

Marcelo E. Coniglio, Guilherme V. Toledo

181-216

2022-09-27

22 - 42 of 96 items << < 1 2 3 4 5 > >>