Results 111 to 120 of about 2,771 (212)

Flexible Acceptance Condition of Generics from a Probabilistic Viewpoint: Towards Formalization of the Semantics of Generics. [PDF]

J Psycholinguist Res, 2022
Ryu SH, Yang W, Park JC.
europepmc   +1 more source

Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL. [PDF]

J Autom Reason, 2020
Li W, Paulson LC.
europepmc   +1 more source

Supervaluations and Tarski.

Notre Dame Journal of Formal Logic, 1978
openaire   +3 more sources

Wittgenstein, Neurath und Tarski über Wahrheit

, 1995
Beckermann A. Wittgenstein, Neurath und Tarski über Wahrheit. Zeitschrift für philosophische Forschung.
Beckermann, Ansgar, Beckermann, Ansgar ; https://orcid.org/   +1 more
core  

Soft tissue inflammation of the lower limb and foot following tibiotalocalcaneal arthrodesis for osteoarthritis in a morbidly obese patient: A case report. [PDF]

Medicine (Baltimore)
Dworak K, Pasek J, Rokicka S, Werner K, Szczęśniak M, Tarski M, Mikuszewski A, Stołtny T.   +7 more
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

Enhancement of properties in Mizar. [PDF]

PeerJ Comput Sci, 2020
Korniłowicz A.
europepmc   +1 more source

Il paradosso di Banach-Tarski

, 2018
L’esposizione del paradosso di Banach-Tarski fornir`a l’occasione per rivisitare le nozioni di area e volume sottolineandone alcuni degli aspetti problematici o poco noti e avendo in mente un pubblico di studenti universitari o semplici ...
Alessandro Berarducci
core  

Large infinities and definable sets. [PDF]

Proc Natl Acad Sci U S A
Aguilera JP, Bagaria J, Lücke P.
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