Switch to: Citations

References in:

Quantified Propositional Gödel Logics

In Voronkov Andrei & Parigot Michel (eds.), Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000. Springer. pp. 240-256 (2000)

Add references

You must login to add references.
  1. Compact propositional Gödel logics.Matthias Baaz & Richard Zach - 1998 - In Baaz Matthias (ed.), 28th IEEE International Symposium on Multiple-Valued Logic, 1998. Proceedings. IEEE Press. pp. 108-113.
    Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Intuitionistic fuzzy logic and intuitionistic fuzzy set theory.Gaisi Takeuti & Satoko Titani - 1984 - Journal of Symbolic Logic 49 (3):851-866.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Interpolation in fuzzy logic.Matthias Baaz & Helmut Veith - 1999 - Archive for Mathematical Logic 38 (7):461-489.
    We investigate interpolation properties of many-valued propositional logics related to continuous t-norms. In case of failure of interpolation, we characterize the minimal interpolating extensions of the languages. For finite-valued logics, we count the number of interpolating extensions by Fibonacci sequences.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Algebraic Completeness Results for Dummett's LC and Its Extensions.J. Michael Dunn & Robert K. Meyer - 1971 - Mathematical Logic Quarterly 17 (1):225-230.
    Download  
     
    Export citation  
     
    Bookmark   17 citations