Coppo-Dezani Types do not Correspond to Propositional Logic.

J. Roger Hindley

Published in: Theor. Comput. Sci. (1984)

Keyphrases

propositional logic
first order logic
belief revision
possibilistic logic
lattice theory
quantified boolean formulae
satisfiability testing
horn logic
artificial intelligence
orders of magnitude
multi context systems