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.

References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Bongini, Mattia; Ciabattoni, Agata; Montagna, Franco: Proof search and co-NP completeness for many-valued logics (2016)
  2. Zohar, Yoni; Zamansky, Anna: Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi (2016)
  3. Ciabattoni, Agata; Lahav, Ori; Spendier, Lara; Zamansky, Anna: Taming paraconsistent (and other) logics: an algorithmic approach (2015)
  4. Cerami, Marco; García-Cerdaña, Àngel; Esteva, Francesc: On finitely-valued fuzzy description logics (2014)
  5. Ciabattoni, Agata; Montagna, Franco: Proof theory for locally finite many-valued logics: semi-projective logics (2013)
  6. Gil, Angel J.: On Gentzen relations associated with finite-valued logics preserving degrees of truth (2013)
  7. 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)
  8. Garcıá-Cerdaña, Àngel; Armengol, Eva; Esteva, Francesc: Fuzzy description logics and $t$-norm based fuzzy logics (2010)
  9. Komendantskaya, Ekaterina: A sequent calculus for bilattice-based logic and its many-sorted representation (2007)
  10. Salzer, Gernot: Optimal axiomatizations of finitely valued logics (2000)
  11. Baaz, Matthias; Fermüller, Christian G.: Analytic calculi for projective logics (1999)
  12. Gil, Àngel J.; Rebagliato, Jordi; Verdú, Ventura: A strong completeness theorem for the Gentzen systems associated with finite algebras (1999)
  13. Fermüller, Christian G.; Langsteiner, Herbert: Tableaux for finite-valued logics with arbitrary distribution modalities (1998)