Year: 1967
Type: article
Abstract: It was asked in [1] whether K4 contained K5.We show that it does, and give a decision procedure for the system, which has the third degree of completeness.To this end we establish a system SR which turns out to be an alternative version of K4.As a basis we take propositional calculus, PC, with substitution and C-detachment, and the axioms:
Author: Ivo Thomas
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W1993012292