Presentation of Classical Propositional Tableaux on Program Design Premises

Juan Michelini, Alvaro Tasistro

We propose a presentation of classical propositional tableaux elaborated by application of methods that are noteworthy in program design, namely program derivation with separation…