Results 141 to 150 of about 28,310 (224)

From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry

International Symposium on Symbolic Computation in Software Science, 2016
P. Boutry, Gabriel Braun, Julien Narboux
semanticscholar   +1 more source

The ambiguity of "true" in English, German, and Chinese. [PDF]

Asian J Philos
Reuter K.
europepmc   +1 more source

Pelo abandono da abstração racionalista moderna

Boletim IBCCRIM
Este texto faz uma análise crítica dos conceitos de “verdade” alicerçados em Tarski e presentes nas epistemologias de Taruffo, Ferrer Beltrán e Ferrajoli.
Salah H. Khaled Jr., Aury Lopes Jr.
doaj  

This article explains the secrecy paradox, but don't tell anyone! [PDF]

Front Psychol
Bergman DM.
europepmc   +1 more source

The Therapeutic Potential of Cefiderocol in the Treatment of Multidrug-Resistant Gram-Negative Bacteria: A Narrative Review. [PDF]

J Clin Med
Złotowska A, Buzun WH, Pełka K, Zalewska Z, Duszyńska W.   +4 more
europepmc   +1 more source

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. [PDF]

J Autom Reason, 2018
Bancerek G, Byliński C, Grabowski A, Korniłowicz A, Matuszewski R, Naumowicz A, Pąk K.   +6 more
europepmc   +1 more source

Topology GeometRics for the generation of the RoccustyrnaTM molecule, a ligand targeted COVID-19-D614G sites.

, 2020
Grigoriadis I.
europepmc   +1 more source

Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry

Annals of Mathematics and Artificial Intelligence, 2015
Sana Stojanovic, Julien Narboux, Predrag Janičić   +2 more
semanticscholar   +1 more source

Ordinary Truth in Tarski and Næss

, 2016
Joseph Ulatowski
semanticscholar   +1 more source