The Extension of Hypothesis in Propositional Logic
The belief non-revision method can achieve a consistent hypothesis extension by limiting the process of reasoning. In propositional logic, several valuable properties of the hypothesis extension have been proved. The hypothesis extension is an infinite set. It includes some clauses. For improving th...
Main Authors: | Guo Qian, Deng An-Sheng |
---|---|
Format: | Article |
Language: | English |
Published: |
EDP Sciences
2016-01-01
|
Series: | ITM Web of Conferences |
Online Access: | http://dx.doi.org/10.1051/itmconf/20160706001 |
Similar Items
-
The Logic of 'If-Then' Propositions
by: John Hoaglund
Published: (1986-01-01) -
The Axiomatization of Propositional Logic
by: Giero Mariusz
Published: (2016-12-01) -
Elementary propositional logic
by: Duthie, G. D.
Published: (1956) -
Intermediate propositional logics
by: McKay, C. G.
Published: (1969) -
Proposition and Contradiction: The Definition of Proposition in Aristotle's Logical Works
by: Seyyed Ammar Kalantar, et al.
Published: (2016-12-01)