Trees in Kripke Models and in an Intuitionistic Refutation System.

Pierangelo Miglioli Ugo Moscato Mario Ornaghi

Published in: CAAP (1981)

Keyphrases

theorem prover
classical logic
modal logic
kripke models
decision trees
theorem proving
automated theorem proving
linear logic
automated reasoning
fuzzy set theory
fuzzy numbers
temporal logic
integrity constraints
first order logic
logic programming
default logic
interval valued
linear program