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

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

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