Szukaj

Wyniki wyszukiwania

Znaleziono 30 elementów.

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

David Ellerman

145-162

05.08.2016
Logic and Sets

Marta Vlasáková

71-95

19.06.2019
A “Distributive” or a “Collective” Approach to Sentences?

Piotr Łukowski

331-354

15.04.2019
Natural Deduction for Four-Valued both Regular and Monotonic Logics

Yaroslav Petrukhin

53-66

31.01.2017
The Notion of the Diameter of Mereological Ball in Tarski's Geometry of Solids

Grzegorz Sitek

531-562

25.05.2017
Content Implication and Yablo's Sequence of Sentences

Piotr Łukowski

57-69

15.04.2019
Twist-Valued Models for Three-Valued Paraconsistent Set Theory

Walter A. Carnielli, Marcelo E. Coniglio

187-226

04.05.2021
ZF and the axiom of choice in some paraconsistent set theories

Thierry Libert

91-114

23.11.2003
How to define a mereological (collective) set

Rafał Gruszczyński, Andrzej Pietruszczak

309-328

30.12.2010
“The whole is greater than the part.” Mereology in Euclid's Elements

Klaus Robering

371-409

27.05.2016
Set-theoretic mereology

Joel David Hamkins, Makoto Kikuchi

285-308

16.05.2016
Pieces of mereology

Andrzej Pietruszczak

211-234

23.12.2005
Computability and human symbolic output

Jason Megill, Tim Melvin

391-401

30.04.2014
Humble Connexivity

Andreas Kapsner

513-536

27.01.2019
Mereological sets of distributive classes

Andrzej Pietruszczak

105-122

27.01.2003
Topologies and free constructions

Anna Bucalo, Giuseppe Rosolini

327–346

11.06.2013
About the coexistence of “classical sets” with “non-classical” ones: A survey

Roland Hinnion

79-90

23.11.2003
A Monadic Second-Order Version of Tarski’s Geometry of Solids

Patrick Barlatier, Dapoigny

55-99

19.10.2023
Dynamic relational mereotopology: Logics for stable and unstable relations

Vladislav Nenchev

295–325

11.06.2013
On the Axiom of Canonicity

Jerzy Pogonowski

3-31

07.07.2022
Particular Reasoning Within Theories

João Rasga, Cristina Sernadas

1-37

28.03.2025

1 - 21 z 30 elementów 1 2 > >>