Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Analysis and synthesis of logics: how to cut and paste reasoning systems
Автор: Carnielli W.
Аннотация:
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature. The issue of preservation of properties is addressed.