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

DOI10.1007/3-540-61511-3_84zbMath1412.68204OpenAlexW2145733904MaRDI 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 programmingsequent calculusautomated deductionconjunctive normal formdefinite clause

Mathematics Subject Classification ID

Related Items (11)

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

Uses Software

• MUltlog

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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