MUltlog

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