scientific article; zbMATH DE number 1076962

zbMath0887.03017MaRDI QIDQ4360106

Gonzalo Escalada-Imaz, Reiner Hähnle

Publication date: 17 May 1998

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fuzzy controlknowledge representationformal verificationnatural language representationproof theoryexpert systemsdeductioncoding theorymany-valued logicsdatabasescomputer systems

Mathematics Subject Classification ID

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

Related Items

Systems of ordinal fuzzy logic with application to preference modelling, Binary resolution over Boolean lattices, Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction, Consistency reasoning in lattice-based fuzzy description logics, Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package, Formal axiomatic theories based on a three-valued logic, The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics, \(\mho\)-resolution and hybrid knowledge bases, Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs, Unnamed Item, Any-world assumptions in logic programming

Uses Software

• MEDLAR