First Order Logic in Semantic Tableau and VAMPIRE
Journal Title: International Journal of Engineering Sciences & Research Technology - Year 30, Vol 3, Issue 9
Abstract
Semantic tableau is a proof system used to prove the validity of a formula using Prolog, it can also be used to prove if a formula is a logic consequence of a set of formulas. Semantic tableau is used in both propositional and predicate logic. Tableau is a disjunction normal form. VAMPIRE is a high-performance theorem prover for first-order logic with or without equality. In this paper, a modified version of semantic tableau is presented, experimental results proved the validity of modified tableau. Also, it is shown how Tableau proof system and VAMPIRE can be used in predicate logic.
Authors and Affiliations
Mahmoud
Keywords
Related Articles
- EP ID EP100722
- DOI -
- Views 104
- Downloads 0
AN APPROACH TO GENERATE TEST CASES AUTOMATICALLY USING GENETIC ALGORITHM
Software testing is a very crucial part among all phases of software life cycle model in software engineering, which leads to better software quality and reliability. The main issue of software testing is the incomplete...
Isolation, Identification and Characterization of Thermo-tolerant Bacteria from Hot- Spring that can degrade Halogenated Compounds
To investigate the microbial community in the hot spring of Krabi, Thailand and if they can degrade some halogenated compounds. A thermophilic bacterium (YKH) was isolated from the Krabi hot spring in Thailand. The isol...
INVESTIGATE THE MANIPULATION OF KINEMATICS ON TENNIS SERVE PERFORMANCE
The study aimed to explore the effect of elite tennis player body kinematics during preparatory, force generation and follow through phase ( between first serve and second serve) at three different time period...
PREPARATION AND CHARACTERIZATION OF BIOMASS-BASED EPOXY ADHESIVES WITH SILANE-TREATED SILICAS
In this work, we prepared biomass-based epoxy adhesives with silane-treated silicas. The effect of three types of silane-treated silicas on adhesive characterization of epoxidized soybean oil (ESO)/epoxy adhesives...
THERMAL ANALYSIS OF EPOXY BASED BIO-COMPOSITES REINFORCED WITH JUTE PREFORMS
Jute is an important natural fibre occupying second place in economic importance only to cotton. More importantly it is a commodity on which many households in the country depend for their cash earnings. However,...