Non classical logics (88 Ergebnisse)

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

Zustand: Very Good. 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.

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: 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.

Zustand: New. In English.

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

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.

Zustand: New. pp. 324 Illus.

Zustand: very good. Cambridge, Mass. : MIT Press, 1990. Hardcover. Dustjacket. 239 pp. Library stamp. This book develops and demonstrates efficient matrix proof methods for automated deduction within an important and comprehensive class of first order and intuitionistic logics. Traditional techniques for the design of efficient proof systems are abstracted from their original setting which allows their application to a wider class of mathematical logic. The logics discussed are used throughout computer science and artificial intelligence. Contents: Introduction I. Automated Deduction in Classical Logic. Proof search in classical sequent calculi. A matrix characterization of classical validity. II. Automated Proof Deduction in Modal Logics. The semantics and proof theory of modal logics. Proof search in modal sequent calculi. Matrix characterizations of modal validity. Alternative proof methods for modal logics. Matrix based proof search. III. Automated Deduction in Intuitionistic Logic. A Matrix proof method. Conclusions. Condition : very good copy. ISBN 9780262231442. Keywords : COMPUTER SCIENCE, artificial intelligence (AI) Logic (Symbolic and mathematical) Logic programming.…

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.

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. …

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.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

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

Zustand: as new. Cambridge, MA.: The MIT Press, 1990. Hardcover. Dustjacket. xv,239 pp. - This book develops and demonstrates efficient matrix proof methods for automated deduction within an important and comprehensive class of first order and intuitionistic logics. Traditional techniques for the design of efficient proof systems are abstracted from their original setting which allows their application to a wider class of mathematical logic. The logics discussed are used throughout computer science and artificial intelligence. Contents: Introduction I. Automated Deduction in Classical Logic. Proof search in classical sequent calculi. A matrix characterization of classical validity. II. Automated Proof Deduction in Modal Logics. The semantics and proof theory of modal logics. Proof search in modal sequent calculi. Matrix characterizations of modal validity. Alternative proof methods for modal logics. Matrix based proof search. III. Automated Deduction in Intuitionistic Logic. A Matrix proof method. Conclusions. Condition : as new copy. ISBN 9780262231442. Keywords : PHILOSOPHY.…

Zustand: New. In English.

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.

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

Zustand: New. In English.