Results 91 to 100 of about 2,335,588 (204)
Mathematical logic in the human brain: semantics. [PDF]
PLoS One, 2013 Friedrich RM, Friederici AD.
europepmc +1 more source
Jurnal Pendidikan Matematika dan IPAThe Qur'an is a spiritual guide that contains profound logical insights and mathematical regularities that are essential for humanity to understand. However, empirically, the integration of logic and the regularity of rational numbers present in the ...
Rijal Fauzi +4 more
doaj +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 +2 more
doaj
The Basic Intuitionistic Logic of Proofs [PDF]
, 2007 The language of the basic logic of proofs extends the usual propositional language by forming sentences of the sort x is a proof of F for any sentence F.
Artemov, S. +3 more
core
A profile of mathematical logic
, 1970 This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize-winning book was inspired by this ...
Delong, Howard
core
INTEGRATED PROGRAMMATIC ENVIRONMENT OF THE DEPARTMENTAL OF MATHEMATICAL LOGIC OF «MATLOG»
Інформаційні технології і засоби навчання, 2010 The article deals with the introduction of new information technologies into the process of mathematical logic learning at the Kherson State University. The basic components of program system of mathematical logic learning are considered.
Yurii I. Sinko
doaj
A Logical Expansion in Mathematics [PDF]
Bulletin of the American Mathematical Society, 1932 openaire +3 more sources
Fundamental limits incorporating logical reasoning into Shannon's information theory. [PDF]
Proc Natl Acad Sci U S ALastras LA +7 more
europepmc +1 more source