Search

Search Results

Found 19 items.

Errata Corrige to “Pragmatic and dialogic interpretation of bi-intuitionism. Part I”

Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi, Alessandro Menti

225-233

2015-04-18
ω-Circularity of Yablo's Paradox

Ahmet Çevik

325-333

2019-08-30
Yet Another Shade of Deduction. On measuring deductive flexibility and how it may relate to other cognitive abilities

Natalia Żyluk, Mikołaj Michta, Mariusz Urbański

517-543

2017-05-24
Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence

Alexander Karpenko, Natalya Tomova

207-235

2016-10-21
On Logical Characterisation of Human Concept Learning based on Terminological Systems

Farshad Badie

545-566

2017-07-24
Theorem proving with built-in hybrid theories

Uwe Petermann

77-107

1998-11-06
Is time reversible?

Yaroslav Shramko

143–153

2014-12-09
On Russell’s definition of moments of time

Cezary Gorzka

61-74

1997-10-27
Continuous lattices and Whiteheadian theory of space

Thomas Mormann

35-54

1998-11-06
ZF and the axiom of choice in some paraconsistent set theories

Thierry Libert

91-114

2003-11-23
Topologies and free constructions

Anna Bucalo, Giuseppe Rosolini

327–346

2013-06-11
Spheres, cubes and simple

Stefano Borgo

255–293

2013-06-11
Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets

Tomasz Jarmużek

85-101

2007-07-25
A Unified Logical Framework for Reasoning about Deontic Properties of Actions and States

Piotr Kulicki, Robert Trypuz, Robert Craven, Marek J. Sergot

583-617

2023-06-02
Space, points and mereology. On foundations of point-free Euclidean geometry

Rafał Gruszczyński, Andrzej Pietruszczak

145-188

2009-11-30
Can concepts be defined in terms of sets?

Marie Duží, Pavel Materna

195-242

2010-09-30
The theory of form logic

Wolfgang Freitag, Alexandra Zinke

363–389

2012-12-20
Is Transparent Intensional Logic a non-classical logic?

Pavel Materna

47-55

2013-09-27
Powerset residuated algebras

Mirosława Kołowska-Gawiejnowicz

69–80

2013-09-17

1 - 19 of 19 items