Tableau Methods for Propositional Logic and Term Logic

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả:

Ngôn ngữ: eng

ISBN-13: 978-3631833728

ISBN-13: 978-3631846537

ISBN-13: 978-3631846667

ISBN-13: 978-3631846674

ISBN: b18008

Ký hiệu phân loại:

Thông tin xuất bản: Bern Peter Lang International Academic Publishers, 2021

Mô tả vật lý: 1 online resource (228 p.)

Bộ sưu tập: Tài liệu truy cập mở

ID: 461805

The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets.
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 36225755 | Email: tt.thuvien@hutech.edu.vn

Copyright @2024 THƯ VIỆN HUTECH