Pages that link to "Item:Q4647516"

The following pages link to MUltlog 1.0: Towards an expert system for many-valued logics (Q4647516):

Displayed 8 items.

• On Gentzen relations associated with finite-valued logics preserving degrees of truth (Q368479) ‎ (← links)
• Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) ‎ (← links)
• On finitely-valued fuzzy description logics (Q465589) ‎ (← links)
• Fuzzy description logics and \(t\)-norm based fuzzy logics (Q990977) ‎ (← links)
• Proof search and co-NP completeness for many-valued logics (Q1697337) ‎ (← links)
• Optimal axiomatizations of finitely valued logics (Q1854378) ‎ (← links)
• Tools for the Investigation of Substructural and Paraconsistent Logics (Q2938481) ‎ (← links)
• Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices (Q4647557) ‎ (← links)