MUltlog 1.0: Towards an expert system for many-valued logics
From MaRDI portal
Publication:4647516
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
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
This page was built for publication: MUltlog 1.0: Towards an expert system for many-valued logics