Login / Signup
On maximal intermediate predicate constructive logics.
Alessandro Avellone
Camillo Fiorentini
Paolo Mantovani
Pierangelo Miglioli
Published in:
Stud Logica (1996)
Keyphrases
</>
expressive power
first order logic
inference rules
modal logic
proof theory
databases
propositional calculus
higher order
horn logic
nonmonotonic logics
computational properties
classical logic
default reasoning
expert systems
multiscale
learning algorithm
neural network