@conference {433, title = {Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics}, booktitle = {Recent Trends in Algebraic Development Techniques, 21st International Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers}, year = {2012}, doi = {10.1007/978-3-642-37635-1_12}, url = {http://dx.doi.org/10.1007/978-3-642-37635-1_12}, author = {Carlos Gustavo L{\'o}pez Pombo and Pablo F. Castro and Nazareno Aguirre and T. S. E. Maibaum} }