Results 81 to 90 of about 401 (180)

Supervaluations and Tarski.

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

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

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

Systems of Precision: Coherent Probabilities on Pre-Dynkin Systems and Coherent Previsions on Linear Subspaces. [PDF]

Entropy (Basel), 2023
Derr R, Williamson RC.
europepmc   +1 more source

Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic. [PDF]

Soft comput, 2019
Badia G, Costa V, Dellunde P, Noguera C.
europepmc   +1 more source

Deflationism, explanation and "because". [PDF]

Philos Stud
De Rizzo J.
europepmc   +1 more source

The Complex Plank Problem, Revisited. [PDF]

Discrete Comput Geom
Ortega-Moreno O.
europepmc   +1 more source