Switch to: Citations

References in:

Hypersequents and the proof theory of intuitionistic fuzzy logic

In Clote Peter G. & Schwichtenberg Helmut (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Springer. pp. 187– 201 (2000)

Add references

You must login to add references.
  1. Logic with truth values in a linearly ordered Heyting algebra.Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):395-408.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
    Download  
     
    Export citation  
     
    Bookmark   110 citations  
  • Completeness theorem for Dummett's LC quantified and some of its extensions.Giovanna Corsi - 1992 - Studia Logica 51 (2):317 - 335.
    Dummett's logic LC quantified, Q-LC, is shown to be characterized by the extended frame Q+, ,D, where Q+ is the set of non-negative rational numbers, is the numerical relation less or equal then and D is the domain function such that for all v, w Q+, Dv and if v w, then D v . D v D w . Moreover, simple completeness proofs of extensions of Q-LC are given.
    Download  
     
    Export citation  
     
    Bookmark   15 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  
  • Decidability of some intuitionistic predicate theories.Dov M. Gabbay - 1972 - Journal of Symbolic Logic 37 (3):579-587.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)A Cut‐Free Calculus For Dummett's LC Quantified.Giovanna Corsi - 1989 - Mathematical Logic Quarterly 35 (4):289-301.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • (1 other version)A Cut-Free Calculus For Dummett's LC Quantified.Giovanna Corsi - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):289-301.
    Download  
     
    Export citation  
     
    Bookmark   7 citations