scientific article; zbMATH DE number 475244
From MaRDI portal
Publication:4273485
zbMath0783.03004MaRDI QIDQ4273485
Publication date: 13 January 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
efficiencypropositional logicclosure operatorsstrongly finite logicsstructural logicsfinite universal algebra augmented with an inference operatorpropositional resolution proof systemsrefutational approximation
Related Items (5)
A resolution framework for finitely-valued first-order logics ⋮ Resolution approximation of first-order logics ⋮ An essay on resolution logics ⋮ \(\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:
