MUltlog 1.0: Towards an expert system for many-valued logics
From MaRDI portal
Publication:4647516
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
mixed integer programming; sequent calculus; automated deduction; conjunctive normal form; definite clause
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
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