Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach.

Alexei Y. Muravitsky

Published in: TbiLLC (2007)

Keyphrases

classical logic
automated theorem proving
logic programming
modal logic
possibilistic logic
valued logic
default logic
revision operators
intuitionistic logic
theorem prover
rationality postulates
sequent calculus
theorem proving
autoepistemic logic
natural deduction
general purpose
natural language