Some Results on Intermediate Constructive Logics.

Pierangelo Miglioli Ugo Moscato Mario Ornaghi Silvia Quazza Gabriele Usberti

Published in: Notre Dame J. Formal Log. (1989)

Keyphrases

expressive power
modal logic
database
inference rules
neural network
genetic algorithm
search engine
higher order
nonmonotonic logics
proof theory
propositional dynamic logic