Wojciech Dzik Unification Types in Logic

ISBN 13: 9788322617175

Unification Types in Logic

5 avg rating
( 1 ratings by Goodreads )
 
9788322617175: Unification Types in Logic

The book presents results on unification and unification types in four areas of logic: non-Fregean logics, intermediate logics (extensions of intuitionistic logic), modal and multimodal logics, including Tense Logics and Epistemic Logics (Logics of Knowledge). However some ideas are common. Unification in logic is a new area of logical research with development stimulated by applications in computer science, especially in automated theorem proving, and with application in logic, methodology and philosophy. The problems and methods come from traditional logic, philosophy, proof theory, universal algebra, category theory, computer science, and artificial intelligence.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Wojciech Dzik
Published by Silesia University Press (2007)
ISBN 10: 8322617178 ISBN 13: 9788322617175
Used Soft cover First Edition Quantity Available: 1
Seller:
killarneybooks
(Kenmare, Ireland)
Rating
[?]

Book Description Silesia University Press, 2007. Soft cover. Book Condition: Near Fine. 1st Edition. Published in a limited academic edition of 250 copies. Paperback, 192pp, NOT ex-library. Copy appears unread: clean, bright, tight; minor light signs of handling only. Free of any marking in text; with unbroken and uncreased spine. Gentle external shelfwear, price blacked out on rear cover. -- The book presents results on unification and unification types in four areas of logic: non-Fregean logics, intermediate logics (extensions of intuitionistic logic), modal and multimodal logics, including Tense Logics and Epistemic Logics (Logics of Knowledge). However some ideas are common. Unification in logic is a new area of logical research with development stimulated by applications in computer science, especially in automated theorem proving, and with application in logic, methodology and philosophy. The problems and methods come from traditional logic, philosophy, proof theory, universal algebra, category theory, computer science, and artificial intelligence. Bookseller Inventory # 002945

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 50.66
Convert Currency

Add to Basket

Shipping: FREE
From Ireland to U.S.A.
Destination, Rates & Speeds

2.

Wojciech Dzik
Published by Wydawnictwo Uniwersytetu Slaskiego (2007)
ISBN 10: 8322617178 ISBN 13: 9788322617175
Used Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Wydawnictwo Uniwersytetu Slaskiego, 2007. Paperback. Book Condition: Used: Good. Bookseller Inventory # SONG8322617178

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 89.69
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds