Title :
Standard Completeness for Uninorm-Based Logics
Author :
Baldi, Paolo ; Ciabattoni, Agata
Author_Institution :
Austria Inst. of Comp. Sci., Vienna Univ. of Technol., Vienna, Austria
Abstract :
We provide a uniform proof of standard completeness for a large class of axiomatic extensions of Uniform Logic.
Keywords :
formal logic; axiomatic extensions; standard completeness; uninorm-based logics; Algebra; Calculus; Context; Electronic mail; Fuzzy logic; Silicon; Standards; density elimination; hypersequent; standard completeness; uninorm logic;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2015 IEEE International Symposium on
Conference_Location :
Waterloo, ON
DOI :
10.1109/ISMVL.2015.20
