MUltlog
From MaRDI portal
Software:18694
No author found.
Related Items (19)
Unnamed Item ⋮ On Gentzen relations associated with finite-valued logics preserving degrees of truth ⋮ Proof theory for locally finite many-valued logics: semi-projective logics ⋮ Taming Paraconsistent (and Other) Logics ⋮ Proof search and co-NP completeness for many-valued logics ⋮ On finitely-valued fuzzy description logics ⋮ Tree-like proof systems for finitely-many valued non-deterministic consequence relations ⋮ MUltlog 1.0: Towards an expert system for many-valued logics ⋮ Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices ⋮ The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics ⋮ Unnamed Item ⋮ A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation ⋮ Non-distributive relatives of ETL and NFL ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ A Strong Completeness Theorem for the Gentzen systems associated with finite algebras ⋮ Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi ⋮ JGXYZ: an ATP system for gap and glut logics ⋮ Unnamed Item ⋮ Optimal axiomatizations of finitely valued logics
This page was built for software: MUltlog
