Reduction of Hilbert-type proof systems to the if-then-else equational logic

Content Provider	Semantic Scholar
Author	Jeong, Joohee
Copyright Year	1986
Abstract	We present a construction of the linear reduction of Hilbert type proof systems for propositional logic to if-then-else equational logic. This construction is an improvement over the same result found in [4] in the sense that the technique used in the construction can be extended to the linear reduction of first-order logic to if-then-else equational logic.
Starting Page	69
Ending Page	80
Page Count	12
File Format	PDF HTM / HTML
DOI	10.1007/BF02936099
Volume Number	14
Alternate Webpage(s)	http://www.mathnet.or.kr/mathnet/kms_tex/982232.pdf
Alternate Webpage(s)	https://doi.org/10.1007/BF02936099
Language	English
Access Restriction	Open
Content Type	Text
Resource Type	Article