Results 231 to 232 of about 65,341 (232)
Some of the next articles are maybe not open access.

Computation-oriented reductions of predicate to propositional logic

Decision Support Systems, 1988
exaly  

Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas

Studia Logica, 1993
exaly  
philosophy general
mathematics
16. peace & justice
f.4.1
fos: mathematics
kripke semantics
logic math.lo
computer science - logic in computer science
mathematics - logic
previous   22  23  24  

Home - About - Disclaimer - Privacy