On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes.

Pierluigi Minari

Published in: Stud Logica (1986)

Keyphrases

propositional logic
first order logic
belief revision
quantified boolean formulae
lattice theory
satisfiability testing
possibilistic logic
theorem prover
linear logic
belief change
fuzzy set theory
proof procedure
minimal models
expert systems
truth maintenance systems
theorem proving
horn logic