Author of the publication

Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X).

, , and . J. Intell. Fuzzy Syst., 29 (4): 1581-1593 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols., , , , and . IEEE Access, (2019)Contradiction separation based dynamic multi-clause synergized automated deduction., , , , and . Inf. Sci., (2018)A novel formal logic for formal analysis of timeliness in non-repudiation protocols., , , and . J. King Saud Univ. Comput. Inf. Sci., 35 (8): 101664 (September 2023)Lattice-valued matrix game with mixed strategies for intelligent decision support., , , and . Knowl. Based Syst., (2012)Formal Analysis and Verification for Three-Party Authentication Protocol of RFID., , , , and . NCTCS, volume 882 of Communications in Computer and Information Science, page 46-60. Springer, (2018)Local Re-Encoding for Coded Matrix Multiplication., , , , and . IEEE Open J. Commun. Soc., (2022)Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic., , , , and . Int. J. Comput. Intell. Syst., 11 (1): 384-401 (2018)Multiary α-Resolution Principle for a Lattice-Valued Logic., , , and . IEEE Trans. Fuzzy Syst., 21 (5): 898-912 (2013)Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events., , , , , and . IEEE Access, (2018)General form of α-resolution principle for linguistic truth-valued lattice-valued logic., , , and . Soft Comput., 16 (10): 1767-1781 (2012)