scientific article; zbMATH DE number 1076962

MaRDI QIDQ4360106zbMATH OpenFDO

Authors Reiner Hähnle, Gonzalo Escalada-Imaz

Publication date 17 May 1998

Full work available at URL https://eudml.org/doc/39105

zbMATH Keywords

coding theorycomputer systemsdatabasesdeductionexpert systemsformal verificationfuzzy controlknowledge representationmany-valued logicsnatural language representationproof theory

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General theory of computer systems (68M01) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 559756
• Many-valued logics. A mathematical and computational introduction
• scientific article; zbMATH DE number 910747
• A treatise on many-valued logics

Cited in

(22)

• Systems of ordinal fuzzy logic with application to preference modelling
• On the complexity of entailment in propositional multivalued logics
• Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package
• Any-world assumptions in logic programming
• Automated deduction for many-valued logics
• scientific article; zbMATH DE number 2177634 (Why is no real title available?)
• scientific article; zbMATH DE number 989195 (Why is no real title available?)
• scientific article; zbMATH DE number 3875236 (Why is no real title available?)
• Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
• An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
• scientific article; zbMATH DE number 517011 (Why is no real title available?)
• scientific article; zbMATH DE number 559756 (Why is no real title available?)
• scientific article; zbMATH DE number 1076961 (Why is no real title available?)
• scientific article; zbMATH DE number 2042617 (Why is no real title available?)
• MUltlog 1.0: towards an expert system for many-valued logics
• Consistency reasoning in lattice-based fuzzy description logics
• Sound and complete SLD-resolution for bilattice-based annotated logic programs
• Restricted ideals and the groupability property. Tools for temporal reasoning.
• \(\mho\)-resolution and hybrid knowledge bases
• The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
• Binary resolution over Boolean lattices
• Formal axiomatic theories based on a three-valued logic

Describes a project that uses

Uses Software

• MEDLAR

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