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

proof theorydatabasesmany-valued logicscomputer systemsdeductionfuzzy controlknowledge representationformal verificationcoding theoryexpert systemsnatural language representation

Mathematics Subject Classification ID

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

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

(19)

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

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)