MUltlog
From MaRDI portal
Software:18694
swMATH6604MaRDI QIDQ18694FDOQ18694
Author name not available (Why is that?)
Cited In (19)
- JGXYZ: an ATP system for gap and glut logics
- A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
- 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
- Title not available (Why is that?)
- Optimal axiomatizations of finitely valued logics
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Title not available (Why is that?)
- On finitely-valued fuzzy description logics
- Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi
- A Strong Completeness Theorem for the Gentzen systems associated with finite algebras
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
- Taming Paraconsistent (and Other) Logics
- MUltlog 1.0: Towards an expert system for many-valued logics
- Proof search and co-NP completeness for many-valued logics
- On Gentzen relations associated with finite-valued logics preserving degrees of truth
- Title not available (Why is that?)
- Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
This page was built for software: MUltlog
