-group semantic resolution method based on lattice-valued propositional logic system LP(X)
From MaRDI portal
Publication:2847336
Cited in
(1)
This page was built for publication: \(\alpha\)-group semantic resolution method based on lattice-valued propositional logic system \(\mathrm{LP}(X)\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847336)