An Alternative Normalization of the Implicative Fragment of Classical Logic.

Branislav R. Boricic Mirjana Ilic

Published in: Stud Logica (2015)

Keyphrases

classical logic
logic programming
modal logic
commonsense reasoning
valued logic
intuitionistic logic
possibilistic logic
revision operators
logic programs
default logic
autoepistemic logic
nonmonotonic reasoning
automated theorem proving
database systems
possibility theory