Abstract

AbstractIn the first chapter we have introduced syntactic notions concerning propositional logics. The purpose of the present chapter is to give a semantic approach to the further study of formal systems. This approach is algebraic in its nature and therefore we will use elementary notions and results of the theory of abstract algebra. Our discussion is based on the notion of the consequence operation generated by a given relational system. (Pre)ordered algebras are examined first and next we consider logical matrices. Then these structures are applied to define propositional logics. In Section 2.5 some relationships between propositional logics and lattice theory are presented.

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 call

Disclaimer: 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.