Login / Signup
The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics.
Walter Alexandre Carnielli
Published in:
Math. Log. Q. (1987)
Keyphrases
</>
valued logic
propositional logic
first order logic
natural language
neural network
machine learning
datalog programs
inference rules
theorem proving
databases
artificial intelligence
special case
automated reasoning