Mathematical logic - Open Access .click

Results 91 to 100 of about 528,576 (239)

Uri Abraham. Aronszajn trees on ℵ₂ and ℵ₃ . Annals of pure and applied logic, vol. 24 (1983), pp. 213–230. - James Cummings and Matthew Foreman. The tree property. Advances in mathematics, vol. 133 (1998), pp. 1–32. - Menachem Magidor and Saharon Shelah. The tree property at successors of singular cardinals. Archive for mathematical logic, vol. 35 (1996), pp. 385–404. [PDF]

, 2001
Arthur W. Apter
openalex +1 more source

Mathematical Logic [PDF]

Nature, 1952
openaire +1 more source

A Logical Expansion in Mathematics [PDF]

Bulletin of the American Mathematical Society, 1932
openaire +4 more sources

HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ

Felsefe Dünyası, 2014
Bu yazıda, Hilbert’in biçimselleştirme programına kadar giden matematikfelsefesindeki önemli krizlerden bahsedilmiştir. Hilbert’in programınıngerçekleşemeyeceğini gösteren Gödel’in eksiklik teoremi gibi programınsonuçları ve nedenleri tartışılmıştır ...
Ahmet Çevik
doaj

Fuzzy logic: mathematical tools for approximate reasoning [PDF]

, 2002
Giangiacomo Gerla
openalex +1 more source

On the calculus of positively constructed formulas for authomated theorem proving

Моделирование и анализ информационных систем, 2010
The paper deals with an expressive logic language LF and its calculus. Formulas of this language consist of some large-block structural elements, such as type quanti¯ers.
A. V. Davydov, A. A. Larionov, E. A. Cherkashin +2 more
doaj

Andreas Weiermann. How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study. The journal of symbolic logic, vol. 63 (1998), pp. 1348–1370. [PDF]