Synthetic tableaux for Lukasiewicz’s calculus L3

Mariusz Urbanski

Abstract


In this paper synthetic tableaux for Lukasiewicz’s calculus L3 are presented in detail. Basic properties of synthetic tableaux are described as well as a systematic procedure for constructing a tableau for any given formula of L3.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.