Standard Completeness for Uninorm-Based Logics

Paolo Baldi, Agata Ciabattoni
2015 2015 IEEE International Symposium on Multiple-Valued Logic  
We provide a uniform proof of standard completeness for a large class of axiomatic extensions of Uninorm Logic.
doi:10.1109/ismvl.2015.20 dblp:conf/ismvl/BaldiC15 fatcat:a2wyggqaljdefl2qvxqtl7u36e