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

DOI10.1007/978-3-642-37635-1_12zbMath1394.03085OpenAlexW2183625831MaRDI QIDQ2848884

Nazareno Aguirre, Carlos G. López Pombo, Pablo F. Castro, Thomas S. E. Maibaum

Publication date: 13 September 2013

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37635-1_12

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

This page was built for publication: Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics