Results 61 to 70 of about 716 (151)

Modern perspectives in Proof Theory. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Aguilera JP, Pakhomov F, Weiermann A.
europepmc   +1 more source

Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]

Mon Hefte Math
von Plato J.
europepmc   +1 more source

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]

Mach Learn
Ai L, Muggleton SH, Liang SS, Baldwin GS.   +3 more
europepmc   +1 more source

The use of educational psychology-based STEAM education concept in the development of English curriculum resources. [PDF]

Sci Rep
Li Y.
europepmc   +1 more source

Towards robust electronic health record systems: integrating formal verification and process modeling techniques. [PDF]

BMC Med Res Methodol
Khan S, Akhtar N, Mushtaq MF, Abdel Samee N, Mahmoud NF, Ashraf I.   +5 more
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

On Logical and Scientific Strength. [PDF]

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

Positive logics. [PDF]

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

A two-tier model of abduction: a unified framework for perception and emotion. [PDF]

Front Psychol
Sun J.
europepmc   +1 more source

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

Front Psychol
Kramer P.
europepmc   +1 more source