Skip to content
Scan a barcode
Scan
Hardcover Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems Book

ISBN: 140206781X

ISBN13: 9781402067815

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems

Select Format

Select Condition ThriftBooks Help Icon

Recommended

Format: Hardcover

Condition: New

$169.99
50 Available
Ships within 2-3 days

Book Overview

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi...

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured