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

  • Authors:

  • Joohee Jeong

  • Affiliations:

  • Department of Mathematics Education, Kyungpook National University, Puk-gu Sankyuk-dong 1370, Daegu 702-701, Korea

  • Venue:
  • Journal of Applied Mathematics and Computing
  • Year:
  • 1986

Quantified Score

Hi-index 0.00

Visualization

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.