L-valued propositional logic L-vpl

Y Xu, KY Qin, J Liu, ZM Song

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)205-235
JournalInformation Sciences
Volume114
Issue number1-4
DOIs
Publication statusPublished - Mar 1999

Keywords

  • L-valued propositional logic
  • soundness
  • completeness
  • satisfiability
  • consistence
  • deduction theorem
  • compactness

Cite this