scientific article; zbMATH DE number 3941499
From MaRDI portal
Publication:3714047
Recommendations
- scientific article; zbMATH DE number 2079267
- scientific article; zbMATH DE number 3948225
- Extending resolution to resolution logics
- A resolution framework for finitely-valued first-order logics
- Publication:3485886
- Publication:3030268
- scientific article; zbMATH DE number 1301752
- scientific article; zbMATH DE number 4027426
- scientific article; zbMATH DE number 683345
- scientific article; zbMATH DE number 475244
Cited in
(15)- Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents
- A resolution framework for finitely-valued first-order logics
- General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
- Mechanical Verification of a Constructive Proof for FLP
- scientific article; zbMATH DE number 4155933 (Why is no real title available?)
- scientific article; zbMATH DE number 3948225 (Why is no real title available?)
- scientific article; zbMATH DE number 2079267 (Why is no real title available?)
- Post algebras in the work of Helena Rasiowa
- An Axiomatisation of the Conditionals of Post's Many Valued Logics
- Mechanical Reasoning about Families of UTP Theories
- 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)\)
- 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 Q3714047)
