Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)

From MaRDI portal
Publication:545319

DOI10.1016/j.ins.2010.03.024zbMath1239.03007OpenAlexW2084272226MaRDI QIDQ545319

Jun Liu, Da Ruan, Yang Xu, Xiao-bing Li

Publication date: 22 June 2011

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2010.03.024



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (12)


Uses Software


Cites Work


This page was built for publication: Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)