Results 201 to 210 of about 1,899 (235)

Symbol ungrounding: what the successes (and failures) of large language models reveal about human cognition. [PDF]

Philos Trans R Soc Lond B Biol Sci
Dove G.
europepmc   +1 more source

On Logical and Scientific Strength. [PDF]

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

Wetware network-based AI: a chemical approach to embodied cognition for robotics and artificial intelligence. [PDF]

Front Robot AI
Damiano L, Fleres A, Roli A, Stano P.
europepmc   +1 more source

Polytope: High-resolution epitope barcoding for in vivo spatial fate-mapping

Postrach D, Pritchard CEJ, Frank L, van Leeuwen T, Messal HA, Krimpenfort P, van Rheenen J, Rodewald H.   +7 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

First-Degree Entailment and its Relatives

Studia Logica, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yaroslav Shramko, Dmitry Zaitsev, Alexander Belikov   +2 more
exaly   +2 more sources

Hilbert-style axiomatization of first-degree entailment and a family of its extensions

Annals of Pure and Applied Logic, 2021
The present paper investigates the well-known \textit{first-degree entailment logic} (FDE) in the \textsc{Fmla-Fmla}\ framework. The logic is given a Hilbert-style formulation (actually, a Fregean one -- cf. \S 1, \S2), dubbed FDE\(_{\text{H}}\). It is shown (which is not immediate) that FDE\(_{\text{H}}\) is sound and complete w.r.t.
Yaroslav Shramko
exaly   +3 more sources

First-Degree Entailment and Truthmaker Functions

Journal of Philosophical Logic
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Roderick Batchelor
exaly   +2 more sources

The Semantics of First Degree Entailment

Nous, 1972
We argue that the semantics of the first degree paradox-free implication system FD supports the claim it is superior to strict implication as an analysis of entailment at the first degree level. The semantics also reveals that Disjunctive Syllogism, A & (,.A v B) -AB, far from being a paradigmatic entailment, is invalid, and allows the illegitimate ...
R. Routley, V. Routley
exaly   +2 more sources