World Library  
  


  
Add to Book Shelf
Flag as Inappropriate
Email this Book

Neutrality and Many-Valued Logics

By Schumann, Andrew

Click here to view

Book Id: WPLBN0100302889
Format Type: PDF (eBook)
File Size: 798.00 KB.
Reproduction Date: 11/1/2007

Title: Neutrality and Many-Valued Logics  
Author: Schumann, Andrew
Volume:
Language: English
Subject: Non Fiction, Philosophy
Collections: Philosophy, Authors Community
Historic
Publication Date:
2007
Publisher: American Research Press
Member Page: Infinite Science

Citation

APA MLA Chicago

Schumann, A., & Smarandache, F. (2007). Neutrality and Many-Valued Logics. Retrieved from http://gutenberg.cc/


Description
In this book, we consider various many-valued logics: standard, linear, hyperbolic, parabolic, non-Archimedean, p-adic, interval, neutrosophic, etc. We survey also results which show the tree different proof-theoretic frameworks for many-valued logics, e.g. frameworks of the following deductive calculi: Hilbert's style, sequent, and hypersequent. Recall that hypersequents are a natural generalization of Gentzen's style sequents that was introduced independently by Avron and Pottinger. In particular, we consider Hilbert's style, sequent, and hypersequent calculi for infinite-valued logics based on the three fundamental continuous t-norms: Łukasiewicz's, Gödel’s, and Product logics. We present a general way that allows to construct systematically analytic calculi for a large family of non-Archimedean many-valued logics: hyperrational-valued, hyperreal-valued, and p-adic valued logics characterized by a special format of semantics with an appropriate rejection of Archimedes' axiom. These logics are built as different extensions of standard many-valued logics.

 
 



Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.