scientific article; zbMATH DE number 3547260
From MaRDI portal
Publication:4121876
zbMath0352.02017MaRDI QIDQ4121876
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
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)\) ⋮ \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) ⋮ \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
This page was built for publication:
