THE DEGREE OF COMPLETENESS OF THE m-VALUED LUKASIEWICZ PROPOSITIONAL CALCULUS CORRECTION AND ADDENDUM

Abstract

P,,...,PnVQ. If, for this formalisation, the value of n is bounded above and the greatest possible value of n is a then the formalisation is saidf to have degree of completeness a+1. Let us denote by C(m) the degree of completeness of a formalisation of the w-valued Lukasiewicz propositional calculus of the type considered in the previous paper with the… (More)

Topics

  • Presentations referencing similar topics