Produktart
Zustand
Einband
Weitere Eigenschaften
Land des Verkäufers
Verkäuferbewertung
Verlag: World Scientific Publishing Comp, 2002
ISBN 10: 9812381791ISBN 13: 9789812381798
Anbieter: Books From California, Simi Valley, CA, USA
Buch
Hardcover. Zustand: Very Good. Very clean, tight and square.
Verlag: Springer, 1993
ISBN 10: 3540567348ISBN 13: 9783540567349
Anbieter: Antiquariat Dorner, Reinheim, Deutschland
Buch
Berlin, Springer 1993. IX, 163 S., OKart. Gutes Exemplar.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 57,86
Gebraucht ab EUR 34,00
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2007
ISBN 10: 3540557458ISBN 13: 9783540557456
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Verlag: Springer Netherlands, 2013
ISBN 10: 9400737343ISBN 13: 9789400737341
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 92,27
Verlag: Springer International Publishing, 2014
ISBN 10: 3319110403ISBN 13: 9783319110400
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 numerous contributions to proof theory and proof-theoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either in-depth studies of certain aspects of Dag Prawitz's work or address open research problems that are concerned with core issues in structural proof theory and range from philosophical essays to papers of a mathematical nature. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three 'dogmas of proof-theoretic semantics' are included. More formal papers deal with the constructive behaviour of fragments of classical logic and fragments of the modal logic S4 among other topics. In addition, there are chapters about inversion principles, normalization of proofs, and the notion of proof-theoretic harmony and other areas of a more mathematical persuasion. Dag Prawitz also writes a chapter in which he explains his current views on the epistemic dimension of proofs and addresses the question why some inferences succeed in conferring evidence on their conclusions when applied to premises for which one already possesses evidence.
Verlag: Springer International Publishing, 2016
ISBN 10: 3319360310ISBN 13: 9783319360317
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 numerous contributions to proof theory and proof-theoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either in-depth studies of certain aspects of Dag Prawitz's work or address open research problems that are concerned with core issues in structural proof theory and range from philosophical essays to papers of a mathematical nature. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three 'dogmas of proof-theoretic semantics' are included. More formal papers deal with the constructive behaviour of fragments of classical logic and fragments of the modal logic S4 among other topics. In addition, there are chapters about inversion principles, normalization of proofs, and the notion of proof-theoretic harmony and other areas of a more mathematical persuasion. Dag Prawitz also writes a chapter in which he explains his current views on the epistemic dimension of proofs and addresses the question why some inferences succeed in conferring evidence on their conclusions when applied to premises for which one already possesses evidence.
Verlag: Springer Netherlands, 2011
ISBN 10: 9400709064ISBN 13: 9789400709065
Anbieter: moluna, Greven, Deutschland
Buch
Gebunden. Zustand: New.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 92,27
Verlag: Springer International Publishing, 2021
ISBN 10: 3030311384ISBN 13: 9783030311384
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE). It also looks at various formal systems closely related to it. These include the strong Kleene logic and the Logic of Paradox. Inside, readers will find reprints of seminal papers written by the fathers of the field: Nuel Belnap and Michael Dunn. In addition, the collection also features a well-known but previously unpublished manuscript of Dunn, an interview with Belnap, and a new essay by Dunn.Besides the original, monumental papers, the book also includes research by leading scholars. They consider the extraordinary importance of Belnap-Dunn logic from several perspectives. They look at how, philosophically, it has served as a basic system of inconsistency-tolerant reasoning, as the core of underlying logics for theories based on dialetheism, and, more recently, for theories based on Buddhist philosophy. Coverage also explores its contributions tocomputer science, such as knowledge representation and information processing.This mix of seminal papers and insightful analysis by top scholars offers readers a comprehensive outlook on Belnap-Dunn logic and its related expansions, which have been agenda setting for the debate on philosophical logic as well as philosophy of logic. The book will also enhance further discussion on the philosophical issues related to nonclassical logics in general.
Verlag: Springer International Publishing, 2020
ISBN 10: 303031135XISBN 13: 9783030311353
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE). It also looks at various formal systems closely related to it. These include the strong Kleene logic and the Logic of Paradox. Inside, readers will find reprints of seminal papers written by the fathers of the field: Nuel Belnap and Michael Dunn. In addition, the collection also features a well-known but previously unpublished manuscript of Dunn, an interview with Belnap, and a new essay by Dunn.Besides the original, monumental papers, the book also includes research by leading scholars. They consider the extraordinary importance of Belnap-Dunn logic from several perspectives. They look at how, philosophically, it has served as a basic system of inconsistency-tolerant reasoning, as the core of underlying logics for theories based on dialetheism, and, more recently, for theories based on Buddhist philosophy. Coverage also explores its contributions tocomputer science, such as knowledge representation and information processing.This mix of seminal papers and insightful analysis by top scholars offers readers a comprehensive outlook on Belnap-Dunn logic and its related expansions, which have been agenda setting for the debate on philosophical logic as well as philosophy of logic. The book will also enhance further discussion on the philosophical issues related to nonclassical logics in general.
Verlag: De Gruyter, 1996
ISBN 10: 3110147696ISBN 13: 9783110147698
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Frontmatter -- PART I: NEGATION IN PHILOSOPHICAL LOGIC -- Generalized Ortho Negation / DUNN, J. MICHAEL -- Order-Duality, Negation and Lattice Representation / HARTONAS, CHRYSAFIS -- Necessary Conditions for Negation Operators / LENZEN, WOLFGANG -- External, Restricted External, and Internal Negations in a Two-Dimensional Logic / MAX, INGOLF -- Negation and Relevance / STELZNER, WERNER -- PART II: NEGATION IN LINGUISTICS -- Categorial Grammars with Negative Information / BUSZKOWSKI, WOJCIECH -- Negative Concord and 'Mode of Judgement' / LADUSAW, WILLIAM A. -- Litotes and Downward Monotonicity / WOUDEN VAN DER, TON -- A Hierarchy of Negative Expressions / ZWARTS, FRANS -- PART III: NEGATION IN ARTIFICIAL INTELLIGENCE -- The Role of Negation in Nonmonotonic Logic and Defeasible Reasoning / SCHURZ, GERHARD -- Belnap's Epistemic States and Negation-as-Failure / WAGNER, GERD -- Index -- Backmatter.
Verlag: Springer Netherlands, 1998
ISBN 10: 079235205XISBN 13: 9780792352051
Anbieter: moluna, Greven, Deutschland
Buch
Gebunden. Zustand: New.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 127,40
Verlag: Springer Netherlands, 2010
ISBN 10: 9048150795ISBN 13: 9789048150793
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 127,40
Verlag: Springer Netherlands, 1996
ISBN 10: 0792341201ISBN 13: 9780792341208
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Verlag: Springer Netherlands, 2010
ISBN 10: 9048147204ISBN 13: 9789048147205
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Verlag: Springer Netherlands, 2010
ISBN 10: 9048151694ISBN 13: 9789048151691
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The notion of negation is one of the central logical notions. It has been studied since antiquity and has been subjected to thorough investigations in the development of philosophical logic, linguistics, artificial intelligence and logic programming. The properties of negation-in combination with those of other logical operations and structural features of the deducibility relation-serve as gateways among logical systems. Therefore negation plays an important role in selecting logical systems for particular applications. At the moment negation is a 'hot topic', and there is an urgent need for a comprehensive account of this logical key concept. We therefore have asked leading scholars in various branches of logic to contribute to a volume on 'What is Negation '. The result is the present neatly focused collection of re search papers bringing together different approaches toward a general characteri zation of kinds of negation and classifications thereof. The volume is structured into four interrelated thematic parts. Part I is centered around the themes of Models, Relevance and Impossibility. In Chapter 1 (Negation: Two Points of View), Arnon Avron develops two characteri zations of negation, one semantic the other proof-theoretic. Interestingly and maybe provokingly, under neither of these accounts intuitionistic negation emerges as a genuine negation. J. Michael Dunn in Chapter 2 (A Comparative Study of Various Model-theoretic Treatments of Negation: A History of Formal Negation) surveys a detailed correspondence-theoretic classifcation of various notions of negation in terms of properties of a binary relation interpreted as incompatibility.
Verlag: Springer Netherlands, 1999
ISBN 10: 0792355695ISBN 13: 9780792355694
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The notion of negation is one of the central logical notions. It has been studied since antiquity and has been subjected to thorough investigations in the development of philosophical logic, linguistics, artificial intelligence and logic programming. The properties of negation-in combination with those of other logical operations and structural features of the deducibility relation-serve as gateways among logical systems. Therefore negation plays an important role in selecting logical systems for particular applications. At the moment negation is a 'hot topic', and there is an urgent need for a comprehensive account of this logical key concept. We therefore have asked leading scholars in various branches of logic to contribute to a volume on 'What is Negation '. The result is the present neatly focused collection of re search papers bringing together different approaches toward a general characteri zation of kinds of negation and classifications thereof. The volume is structured into four interrelated thematic parts. Part I is centered around the themes of Models, Relevance and Impossibility. In Chapter 1 (Negation: Two Points of View), Arnon Avron develops two characteri zations of negation, one semantic the other proof-theoretic. Interestingly and maybe provokingly, under neither of these accounts intuitionistic negation emerges as a genuine negation. J. Michael Dunn in Chapter 2 (A Comparative Study of Various Model-theoretic Treatments of Negation: A History of Formal Negation) surveys a detailed correspondence-theoretic classifcation of various notions of negation in terms of properties of a binary relation interpreted as incompatibility.
Verlag: Brill | mentis, 2007
ISBN 10: 3897855690ISBN 13: 9783897855694
Anbieter: Gerald Wollermann, Bad Vilbel, Deutschland
Buch
Zustand: Gut. 2007. 287 S. Innerhalb Deutschlands Versand je nach Größe/Gewicht als Großbrief bzw. Bücher- und Warensendung mit der Post oder per DHL. Rechnung mit MwSt.-Ausweis liegt jeder Lieferung bei. Sprache: Deutsch Gewicht in Gramm: 4386 Taschenbuch, Maße: 15.6 cm x 1.9 cm x 23.4 cm.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 56,00
Gebraucht ab EUR 25,97
Mehr entdecken Softcover
Verlag: Berlin Akademie, 1995
ISBN 10: 3050027916ISBN 13: 9783050027913
Anbieter: Antiquariat Dr. Rainer Minx, Bücherstadt, Zeuthen, Deutschland
Buch
8°, OPpd., Logica nova;. XII, 229 S. mit graph. Darst., neuwertig Sprache: Englisch Gewicht in Gramm: 1050.