Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical
Cover Image
Read Now

1
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... of natural deduction -- Tableaux for logic programming with strong negation -- Generalized tableau systems...”
Cover Image
Read Now

2
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Resolution Proofs by Lowering Subproofs -- A Tableau System for Right Propositional Neighborhood Logic over...”