Standard Completeness for Uninorm-Based Logics

Authors: Paolo Baldi, A. Ciabattoni
Publication year: 2015
Publication type: Konferenční příspěvek (mezinárodní konf.)
Periodical: ISMVL 2015. IEEE 45th International Symposium on Multiple-Valued Logic
Projects: Mathematical Fuzzy Logic in Computer Science
Bibliographic citation: BALDI, Paolo, CIABATTONI, A. Standard Completeness for Uninorm-Based Logics. In: ISMVL 2015. IEEE 45th International Symposium on Multiple-Valued Logic. Los Alamitos: IEEE Computer Society, 2015, S. 78-83. ISBN 978-147991777-8. ISSN 2378-2226
Dostupné z: doi:10.1109/ISMVL.2015.20
DOI: 10.1109/ISMVL.2015.20
ID: 460115

Abstract

We provide a uniform proof of standard completeness for a large class of axiomatic extensions of Uninorm Logic.