A Constructive Valuation Interpretation for Classical Logic and its Use in Witness Extraction.

Franco Barbanera Stefano Berardi

Published in: CAAP (1992)

Keyphrases

classical logic
logic programming
modal logic
possibilistic logic
commonsense reasoning
revision operators
intuitionistic logic
high level
default logic
computer science and artificial intelligence
inference rules
possibility theory
automated theorem proving
fuzzy set theory
valued logic
rationality postulates