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