Standard Completeness for Uninorm-Based Logics

Autoři: Paolo Baldi
Rok vydání: 2015
Typ publikace: Konferenční příspěvek (mezinárodní konf.)
Periodikum: ISMVL 2015. IEEE 45th International Symposium on Multiple-Valued Logic
Projekty: Matematická fuzzy logika v informatice
Bibliografická citace: 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

Abstrakt

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