Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Conditionals / Rewriting / Propositional calculus / Necessity and sufficiency / Mathematical proof / Implicational propositional calculus / Mathematics / Logic / Mathematical logic


Canonical Inference for Implicational Systems⋆ Maria Paola Bonacina⋆⋆1 and Nachum Dershowitz⋆ ⋆ ⋆2 1 2
Add to Reading List

Document Date: 2015-06-10 13:20:12

Open Document

File Size: 186,96 KB

Share Result on Facebook
UPDATE