A General Schema for Bilateral Proof Rules.

Published in: J. Philos. Log. (2024)

Keyphrases

special case
closely related
condition action rules
database
databases
real time
theorem proving
logical rules