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

DOI10.1007/3-540-61511-3_84zbMath1412.68204MaRDI QIDQ4647516

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

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

mixed integer programming; sequent calculus; automated deduction; conjunctive normal form; definite clause

Mathematics Subject Classification ID

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

03B50: Many-valued logic

Related Items

Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices, On Gentzen relations associated with finite-valued logics preserving degrees of truth, Proof theory for locally finite many-valued logics: semi-projective logics, On finitely-valued fuzzy description logics, Fuzzy description logics and \(t\)-norm based fuzzy logics, Proof search and co-NP completeness for many-valued logics, Optimal axiomatizations of finitely valued logics, Non-distributive relatives of ETL and NFL, Tree-like proof systems for finitely-many valued non-deterministic consequence relations, JGXYZ: an ATP system for gap and glut logics, Tools for the Investigation of Substructural and Paraconsistent Logics

Uses Software

• MUltlog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Commodious axiomatization of quantifiers in multiple-valued logic
• Resolution-based theorem proving for many-valued logics
• Many-valued logic and mixed integer programming
• Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
• Systematization of finite many-valued logics through the method of tableaux
• Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
• Sequents in many valued logic I