scientific article; zbMATH DE number 886137
From MaRDI portal
Publication:4881605
zbMath0849.03010MaRDI QIDQ4881605
Publication date: 10 June 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
logical matricesspeed-up techniquesefficient implementationresolution logicresolution-based automated reasoningresolution algebrasalgebraic theory of resolution proof systemscumulative nonmonotonic inference systemsnonclassical reasoning
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) ⋮ A first polynomial non-clausal class in many-valued logic ⋮ Closures in Binary Partial Algebras ⋮ 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:
