MUltlog
From MaRDI portal
Cited in
(23)- Proof search and co-NP completeness for many-valued logics
- Optimal axiomatizations of finitely valued logics
- Logics' Explorer
- Non-distributive relatives of ETL and NFL
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations
- JGXYZ: an ATP system for gap and glut logics
- Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi
- Gen2sat
- Taming paraconsistent (and other) logics: an algorithmic approach
- On Gentzen relations associated with finite-valued logics preserving degrees of truth
- KEMS
- scientific article; zbMATH DE number 1189102 (Why is no real title available?)
- Proof theory for locally finite many-valued logics: semi-projective logics
- scientific article; zbMATH DE number 1341466 (Why is no real title available?)
- JGXYZ
- A Strong Completeness Theorem for the Gentzen systems associated with finite algebras
- MUltlog 1.0: towards an expert system for many-valued logics
- Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
- On finitely-valued fuzzy description logics
- scientific article; zbMATH DE number 910747 (Why is no real title available?)
- A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
- Fuzzy description logics and \(t\)-norm based fuzzy logics
This page was built for software: MUltlog
