Search

/
Search

Search

Search Results

Found 23 items.

Category Theory and Set Theory as Theories about Complementary Types of Universals

David Ellerman

145-162

2016-08-05
Logic and Sets

Marta Vlasáková

71-95

2019-06-19
A “Distributive” or a “Collective” Approach to Sentences?

Piotr Łukowski

331-354

2019-04-15
Natural Deduction for Four-Valued both Regular and Monotonic Logics

Yaroslav Petrukhin

53-66

2017-01-31
The Notion of the Diameter of Mereological Ball in Tarski's Geometry of Solids

Grzegorz Sitek

531-562

2017-05-25
Content Implication and Yablo's Sequence of Sentences

Piotr Łukowski

57-69

2019-04-15
Twist-Valued Models for Three-Valued Paraconsistent Set Theory

Walter A. Carnielli, Marcelo E. Coniglio

187-226

2021-05-04
ZF and the axiom of choice in some paraconsistent set theories

Thierry Libert

91-114

2003-11-23
How to define a mereological (collective) set

Rafał Gruszczyński, Andrzej Pietruszczak

309-328

2010-12-30
“The whole is greater than the part.” Mereology in Euclid's Elements

Klaus Robering

371-409

2016-05-27
Set-theoretic mereology

Joel David Hamkins, Makoto Kikuchi

285-308

2016-05-16
Pieces of mereology

Andrzej Pietruszczak

211-234

2005-12-23
Computability and human symbolic output

Jason Megill, Tim Melvin

391-401

2014-04-30
Humble Connexivity

Andreas Kapsner

513-536

2019-01-27
Mereological sets of distributive classes

Andrzej Pietruszczak

105-122

2003-01-27
Topologies and free constructions

Anna Bucalo, Giuseppe Rosolini

327–346

2013-06-11
About the coexistence of “classical sets” with “non-classical” ones: A survey

Roland Hinnion

79-90

2003-11-23
Dynamic relational mereotopology: Logics for stable and unstable relations

Vladislav Nenchev

295–325

2013-06-11
On the Axiom of Canonicity

Jerzy Pogonowski

1-29

2022-07-07
How effective indeed is present-day mathematics?

Athanassios Tzouvaras

131-153

2006-06-26
Simulation Logic

Gerard Allwein, William L. Harrison, David Andrews

277–299

2013-09-15

1 - 21 of 23 items 1 2 > >>