共 50 条
- [4] Term Models of Horn Clauses over Rational Pavelka Predicate Logic 2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017), 2017, : 112 - 117
- [6] Infinitesimals and Pavelka logic PROCEEDINGS OF THE 2015 CONFERENCE OF THE INTERNATIONAL FUZZY SYSTEMS ASSOCIATION AND THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY, 2015, 89 : 1027 - 1033
- [8] Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 235 - 249
- [10] A NOTE ON PAVELKA FUZZY-LOGIC ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1991, 37 (01): : 39 - 40