swMATH6604MaRDI QIDQ18694FDOQ18694
Author name not available (Why is that?)
Official website: https://www.logic.at/multlog/
Source code repository: https://github.com/rzach/multlog
Cited In (23)
- JGXYZ: an ATP system for gap and glut logics
- MUltlog 1.0: towards an expert system for many-valued logics
- Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi
- 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
- Taming paraconsistent (and other) logics: an algorithmic approach
- Title not available (Why is that?)
- Optimal axiomatizations of finitely valued logics
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Logics' Explorer
- Title not available (Why is that?)
- On finitely-valued fuzzy description logics
- Gen2sat
- KEMS
- JGXYZ
- 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
- 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
