Power Search
Low Price Guarantee
We Take School POs
Semantics of sequent calculi: Fuzziness versus non-multiplicativity
Contributor(s): Pynko, Alexej P. (Author)

View larger image

 ISBN:     ISBN-13: 9798643773993
Publisher: Independently Published
OUR PRICE: $47.50  

Binding Type: Paperback
Published: May 2020
Qty:
Additional Information
BISAC Categories:
- Mathematics | Logic
Physical Information: 0.06" H x 5.98" W x 9.02" L (0.11 lbs) 28 pages
 
Descriptions, Reviews, Etc.
Publisher Description:
The aim of this study is to provide a generic fuzzy semanticsof propositional sequent calculi - both two-side and signed ones -with basic structural rules: Enlargement, Permutation and Contraction.As a representative application, we explore substructural (more precisely, Cut and/or Sharing free) versionsof Gentzen's original calculus LK with basic structural rulessupplemented by the rules inverse to the logical ones andprove that they are equivalent to certain subclassicalextensions of the bounded version of Belnap's four-valued logic such as Priest's logic of paradox and Kleene's three-valued logic, the notorious Cut Elimination property of LK appearing justa consequence of the well-known regularity of the operations of Kleene'sthree-valued logic
 
Customer ReviewsSubmit your own review
 
To tell a friend about this book, you must Sign In First!