Abstract
In this paper we present a new set of axioms of an algebaric nature, for the many-valued logic of Lukasiewicz. These axioms are similar to those given by J.Hsiang for the Boolean Algebra. The equivalence of our set of axioms with those given by Lukasiewicz himself is proved mechanically, by resorting to the Automatic UKB-based Equational Theorem Prover SBR3. These new axioms may be helpful for further equational reasoning in such logics, or for interpreting the ‘equality symbol’ of linear logic. This paper is organized as follows. Section 1 presents briefly the many-valued logic. Section 2 indicates the proof-steps leading to our new set of axioms. Section 3 presents the equational prover SBR3.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
