Switch to: Citations

Add references

You must login to add references.
  1. Rational Pavelka predicate logic is a conservative extension of łukasiewicz predicate logic.Petr Hajek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (2):669-682.
    Rational Pavelka logic extends Lukasiewicz infinitely valued logic by adding truth constants r̄ for rationals in [0, 1]. We show that this is a conservative extension. We note that this shows that provability degree can be defined in Lukasiewicz logic. We also give a counterexample to a soundness theorem of Belluce and Chang published in 1963.
    Download  
     
    Export citation  
     
    Bookmark   13 citations