scientific article; zbMATH DE number 3674052

MaRDI QIDQ3870868zbMATH OpenFDO

Authors Ewa Orłowska

Publication date 1978

zbMATH Keywords

completenessHerbrand's theoremresolution theorem proving systemsoundness

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Cited in

(6)

• General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
• Post algebras in the work of Helena Rasiowa
• \(\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)\)
• Bibliography of Ewa Orłowska
• Filter-based resolution principle for lattice-valued propositional logic LP(X)

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 Q3870868)