Results 101 to 110 of about 496,419 (187)

An automated prover for Zermelo-Fraenkel set theory in Theorema

Journal of symbolic computation, 2006
W. Windsteiger
semanticscholar   +1 more source

Absence perception and the philosophy of zero. [PDF]

Synthese, 2020
Barton N.
europepmc   +1 more source

Zermelo-Fraenkel set theory is inconsistent

, 2003
Craig Alan Feinstein
openalex   +1 more source

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. [PDF]

J Autom Reason, 2018
Bancerek G, Byliński C, Grabowski A, Korniłowicz A, Matuszewski R, Naumowicz A, Pąk K.   +6 more
europepmc   +1 more source

Does Geometric Algebra Provide a Loophole to Bell's Theorem? [PDF]

Entropy (Basel), 2019
Gill RD.
europepmc   +1 more source

On Logical and Scientific Strength. [PDF]

Erkenntnis
Incurvati L, Nicolai C.
europepmc   +1 more source

Computational logic: its origins and applications. [PDF]

Proc Math Phys Eng Sci, 2018
Paulson LC.
europepmc   +1 more source

On formally undecidable propositions of Zermelo-Fraenkel set theory

, 2013
Gavin St. John
openalex   +1 more source

A COMPARATIVE THEORETICAL ANALYSIS OF WEAK FORMS OF THE AXIOM OF CHOICE AND THEIR LOGICAL CONSEQUENCES IN ZERMELO– FRAENKEL SET THEORY

Salvador Loria,, Ramir G. Pacheco, Richel B. Rabas, Emma O. Cajurao, Rocel A. Turco   +1 more
openalex   +2 more sources