MUltlog 1.0: towards an expert system for many-valued logics

DOI10.1007/3-540-61511-3_84MaRDI QIDQ4647516zbMATH OpenOpenAlexFDO

Authors Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach

Publication date 15 January 2019

Published in Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61511-3_84

zbMATH Keywords

automated deductionmixed integer programmingsequent calculusconjunctive normal formdefinite clause

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Many-valued logic (03B50)

Recommendations

• scientific article; zbMATH DE number 910747
• scientific article; zbMATH DE number 517011
• scientific article; zbMATH DE number 1076962
• scientific article; zbMATH DE number 1127072
• Resolution-based theorem proving for many-valued logics

Cites work

• scientific article; zbMATH DE number 446843 (Why is no real title available?)
• 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 777292 (Why is no real title available?)
• Commodious axiomatization of quantifiers in multiple-valued logic
• Many-valued logic and mixed integer programming
• Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
• Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
• Resolution-based theorem proving for many-valued logics
• Sequents in many valued logic I
• Systematization of finite many-valued logics through the method of tableaux

Cited in

(21)

• Optimal axiomatizations of finitely valued logics
• On finitely-valued fuzzy description logics
• JGXYZ: an ATP system for gap and glut logics
• Proof search and co-NP completeness for many-valued logics
• scientific article; zbMATH DE number 4088971 (Why is no real title available?)
• A symbolic-numeric approach to MPL continuous logic and to rule based expert systems whose underlying logic is MPL
• scientific article; zbMATH DE number 2227401 (Why is no real title available?)
• scientific article; zbMATH DE number 517011 (Why is no real title available?)
• Non-distributive relatives of ETL and NFL
• On Gentzen relations associated with finite-valued logics preserving degrees of truth
• scientific article; zbMATH DE number 51438 (Why is no real title available?)
• Proof theory for locally finite many-valued logics: semi-projective logics
• Fuzzy description logics and \(t\)-norm based fuzzy logics
• Finite Hilbert systems for weak Kleene logics
• Tools for the investigation of substructural and paraconsistent logics
• scientific article; zbMATH DE number 910747 (Why is no real title available?)
• Local multi-valued logics in modular expert systems
• On defining multiple-valued logics for knowledge-based systems communication
• Tree-like proof systems for finitely-many valued non-deterministic consequence relations
• Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
• scientific article; zbMATH DE number 4051522 (Why is no real title available?)

Describes a project that uses

Uses Software

• MUltlog

This page was built for publication: MUltlog 1.0: towards an expert system for many-valued logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4647516)