Wyniki wyszukiwania:
wyszukanych pozycji: 13
 |
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
ISBN: 9789048177257 / Angielski / Miękka / 2010 / 602 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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 (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance,... Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and de... |
cena:
605,23 zł |
 |
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
ISBN: 9781402067815 / Angielski / Twarda / 2008 / 602 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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 (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance,... Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and de... |
cena:
605,23 zł |
 |
Paraconsistency: The Logical Way to the Inconsistent
ISBN: 9781138466906 / Angielski / Twarda / 2019 / 576 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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.
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. ...
|
cena:
926,78 zł |
 |
Modalities and Multimodalities
ISBN: 9789048179244 / Angielski / Miękka / 2010 / 304 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic, supposingthat someone were capable to compile it, would ?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? no one could have foreseen that in a short time modal logic would become a...
In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic, supposingthat someone ...
|
cena:
605,23 zł |
 |
Modalities and Multimodalities
ISBN: 9781402085895 / Angielski / Twarda / 2008 / 304 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic, supposingthat someone were capable to compile it, would ?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? no one could have foreseen that in a short time modal logic would become a...
In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic, supposingthat someone ...
|
cena:
605,23 zł |
 |
Contradictions, from Consistency to Inconsistency
ISBN: 9783030075347 / Angielski / Miękka / 2019 / 322 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
403,47 zł |
 |
Contradictions, from Consistency to Inconsistency
ISBN: 9783319987965 / Angielski / Twarda / 2018 / 322 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Most of the papers, but not all, are developed around the subtle distinctions between consistency and non-contradiction, as well as among contradiction, inconsistency, and triviality, and concern one of the above mentioned threads of the broadly understood non-contradiction principle and the related principle of explosion.
Most of the papers, but not all, are developed around the subtle distinctions between consistency and non-contradiction, as well as among contradictio...
|
cena:
403,47 zł |
 |
The Many Sides of Logic
ISBN: 9781904987789 / Angielski / Miękka / 2009 / 586 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) The ``Many Sides of Logic is a volume containing a selection
of the papers delivered at three simultaneous events held between 11-17 May 2008 in Paraty, RJ, Brazil, continuing a tradition of three decades of Brazilian and Latin-American meetings and celebrating the 30th anniversary of an institution congenital with the mature interest for logic, epistemology and history of sciences in Brazil: CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (UNICAMP) XV EBL -15th Brazilian Logic Conference XIV SLALM - 14th... The ``Many Sides of Logic is a volume containing a selection
of the papers delivered at three simultaneous events held between 11-17 May 2008 ... |
cena:
144,19 zł |
 |
Paraconsistent Logic: Consistency, Contradiction and Negation
ISBN: 9783319814537 / Angielski / Miękka / 2018 / 398 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
564,88 zł |
 |
Paraconsistent Logic: Consistency, Contradiction and Negation
ISBN: 9783319332031 / Angielski / Twarda / 2016 / 398 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science.
This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and app...
|
cena:
564,88 zł |
 |
Modalities and Multimodalities
ISBN: 9789048137626 / Angielski / Miękka / 2009 / 304 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic, supposingthat someone were capable to compile it, would ?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? no one could have foreseen that in a short time modal logic would become a...
In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic, supposingthat someone ...
|
cena:
605,23 zł |
 |
Handbook of Paraconsistency
ISBN: 9781904987734 / Angielski / Miękka / 2007 / 528 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Paraconsistent logics are logics which allow solid deductive
reasoning under contradictions by offering a mathematical and philosophical support to contradictory yet non-trivial theories. Due to its role in models of scientific reasoning and to its philosophical implications, as well as to its connections to topics such as abduction, automated reasoning, logic programming, and belief revision, paraconsistency has becoming a fast growing area. During the III World Congress on Paraconsistency (WCP3) held in Toulouse, France, in July, 2003, it became apparent that there is a need for... Paraconsistent logics are logics which allow solid deductive
reasoning under contradictions by offering a mathematical and philosophical su... |
cena:
189,38 zł |
 |
The Significance of the New Logic
ISBN: 9781107179028 / Angielski / Twarda / 2018 / 200 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) First full English translation of the Portuguese-language works of W. V. Quine, one of the most influential twentieth-century American philosophers.
First full English translation of the Portuguese-language works of W. V. Quine, one of the most influential twentieth-century American philosophers.
|
cena:
454,55 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
