MUltlog 1.0: towards an expert system for many-valued logics
DOI10.1007/3-540-61511-3_84zbMATH Open1412.68204OpenAlexW2145733904MaRDI QIDQ4647516FDOQ4647516
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
Recommendations
Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Many-valued logic (03B50)
Cites Work
- Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
- Title not available (Why is that?)
- Sequents in many valued logic I
- Title not available (Why is that?)
- Many-valued logic and mixed integer programming
- Commodious axiomatization of quantifiers in multiple-valued logic
- Resolution-based theorem proving for many-valued logics
- Systematization of finite many-valued logics through the method of tableaux
- Title not available (Why is that?)
- Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
- Title not available (Why is that?)
Cited In (20)
- Title not available (Why is that?)
- Local multi-valued logics in modular expert systems
- JGXYZ: an ATP system for gap and glut logics
- On defining multiple-valued logics for knowledge-based systems communication
- Title not available (Why is that?)
- Title not available (Why is that?)
- Non-distributive relatives of ETL and NFL
- Proof theory for locally finite many-valued logics: semi-projective logics
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations
- Optimal axiomatizations of finitely valued logics
- Title not available (Why is that?)
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Title not available (Why is that?)
- On finitely-valued fuzzy description logics
- Title not available (Why is that?)
- Finite Hilbert systems for weak Kleene logics
- Proof search and co-NP completeness for many-valued logics
- On Gentzen relations associated with finite-valued logics preserving degrees of truth
- Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
- Tools for the Investigation of Substructural and Paraconsistent Logics
Uses Software
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)
