Tableaux for Maximum Satisfiability in Łukasiewicz Logic - Archive ouverte HAL
Conference Papers Year : 2020

Tableaux for Maximum Satisfiability in Łukasiewicz Logic

Felip Manya
  • Function : Author
Amanda Vidal
  • Function : Author

Dates and versions

hal-04322045 , version 1 (04-12-2023)

Identifiers

Cite

Chu Min Li, Felip Manya, Amanda Vidal. Tableaux for Maximum Satisfiability in Łukasiewicz Logic. 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), Nov 2020, Miyazaki, Japan. pp.243-248, ⟨10.1109/ISMVL49045.2020.00007⟩. ⟨hal-04322045⟩
11 View
0 Download

Altmetric

Share

More