Results 1 to 10 of about 2,769 (212)

A Logical Modeling of Severe Ignorance. [PDF]

open access: yesJ Philos Logic, 2023
Bonzio S   +3 more
europepmc   +1 more source

The limit of human intelligence. [PDF]

open access: yesHeliyon
Acharjee S, Gogoi U.
europepmc   +1 more source

Inquisitive Neighborhood Logic. [PDF]

open access: yesJ Logic Lang Inf
Ciardelli I.
europepmc   +1 more source

Pelo abandono da abstração racionalista moderna

open access: yesBoletim 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]

open access: yesJ Autom Reason, 2018
Bancerek G   +6 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy