Search

Search Results

Found 33 items.

A Poly-Connexive Logic

Nissim Francez

143-157

2019-06-17
Kilwardby's 55th Lesson

Wolfgang Lenzen

485-504

2020-07-15
Leibniz's laws of consistency and the philosophical foundations of connexive logic

Wolfgang Lenzen

537-551

2019-01-28
First Degree Entailment, Symmetry and Paradox

Greg Restall

3-18

2016-10-19
On Displaying Negative Modalities

Sergey Drobyshevich

161-192

2017-07-28
Normalisation for Some Quite Interesting Many-Valued Logics

Nils Kürbis, Yaroslav Petrukhin

493-534

2021-06-16
Boolean Connexive Logics: Semantics and tableau approach

Tomasz Jarmużek, Jacek Malinowski

427-448

2019-01-27
Negation in weak positional calculi

Marcin Tkaczyk

3-19

2013-03-31
Connexive logics. An overview and current trends

Hitoshi Omori, Heinrich Wansing

371-387

2019-07-09
Distributed Relation Logic

Gerard Allwein, William L. Harrison, Thomas Reynolds

19-61

2016-07-19
Some new results on PCL1 and its related systems

Toshiharu Waragai, Hitoshi Omori

129-158

2010-06-30
The Case of Dialetheism

Marcin Tkaczyk

203-224

2016-06-07
Modalities as interactions between the classical and the intuitionistic logics

Michał Walicki

193-215

2007-03-15
The lattice of Belnapian modal logics: Special extensions and counterparts

Sergei P. Odintsov, Stanislav O. Speranski

3-33

2016-02-25
Converse Ackermann property and constructive negation defined with a negation connective

Gemma Robles, José M. Méndez

113-130

2006-06-26
Twist-Valued Models for Three-Valued Paraconsistent Set Theory

Walter A. Carnielli, Marcelo E. Coniglio

187-226

2021-05-04
Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity

Thomas Macaulay Ferguson

389-407

2018-08-08
Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion

Alex Belikov

535-559

2021-05-02
On classical behavior of intuitionistic modalities

Sergey Drobyshevich

79–104

2014-08-16
The concept of negation

Don Faust

35-48

2003-10-27
Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant

Gemma Robles

311-322

2008-02-26

1 - 21 of 33 items 1 2 > >>