Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems by Marc
193,94 €
For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete. This monograph will be of interest to researchers and graduate students in mathematical logic, theory of computation and philosophical logic with no previous knowledge of the subject of combining and decomposing logics, but with a working knowledge of first-order logic.
Jetzt bei Ebay:
