Classical first-order logic - Open Access .click

Results 301 to 302 of about 32,356 (302)

C-Clause Calculi and Refutation Search in First-Order Classical Logic. [PDF]

Some of the next articles are maybe not open access.

Related searches:

computer science - logic in computer science
mathematics
first-order logic

16. peace & justice
mathematics - logic
modal logic including the logic of norms

fos: mathematics
f.4.1
categorical logic, topoi

On the Semantics of Classical First-order Logic with Constructive Double Negation.

computer science - logic in computer science
mathematics
first-order logic

16. peace & justice
mathematics - logic
modal logic including the logic of norms

fos: mathematics
f.4.1
categorical logic, topoi

previous 29 30 31

Home - About - Disclaimer - Privacy