Maximality of bi-intuitionistic propositional logic.

Grigory K. Olkhovikov Guillermo Badia

Published in: J. Log. Comput. (2022)

Keyphrases

propositional logic
first order logic
theorem prover
belief revision
fuzzy set theory
fuzzy numbers
possibilistic logic
quantified boolean formulae
lattice theory
davis putnam
horn logic
proof procedure
classical logic
theorem proving
logical framework
belief change
satisfiability testing
relational databases