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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!