The following pages link to MUltlog (Q18694):
Displayed 19 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)
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics (Q692319) (← 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)
- Non-distributive relatives of ETL and NFL (Q2021563) (← links)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← links)
- JGXYZ: an ATP system for gap and glut logics (Q2305437) (← links)
- Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi (Q2817945) (← links)
- Taming Paraconsistent (and Other) Logics (Q2946751) (← links)
- (Q3838811) (← links)
- (Q4263005) (← links)
- A Strong Completeness Theorem for the Gentzen systems associated with finite algebras (Q4443419) (← links)
- MUltlog 1.0: Towards an expert system for many-valued logics (Q4647516) (← links)
- Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices (Q4647557) (← links)
- (Q4885909) (← links)
- A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation (Q5434488) (← links)