Two classes of intermediate propositional logics without disjunction property.

Fabio Bellissima

Published in: Arch. Math. Log. (1989)

Keyphrases

default logic
propositional logic
expressive power
modal logic
first order logic
desirable properties
multi valued
database
multi class
inference rules
classical logic