Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics
From MaRDI portal
Publication:2848884
DOI10.1007/978-3-642-37635-1_12zbMath1394.03085MaRDI 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
03G30: Categorical logic, topoi