• Title/Summary/Keyword: if-then-else equational logic

Search Result 1, Processing Time 0.013 seconds

REDUCTION OF HILBERT-TYPE PROOF SYSTEMS TO THE IF-THEN-ELSE EQUATIONAL LOGIC

  • Jeong, Joo-Hee
    • Journal of applied mathematics & informatics
    • /
    • v.14 no.1_2
    • /
    • pp.69-80
    • /
    • 2004

  • 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.