<style face="normal" font="default" size="100%">Direct Dynamic Proofs For the Rescher–Manor Consequence Relations: The Flat Case</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Direct Dynamic Proofs For the Rescher–Manor Consequence Relations: The Flat Case</style>

Drupal-Biblio

27

<style face="normal" font="default" size="100%">From Wffs to Clauses: Transforming Wffs in Clauses Without Loss of Meaning</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">An Inconsistency-Adaptive Proof Procedure for Logic Programming</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Inconsistency-adaptive Arithmetic</style>