Results 151 to 160 of about 24,422 (242)

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  

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

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

Front Psychol
Bergman DM.
europepmc   +1 more source

From Tarski to G\\"odel. Or, how to derive the Second Incompleteness\n Theorem from the Undefinability of Truth without Self-reference [PDF]

, 2018
Albert Visser
openalex   +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

McKinsey-Tarski algebras and Raney extensions [PDF]

Guram Bezhanishvili, Ranjitha Raviprakash, Anna Laura Suarez, Joanne Walters-Wayland   +3 more
openalex   +1 more source

Notes on Knaster-Tarski Theorem versus Monotone Nonexpansive Mappings [PDF]

, 2018
Mohamed A. Khamsi
openalex   +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

A Tarski-Kantorovich Theorem for Correspondences

Łukasz Balbus, Wojciech Olszewski, Kevin Reffett, Łukasz Woźny   +3 more
openalex   +1 more source