scientific article
From MaRDI portal
Publication:3090178
zbMATH Open1219.03014MaRDI QIDQ3090178FDOQ3090178
Xipeng Sun, Ping Zhou, Ming Jiang
Publication date: 28 August 2011
Title of this publication is not available (Why is that?)
Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35) Other algebras related to logic (03G25)
Cited In (5)
- \(\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)\)
- Graded many-valued resolution with aggregation.
- \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality
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 Q3090178)
