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