Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1
From MaRDI portal
Publication:2988491
DOI10.3233/IFS-151637zbMath1361.03011OpenAlexW2283886275MaRDI QIDQ2988491
Zhong Xiaomei, Xu Yang, Liu Yi
Publication date: 19 May 2017
Published in: Journal of Intelligent & Fuzzy Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/ifs-151637
completenessautomated reasoningincomparabilitylattice-valued logiclattice implication algebramulti-ary \(\alpha\)-semantic resolutionmulti-ary \(\alpha\)-semantic resolution deduction and soundness
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Cites Work
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
- General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
- Inference in a multivalued logic system
- A Machine-Oriented Logic Based on the Resolution Principle
- Automatic Theorem Proving With Renamable and Semantic Resolution
- Two Results on Ordering for Resolution with Merging and Linear Format
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1
