Title :
Non-Archimedean Valued Sequent Logic
Author :
Schumann, Andrew
Author_Institution :
Dept. of Philos. & Sci. Methodology, Belarusian State Univ., Minsk
Abstract :
In this paper the author proposes non-Archimedean multiple-validity and construct the logical language with the related semantics. Further he built non-Archimedean valued sequent logic. Notice that non-Archimedean valued logical system is considered for the first time
Keywords :
formal languages; multivalued logic; logical language; nonArchimedean valued logical system; nonArchimedean valued sequent logic; Artificial intelligence; Context modeling; Expert systems; Filters; Fuzzy logic; Fuzzy sets; H infinity control; Multivalued logic;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing, 2006. SYNASC '06. Eighth International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
0-7695-2740-X
DOI :
10.1109/SYNASC.2006.57
