Non classical logics (74 Ergebnisse)

Zustand: Very Good. *Price HAS BEEN REDUCED by 10% until Monday, Nov. 2 (weekend sale item)* 154 pp., paperback, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Paperback. Zustand: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

2007th ed. 15 x 23 cm. 320 pages. SC Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.

Paperback. Zustand: New. An Unused, unmarked and unblemished copy. Still in plastic packaging!; 100% Satisfaction Guaranteed! Ships same or next business day.

Zustand: New. pp. 324 Illus.

Zustand: Gut. kartoniert Nr. 42 der mathematischen Dissertation, herausgegeben von Mathematischen Institut der Polnischen Akademie der Wissenschaften. Originalkarton, vorn am rechten Rand etwas verkinttert; die Seiten sind am oberen Eck leicht gestaucht, ansonsten sauber und gut. Helena Rasiowa (* 20. Juni 1917 in Wien; 9. August 1994 in Warschau) war eine polnische Mathematikerin. (Wikipedia) Die vorliegende Arbeit ist nicht ihre Dissertation, sie promovierte sich schon 1950 mit der Arbei t'Algebraic Treatment of the Functional Calculus of Lewis and Heyting' Sprache / Language: en 30 Seiten. ca. 25,2 x 17,8 cm. …

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Hardcover. Zustand: Gut. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 NON 9780720407525 Sprache: Englisch Gewicht in Gramm: 1150.…

8°. 154 S. mit graphischen Darstellungen. OKart. (Research notes in theoretical computer science). Gutes Exemplar.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Why do some statements necessarily imply others - and why do even the strongest formal systems have limits Logic offers the tools to answer these questions with precision, clarity, and depth.This book provides a rigorous yet accessible introduction to logical reasoning, from propositional and predicate logic to modal logic and non-classical logics. It develops the central concepts, methods, and procedures in a clear and structured way, focusing not only on formal rules but on the understanding of structure, meaning, and inference.Classical topics such as equivalences, normal forms, and resolution are complemented by algorithmic methods for automated reasoning and a detailed treatment of Gödel's incompleteness theorems. Readers will also encounter modern perspectives, including modal logic, fuzzy logic, default logic, and answer set programming.With numerous exercises and carefully explained solutions, this book is ideal for anyone who wants to think more clearly, argue more precisely, and gain a deeper understanding of the foundations of mathematics and computer science.…

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: Brand New. 2013 edition. 131 pages. 9.25x6.10x0.30 inches. In Stock.

paperback. Zustand: Very Good.

Paperback. Zustand: Brand New. 1st edition. 297 pages. 9.25x6.00x0.75 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 309 pages. 9.29x6.06x0.79 inches. In Stock.

Hardcover. Zustand: Near Fine. 1st Edition.

Kartoniert / Broschiert. Zustand: New.

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Non-Classical Logics and their Applications to Fuzzy Subsets is the first major work devoted to a careful study of various relations between non-classical logics and fuzzy sets. This volume is indispensable for all those who are interested in a deeper understanding of the mathematical foundations of fuzzy set theory, particularly in intuitionistic logic, Lukasiewicz logic, monoidal logic, fuzzy logic and topos-like categories. The tutorial nature of the longer chapters, the comprehensive bibliography and index make it suitable as a valuable and important reference for graduate students as well as research workers in the field of non-classical logics. The book is arranged in three parts: Part A presents the most recent developments in the theory of Heyting algebras, MV-algebras, quantales and GL-monoids. Part B gives a coherent and current account of topos-like categories for fuzzy set theory based on Heyting algebra valued sets, quantal sets of M-valued sets. Part C addresses general aspects of non-classical logics including epistemological problems as well as recursive properties of fuzzy logic.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline. The 17 revised papers of this Festschrift volume - published in honour of Daniele Mundici on the occasion of his 60th birthday - include invited extended versions of the most interesting contributions to the International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning, held in Gargnano, Italy, in March 2006.Daniele Mundici is widely acknowledged as a leading scientist in many-valued logic and ordered algebraic structures. In the last decades, his work has unveiledprofound connections between logic and such diverse fields of research as functional analysis, probability and measure theory, the geometry of toric varieties, piecewise linear geometry, and error-correcting codes. Several prominent logicians, mathematicians, and computer scientists attending the conference have contributed to this wide-ranging collection with papers all variously related to Daniele's work.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Papers.- Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory.- Higher-Order Modal Logic-A Sketch.- Proving Associative-Commutative Termination Using RPO-Compatible Orderings.- Decision Procedures and Model Building or How to Improve Logical Information in Automated Deduction.- Replacement Rules with Definition Detection.- Contributed Papers.- On the Complexity of Finite Sorted Algebras.- A Further and Effective Liberalization of the -Rule in Free Variable Semantic Tableaux.- A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory.- Interpretation of a Mizar-Like Logic in First Order Logic.- An ((n log n)3)-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic.- Implicational Completeness of Signed Resolution.- An Equational Re-engineering of Set Theories.- Issues of Decidability for Description Logics in the Framework of Resolution.- Extending DecidableClause Classes via Constraints.- Completeness and Redundancy in Constrained Clause Logic.- Effective Properties of Some First Order Intuitionistic Modal Logics.- Hidden Congruent Deduction.- Resolution-Based Theorem Proving for SH n-Logics.- Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized -Rule but Without Skolemization.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include - besides most Description Logics such as the ones behind OWL - Horn Logic and Intuitionistic logic, amongst others. The author also presents algorithms for the most important constructions in belief bases. Researchers and practitioners in theoretical computing will find this an invaluable resource. …

Org.-Hardcover. Quart, XXXVII, 469 S., einwandfreies, frisches Exemplar. [=Omega-Bibliography of Mathematical Logic. Edited by Gert H. Müller in Collaboration with Wolfgang Lenski. Vol. II] - ENGLISH: In-quarto, xxxvii, 469 pp., clean, fresh copy. ISBN 354015521X UND 038715521X. [=Omega-Bibliography of Mathematical Logic. Edited by Gert H. Müller in Collaboration with Wolfgang Lenski. Vol. II] - ENGLISH: In-quarto, xxxvii, 469 pp., clean, fresh copy. ISBN 354015521X UND 038715521X. 2000 g.…

Paperback. Zustand: Brand New. 508 pages. 11.00x8.30x1.18 inches. In Stock.

Taschenbuch. Zustand: Neu. Formal Logic | Propositional Logic, Predicate Logic, Modal Logic, and Non-Classical [.] | Lucien Sina | Taschenbuch | Englisch | epubli | EAN 9783565444717 | Verantwortliche Person für die EU: Neopubli GmbH (Imprint: epubli), Köpenicker Str. 154a, 10997 Berlin, produktsicherheit[at]epubli[dot]com | Anbieter: preigu. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg II. Non-classical Logics W. Rautenberg III. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. Proof Theory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra.…