Results 71 to 80 of about 47,777 (170)

Human verifications: Computable with truth values outside logic. [PDF]

open access: yesProc Natl Acad Sci U S A, 2023
Johnson-Laird PN   +2 more
europepmc   +1 more source

An intermediate term functor logic

open access: yesArgumentos - Revista de Filosofia
Neste artigo, tentamos fazer algo bastante simples: conhecer os avanços de Sommers e Englebretsen (a saber, uma álgebra mais-menos para silogística) juntamente com os desenvolvimentos de Peterson e Thompson (ou seja, uma extensão da silogística com “a maioria”, “Muitos” e “poucos”).
openaire   +5 more sources

Logics and admissible rules of constructive set theories. [PDF]

open access: yesPhilos Trans A Math Phys Eng Sci, 2023
Iemhoff R, Passmann R.
europepmc   +1 more source

Improving the efficiency of using multivalued logic tools: application of algebraic rings. [PDF]

open access: yesSci Rep, 2023
Suleimenov IE   +3 more
europepmc   +1 more source

Reply to Fritz [PDF]

open access: yes, 2016
Williamson, Timothy
core   +1 more source

On intermediate logics, II

open access: yesOn intermediate logics, II
application ...
openaire  

Home - About - Disclaimer - Privacy