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 17 articles )

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

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