Results 101 to 110 of about 47,777 (170)

A Study of Intermediate Predicate Logics

open access: yesPublications of the Research Institute for Mathematical Sciences, 1972
openaire   +3 more sources

Kripke completeness for intermediate logics

open access: yes, 2000
The thesis studies problems in model theory for nonclassical logics, more specifically, for intermediate propositional logics. This area was opened in the 1930s by the well-known works of Gòˆdel and Tarski and has now evolved into an interesting and complex mathematical field, with a strong trend to Computer Science applications.
openaire   +1 more source

A self-learning magnetic Hopfield neural network with intrinsic gradient descent adaption. [PDF]

open access: yesProc Natl Acad Sci U S A
Niu C   +16 more
europepmc   +1 more source

Ontology Evolution in Law (Extended Abstract) [PDF]

open access: yes, 2008
Bundy, Alan   +3 more
core  

Nurses' Cross-Border Work Intentions Driven by Psychological Empowerment: A Cross-Sectional Study. [PDF]

open access: yesJ Nurs Manag
Zhang R   +10 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy