Normalisation and subformula property for a system of classical logic with Tarski's rule.

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

Keyphrases

classical logic
automated theorem proving
logic programming
rationality postulates
possibilistic logic
modal logic
revision operators
valued logic
intuitionistic logic
default logic
possibility theory
data mining
temporal logic
logic programs
bayesian networks
knowledge base
machine learning