Results 81 to 90 of about 100,437 (202)

Introduction to mathematical logic

Universitext, 1973
H. Hermes
semanticscholar   +1 more source

avidaR: an R library to perform complex queries on an ontology-based database of digital organisms. [PDF]

PeerJ Comput Sci, 2023
Ortega R, Fortuna MA.
europepmc   +1 more source

The Modal Components of Judgements in a Quantum Model of Psychoanalytic Theory. [PDF]

Entropy (Basel), 2023
Battilotti G, Borozan M, Lauro Grotto R.
europepmc   +1 more source

Positive logics. [PDF]

Arch Math Log, 2023
Shelah S, Väänänen J.
europepmc   +1 more source

Hypothesizing an algorithm from one example: the role of specificity. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Muggleton FREng SH.
europepmc   +1 more source

Ontology for the Avida digital evolution platform. [PDF]

Sci Data, 2023
Ortega R, Wulff E, Fortuna MA.
europepmc   +1 more source

Iconic logic: the visual art of drawing the right conclusion. [PDF]

Front Psychol
Kramer P.
europepmc   +1 more source

A brain-inspired sequence learning model based on a logic. [PDF]

Sci Rep
Xu B.
europepmc   +1 more source

Automatic differentiation of uncertainties: an interval computational differentiation for first and higher derivatives with implementation. [PDF]

PeerJ Comput Sci, 2023
Dawood H, Megahed N.
europepmc   +1 more source

A category theory perspective on the Language of Thought: LoT is universal. [PDF]

Front Psychol
Phillips S.
europepmc   +1 more source