Valid Arguments and Heyting Algebra using Multi Valued Logic
R. Malathi1, T. Venugopal2
1R.Malathi*, Dept.of Mathematics, Sri Chandra Sekharendra Saraswathi Viswa Maha Vidyalaya, Kanchipuram, India.
2T.Venugopal, Dept.of Mathematics, Sri Chandra Sekharendra Saraswathi Viswa Maha Vidyalaya, Kanchipuram, India.
Manuscript received on January 02, 2019. | Revised Manuscript received on January 03, 2019. | Manuscript published on January 15, 2019. | PP: 103-108 | Volume-4 Issue-5, January 2020 | Retrieval Number: E0538014520/2020©BEIESP | DOI: 10.35940/ijmh.E0538.014520
Open Access | Ethics and Policies | Cite
© The Authors. Published By: Blue Eyes Intelligence Engineering and Sciences Publication (BEIESP). This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)
Abstract: Over last three decades, multi valued logic (MVL) has been receiving considerable attention. So, we focus our concentration upon multi valued logic using some of the rules of mathematical logic, which can be used in developing artificial intelligence. Since Aristotle’s logic there were only two propositions. Later it was extended to n-valued logical proposition which is greater than 2, that is popularly known as multi valued logic proposition – they are true, false and unknowns. In this paper we will discuss about multi valued logic with 27- possible using Jaina logic and some of the rules as it gives the best results. In Jaina Logic, indeterminant means something which cannot describe more than one aspect at a time. So, we are going to consider each aspect separately and assign True or False. Then according to the given condition we can either apply min or max condition to get a precise solution.
Keywords: Abducible Predicates, Jaina Logic, Mathematical Logic, Truth Table, Multi-Valued Logic, Primitives.