Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving

This publication has 22 references indexed in Scilit:

• Decidability problems for the prenex fragment of intuitionistic logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Normal Form Transformations
  Published by Elsevier ,2001
• Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic
  Published by Springer Nature ,2000
• Interpolation in fuzzy logic
  Archive for Mathematical Logic, 1999
• Quantifier Elimination in Fuzzy Logic
  Published by Springer Nature ,1999
• Ordered chaining calculi for first-order theories of transitive relations
  Journal of the ACM, 1998
• Term Rewriting and All That
  Published by Cambridge University Press (CUP) ,1998
• Ordered chaining for total orderings
  Published by Springer Nature ,1994
• Hypersequents, logical consequence and intermediate logics for concurrency
  Annals of Mathematics and Artificial Intelligence, 1991
• A propositional calculus with denumerable matrix
  The Journal of Symbolic Logic, 1959