Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule.

Published in: CoRR (2021)

Keyphrases

classical logic
logic programming
modal logic
automated theorem proving
rationality postulates
possibilistic logic
default logic
computer science and artificial intelligence
revision operators
intuitionistic logic
high level
valued logic
general purpose
propositional logic