Login / Signup
Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation.
Newton C. A. da Costa
Lawrence J. Henschen
James J. Lu
V. S. Subrahmanian
Published in:
CADE (1990)
Keyphrases
</>
automatic theorem proving
inference rules
data sets
implementation issues
general purpose
modal logic
efficient implementation
proof theory
formal theory
general theory
theoretical basis
information theory
expressive power
fuzzy logic
multi agent
e learning
genetic algorithm
neural network