This paper introduces a method for propositional logic calculation.
An important way for solving intelligent planning problem is translating it into propositional logic to solve.
Stoicism denies anything immaterial and tries to explain the world through propositional logic.
This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical propositional logic.
In the knowledge implication propositional logic system which build on this strategy, 1.
This dissertation begins with the research of similarity degree, then pseudo-metric and approximate reasoning in propositional logic system are studied.
