Results 271 to 280 of about 506,932 (281)

Arithmetic, first-order logic, and counting quantifiers

ACM Transactions on Computational Logic, 2005
Nicole Schweikardt
exaly  

The Exact Complexity of the First-Order Logic Definability Problem

ACM Transactions on Database Systems, 2016
Gonzalo I. Diaz
exaly  

Supplement First Order Predicate Calculi of Non-Classical Logics

1974
openaire   +1 more source

The First Matching Funds in History: Another Franklin First

Ca-A Cancer Journal for Clinicians, 1964
exaly  

Natural Deduction for First-Order Hybrid Logic

Journal of Logic, Language and Information, 2005
exaly  

Comparison of first order predicate logic, fuzzy logic and non-monotonic logic as knowledge representation methodology

Expert Systems With Applications, 2004
exaly  

ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft

International Journal of General Systems, 2000
exaly  

THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC

Journal of Symbolic Logic
Robert Passmann
exaly  

Nondeterministic programming within the frame of first order classical logic. II

1980
Gergely, Tamás, Úry, László
openaire   +2 more sources

Where First-Order and Monadic Second-Order Logic Coincide

ACM Transactions on Computational Logic, 2016
exaly