scientific article; zbMATH DE number 3547260
From MaRDI portal
Publication:4121876
Cited in
(6)- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
- A resolution framework for finitely-valued first-order logics
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
- Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4121876)
