The decidability of one-variable propositional calculi.

M. D. Gladstone

Published in: Notre Dame J. Formal Log. (1979)

Keyphrases

propositional logic
description logics
first order logic
query answering
database systems
multi valued
decision procedures