Herbrand Theorems and Skolemization for Prenex Fuzzy Logics

DOI10.1007/978-3-540-69407-6_3zbMath1142.03340OpenAlexW1586892257MaRDI QIDQ3507415

Matthias Baaz, George Metcalfe

Publication date: 19 June 2008

Published in: Logic and Theory of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69407-6_3

zbMATH Keywords

SkolemizationFuzzy LogicsHerbrand Theorem

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items (2)

The eskolemization of universal quantifiers ⋮ The Skolemization of prenex formulas in intermediate logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the structure of semi-groups on a compact manifold with boundary
• Arithmetical complexity of fuzzy predicate logics -- a survey
• Metamathematics of fuzzy logic
• Making fuzzy description logic more general
• The Skolemization of existential quantifiers in intuitionistic logic
• Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
• Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic
• Three complexity problems in quantified fuzzy logic
• Fuzzy logic programming

This page was built for publication: Herbrand Theorems and Skolemization for Prenex Fuzzy Logics