scientific article; zbMATH DE number 1076962
coding theorycomputer systemsdatabasesdeductionexpert systemsformal verificationfuzzy controlknowledge representationmany-valued logicsnatural language representationproof theory
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)
This article presents a short survey of papers which appeared in the 90s and focuses on many-valued logics (MVL). The paper is organized as follows. Section 1 presents a short introduction. Section 2 contains a classification of MVLs according to their intended application, to the cardinality of their truth-value set (unordered, partially ordered, ordered, totally ordered), to connectives and quantifiers and so on. Section 3 presents proof theory of MVL: Hilbert-style calculi, sequents, tableaux, resolution, decision diagrams. Section 4 discusses types of the deduction problem. Section 5 treats complexity of deduction in MVL. Section 6 contains a description of some computer systems: Multilog, \({_3\text{Tap}}\), Deep Thought, Milord, MDDs. Section 7 presents some applications of MVL deduction: coding theory, formal verification, natural language representation, databases and knowledge representation, fuzzy control, expert systems.
- 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
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)
