Wyniki wyszukiwania:
wyszukanych pozycji: 16
 |
Proof Theory of Modal Logic
ISBN: 9789048147205 / Angielski / Miękka / 2010 / 318 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, know...
|
cena:
605,23 |
 |
Dag Prawitz on Proofs and Meaning
ISBN: 9783319110400 / Angielski / Twarda / 2014 / 458 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an introductory paper that surveys Prawitz's... This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contribu... |
cena:
403,47 |
 |
The Logic of Information Structures
ISBN: 9783540567349 / Angielski / Miękka / 1993 / 168 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This monograph gives a logical treatment of two central aspects of the concept of information, namely information processing and information structure. The structure of information is treated as a topic in model theory, while information processing is seen as an aspect of proof theory. A wide spectrum of substructural subsystems of intuitionistic propositional logic and of Nelson's constructive logic with strong negation is investigated. In particular, the problems of cut-elimination, functional completeness, and coding of proofs with lambda-terms are handled. Finally, an interpretation of...
This monograph gives a logical treatment of two central aspects of the concept of information, namely information processing and information structure...
|
cena:
201,72 |
 |
Displaying Modal Logic
ISBN: 9789048150793 / Angielski / Miękka / 2010 / 252 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. The proof-theory of non-classical logics is a...
The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, succe...
|
cena:
564,88 |
 |
Dag Prawitz on Proofs and Meaning
ISBN: 9783319360317 / Angielski / Miękka / 2016 / 458 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an introductory paper that surveys Prawitz's... This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contribu... |
cena:
403,47 |
 |
Negation
ISBN: 9783110147698 / Angielski / Twarda / 1996 / 277 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
468,31 |
 |
Proof Theory of Modal Logic
ISBN: 9780792341208 / Angielski / Twarda / 1996 / 318 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, know...
|
cena:
605,23 |
 |
60 Years of Connexive Logic
ISBN: 9783031829932 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
524,53 |
 |
New Essays on Belnap--Dunn Logic
ISBN: 9783030311384 / Angielski / Miękka / 2021 / 324 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
443,82 |
 |
Nonclassical Logics and Information Processing: International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings
ISBN: 9783540557456 / Angielski / Miękka / 1992 / 175 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume comprises the proceedings of the FirstAll-Berlin Workshop on Nonclassical Logics and InformationProcessing, held at the Free University of Berlin, November9-10, 1990.The scope of the ten papers in the volume is broad, coveringvarious different subfields of logic - particularlynonclassical logic - and its applications in artificialintelligence. The papers are grouped according to the fourmajor topics that emerged at the meeting: modal systems, logic programming, nonmonotonic logics, and proof theory.The classification is only a rough guide since the fourareas overlap considerably.
This volume comprises the proceedings of the FirstAll-Berlin Workshop on Nonclassical Logics and InformationProcessing, held at the Free University of...
|
cena:
141,19 |
 |
Truth and Falsehood: An Inquiry into Generalized Logical Values
ISBN: 9789400709065 / Angielski / Twarda / 2011 / 250 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice (a lattice of truth values with two ordering relations) constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, a trilattice...
The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth va...
|
cena:
403,47 |
 |
Proof Theory of N4-Paraconsistent Logics
ISBN: 9781848901674 / Angielski / Miękka / 2015 / 414 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nelson. The volume brings together a number of papers the authors have written separately or jointly on various systems of inconsistency-tolerant logic. The material covers the structural proof theory of N4, its fragments, including first-degree entailment logic, related logics, such as trilattice logics, connexive systems, systems of symmetric and dual paraconsistent logic, and variations of...
The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, con...
|
cena:
109,76 |
 |
Recent Trends in Philosophical Logic
ISBN: 9783319358123 / Angielski / Miękka / 2016 / 209 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism and possible worlds semantics. The developments presented here focus on challenging problems in the specification of fundamental philosophical notions, as well as presenting new techniques and tools, thereby contributing... This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substr... |
cena:
510,39 |
 |
Recent Trends in Philosophical Logic
ISBN: 9783319060798 / Angielski / Twarda / 2014 / 209 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism and possible worlds semantics. The developments presented here focus on challenging problems in the specification of fundamental philosophical notions, as well as presenting new techniques and tools, thereby contributing... This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substr... |
cena:
403,47 |
 |
Advances in Modal Logic: Volume 1
ISBN: 9781575861029 / Angielski / Miękka / 1998 / 400 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, including theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics. This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 8 10, 1996. It offers an up-to-date perspective on the field, with contributions covering its proof theory, its...
Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has...
|
cena:
136,30 |
 |
IfColog Journal of Logics and their Applications. Volume 3, number 3: Connexive Logics
ISBN: 9781848902220 / Angielski / Miękka / 2016 / 244 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
75,33 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
