scientific article
From MaRDI portal
Publication:3714047
zbMath0587.03007MaRDI QIDQ3714047
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Post algebracompleteness theoremresolution theorem provingdecomposition rulesGentzen-type axiomatization of Post logicsm-valued Post logics
Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50) Logical aspects of ?ukasiewicz and Post algebras (03G20)
Related Items
General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic ⋮ Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) ⋮ Post Algebras in the Work of Helena Rasiowa ⋮ Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents ⋮ 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:
