Finite Basis Theorem for Filter-distributive Protoalgebraic Deductive Systems and Strict Universal Horn Classes

Author: Paasiska K.

Source: Studia Logica, Volume 74, Numbers 1-2, June 2003 , pp. 233-273(41)

Publisher: Springer

Abstract:

We show that a finitely generated protoalgebraic strict universal Horn class that is filter-distributive is finitely based. Equivalently, every protoalgebraic and filter-distributive multidimensional deductive system determined by a finite set of finite matrices can be presented by finitely many axioms and rules.

Keywords: $$\overrightarrow k$$-deductive system; protoalgebraic; finite basis

Language: English

Document Type: Research article

Affiliations: 1: Mathematics Department, Kraków University of Technology, Ul. Warszawska 24, Kraków, Poland, kpalasin@usk.pk.edu.pl

Publication date: 2003-06-01

• In this: publication
• By this: publisher
• In this Subject: Philosophy
• By this author: Paasiska K.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers