Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics

TitleSatisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics
Publication TypeConference Paper
Year of Publication2012
AuthorsLópez Pombo, CG, Castro, PF, Aguirre, N, Maibaum, TSE
Conference NameRecent Trends in Algebraic Development Techniques, 21st International Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
URLhttp://dx.doi.org/10.1007/978-3-642-37635-1_12
DOI10.1007/978-3-642-37635-1_12
Work Package: 
WP5