scientific article; zbMATH DE number 3547260
From MaRDI portal
Publication:4121876
zbMATH Open0352.02017MaRDI QIDQ4121876FDOQ4121876
Authors: Charles G. Morgan 
Publication date: 1976
Title of this publication is not available (Why is that?)
Cited In (6)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
- Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra
- A resolution framework for finitely-valued first-order logics
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(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)
