Marcelo Coniglio – författare
Visar alla böcker från författaren Marcelo Coniglio. Handla med fri frakt och snabb leverans.
4 produkter
Paraconsistency
The Logical Way to the Inconsistent
Av Walter Alexandr Carnielli, Marcelo Coniglio m. fl.
Inbunden, 2019
3070 kr
Lägg i varukorg
This book presents a study on the foundations of a large class of paraconsistent logics from the point of view of the logics of formal inconsistency. It also presents several systems of non-standard logics with paraconsistent features.
Analysis and Synthesis of Logics
How to Cut and Paste Reasoning Systems
Av Walter Carnielli, Marcelo Coniglio m. fl.
Inbunden, 2008
1637 kr
Lägg i varukorg
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 …
Analysis and Synthesis of Logics
How to Cut and Paste Reasoning Systems
Av Cristina Sernadas, Paula Gouveia m. fl.
E-bok, 2008
2044 kr
Lägg i varukorg
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 …
Analysis and Synthesis of Logics
How to Cut and Paste Reasoning Systems
Av Walter Carnielli, Marcelo Coniglio m. fl.
Häftad, 2010
1641 kr
Lägg i varukorg
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 …
