Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]
Order (Dordr), 2023 Couceiro M, Duffus D.
europepmc +1 more source
Application of Quantifier Elimination in Epidemiology. [PDF]
Acta Inform Med, 2023 Udovicic M.
europepmc +1 more source
¿Es justificable todavía el uso de concepto de verdad en epistemología?
Letras, 2006 Este artículo prueba suficientemente que ni los deflacionismos ni los consensualismos afectan, hasta la fecha, la sustentabilidad de la convención T de Tarski como herramienta metodológica para la ciencia y la filosofía rigurosa. También explica por qué,
Luis Piscoya Hermoza
doaj
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
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
Tarski y la noción carnapiana de significado.
Revista de Filosofia, 1994 Sin ...
Luís Fernández Moreno
doaj
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 +7 more
europepmc +1 more source
Enhancement of properties in Mizar. [PDF]
PeerJ Comput Sci, 2020 Korniłowicz A.
europepmc +1 more source
, 2013 Alfred Tarski (1901-1983) is unanimously recognised as one of the greatest logicians in history. His contributions range from set theory to model theory, from the semantics of formal languages to the foundations of geometry, from the algebra of logic to the logic of algebra. This profile gives an overview of his work and its influence.
openaire +2 more sources