MUltlog is a system which takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and clause formation rules for this logic. All generated rules are optimized regarding their branching degree. The output is in the form of a scientific paper written in LaTeX. As an example, this specification of three-valued Gödel logic results in this paper. For more details see the system description presented at CADE-13, the README file of the distribution, and the changes since version 1.05.
Keywords for this software
References in zbMATH (referenced in 12 articles )
Showing results 1 to 12 of 12.
- Zohar, Yoni; Zamansky, Anna: Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi (2016)
- Ciabattoni, Agata; Lahav, Ori; Spendier, Lara; Zamansky, Anna: Taming paraconsistent (and other) logics: an algorithmic approach (2015)
- Cerami, Marco; García-Cerdaña, Àngel; Esteva, Francesc: On finitely-valued fuzzy description logics (2014)
- Ciabattoni, Agata; Montagna, Franco: Proof theory for locally finite many-valued logics: semi-projective logics (2013)
- Gil, Angel J.: On Gentzen relations associated with finite-valued logics preserving degrees of truth (2013)
- Roanes-Lozano, Eugenio; Alonso, José Antonio; Hernando, Antonio; Laita, Luis M.; Roanes-Macías, Eugenio: The Logics’ Explorer: a Maple package for exploring finite many-valued propositional logics (2011)
- Garcıá-Cerdaña, Àngel; Armengol, Eva; Esteva, Francesc: Fuzzy description logics and $t$-norm based fuzzy logics (2010)
- Komendantskaya, Ekaterina: A sequent calculus for bilattice-based logic and its many-sorted representation (2007)
- Salzer, Gernot: Optimal axiomatizations of finitely valued logics (2000)
- Baaz, Matthias; Fermüller, Christian G.: Analytic calculi for projective logics (1999)
- Gil, Àngel J.; Rebagliato, Jordi; Verdú, Ventura: A strong completeness theorem for the Gentzen systems associated with finite algebras (1999)
- Fermüller, Christian G.; Langsteiner, Herbert: Tableaux for finite-valued logics with arbitrary distribution modalities (1998)