Fibring Logics

Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working together. In this book the author offers a basic methodology for combining--or fibring--systems. The technique shows how to break complex systems into simple components which can be easily manipulated and recombined.

Weitere Produkte vom selben Autor

Logical Tools for Handling Change in Agent-Based Systems Schlechta, Karl, Gabbay, Dov M.

160,49 €*
Neural-Symbolic Cognitive Reasoning D'Avila Garcez, Artur S., Gabbay, Dov M., Lamb, Luís C.

85,59 €*
Revision, Acceptability and Context Gabbay, Dov M., Russo, Alessandra, Rodrigues, Odinaldo T.

160,49 €*
Goal-Directed Proof Theory Olivetti, N., Gabbay, Dov M.

106,99 €*