Results 181 to 190 of about 771,186 (237)
The Sound and Complete Gentzen Deduction System for the Modalized Łukasiewicz Three-Valued Logic
, 2016 Cungen Cao, Yuefei Sui
openalex +2 more sources
NP-completeness of fuzzy answer set programming under Łukasiewicz semantics [PDF]
, 2012 Blondeel, Marjon +3 more
core +1 more source
Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic [PDF]
Wei Jin
openalex +1 more source
Using the Spark Plasma Sintering System for Fabrication of Advanced Semiconductor Materials. [PDF]
Materials (Basel)Kaszyca K +6 more
europepmc +1 more source
THE UNIFICATION TYPE OF ŁUKASIEWICZ LOGIC WITH A BOUNDED NUMBER OF VARIABLES
Marco Abbadini, Luca Spada
openalex +1 more source
Modal extension of Łukasiewicz logic for reasoning about coalitional power. [PDF]
, 2014 Tomáš Kroupa, Bruno Teheux
openalex