scientific article; zbMATH DE number 1076962
zbMATH Open0887.03017MaRDI QIDQ4360106FDOQ4360106
Authors: Reiner Hähnle, Gonzalo Escalada-Imaz 
Publication date: 17 May 1998
Full work available at URL: https://eudml.org/doc/39105
Title of this publication is not available (Why is that?)
Recommendations
proof theorydatabasesmany-valued logicscomputer systemsdeductionfuzzy controlknowledge representationformal verificationcoding theoryexpert systemsnatural language representation
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)
Cited In (19)
- Title not available (Why is that?)
- Title not available (Why is that?)
- MUltlog 1.0: towards an expert system for many-valued logics
- \(\mho\)-resolution and hybrid knowledge bases
- Formal axiomatic theories based on a three-valued logic
- Binary resolution over Boolean lattices
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Sound and complete SLD-resolution for bilattice-based annotated logic programs
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
- Title not available (Why is that?)
- An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package
Uses Software
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)
