wyszukanych pozycji: 9
![]() |
J. Michael Dunn on Information Based Logics
ISBN: 9783319292984 / Angielski / Twarda / 2016 / 436 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book celebrates and expands on J. Michael Dunn's work on informational interpretations of logic. Dunn, in his Ph.D. thesis (1966), introduced a semantics for first-degree entailments utilizing the idea that a sentence can provide positive or negative information about a topic, possibly supplying both or neither. He later published a related interpretation of the logic R-mingle, which turned out to be one of the first relational semantics for a relevance logic. An incompatibility relation between information states lends itself to a definition of negation and it has figured into Dunn's... This book celebrates and expands on J. Michael Dunn's work on informational interpretations of logic. Dunn, in his Ph.D. thesis (1966), introduced ... |
cena:
384,63 zł |
![]() |
Proof Theory: Sequent Calculi and Related Formalisms
ISBN: 9781032920771 / Angielski / 14-10-2024 Książka dostępna od: 14-10-2024 |
Planowany termin premiery książki: 14-10-2024
Książkę można już zamówić z rabatem 5% |
|
273,27 zł |
![]() |
J. Michael Dunn on Information Based Logics
ISBN: 9783319805351 / Angielski / Miękka / 2018 / 436 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
384,63 zł |
![]() |
Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn
ISBN: 9781848903951 / Angielski / Miękka / 2022 / 472 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
107,78 zł |
![]() |
Proof Theory: Sequent Calculi and Related Formalisms
ISBN: 9781466564664 / Angielski / Twarda / 2014 / 386 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic. In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and... Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. ... |
cena:
529,98 zł |
![]() |
Combinatory Logic: Pure, Applied and Typed
ISBN: 9781032921181 / Angielski / 14-10-2024 Książka dostępna od: 14-10-2024 |
Planowany termin premiery książki: 14-10-2024
Książkę można już zamówić z rabatem 5% |
|
273,27 zł |
![]() |
Combinatory Logic: Pure, Applied and Typed
ISBN: 9781439800003 / Angielski / Twarda / 2011 / 357 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the last four decades. Using a reader-friendly style, the author presents the most up-to-date research studies. She includes an introduction to combinatory logic before progressing to its central theorems and proofs. The text makes intelligent and well-researched connections between combinatory logic and... Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Fu... |
cena:
681,40 zł |
![]() |
The Algebra of Intensional Logics
ISBN: 9781848903180 / Angielski / Miękka / 2019 / 144 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
82,55 zł |
![]() |
Ifcolog Journal of Logics and their Applications. Proceedings of the Third Workshop. Volume 4, number 3
ISBN: 9781848902398 / Angielski / Miękka / 2017 / 272 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLoG (www.ifcolog.net). The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed. This Journal is open access, an... |
cena:
91,73 zł |