Switch to: Citations

Add references

You must login to add references.
  1. A constructive proof of McNaughton's theorem in infinite-valued logic.Daniele Mundici - 1994 - Journal of Symbolic Logic 59 (2):596-602.
    We give a constructive proof of McNaughton's theorem stating that every piecewise linear function with integral coefficients is representable by some sentence in the infinite-valued calculus of Lukasiewicz. For the proof we only use Minkowski's convex body theorem and the rudiments of piecewise linear topology.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • A geometric proof of the completeness of the łukasiewicz calculus.Giovanni Panti - 1995 - Journal of Symbolic Logic 60 (2):563-578.
    We give a self-contained geometric proof of the completeness theorem for the infinite-valued sentential calculus of Łukasiewicz.
    Download  
     
    Export citation  
     
    Bookmark   10 citations