Results 101 to 110 of about 401 (180)

On a problem of Erdös and Tarski [PDF]

Fundamenta Mathematicae, 1964
openaire   +2 more sources

Neo-Russellian Abstractionism. [PDF]

Erkenntnis
Assadian B.
europepmc   +1 more source

Inquisitive Neighborhood Logic. [PDF]

J Logic Lang Inf
Ciardelli I.
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  

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

Fast algorithm to identify minimal patterns of synchrony through fibration symmetries in large directed networks. [PDF]

Chaos, 2022
Monteiro HS, Leifer I, Reis SDS, Andrade JS, Makse HA.   +4 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

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

, 2020
Grigoriadis I.
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