Part 2. Special Issues in Intellectual Systems Theory

On the finite representation of logical systems

G. V. Bokov


Abstract: In this paper, we consider a problem of finite representation for logical systems. We research three types of logical systems: linear, monotone and implicational. For each type of logical systems we prove sufficient conditions of finite representation. Moreover, we prove a criterion for logical system of classical tautologies to be finitely generated.

Keywords: logical systems, propositional calculus, finite representation, inference rules.