Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
type: Item
instance of: scholarly article
title: Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
zbMATH Open document ID: 1051.03013
DOI: 10.1023/A:1024630124326
author: Katarzyna Pałasińska
published in: Studia Logica
publication date: 2004-02-15T00:00:00Z
review text: In the paper the following two main theorems are proved: (1) A finitely generated protoalgebraic strict universal Horn class that is filter-distributive is finitely based. (2) Every finitely generated axiomatic subclass of a filter-distributive, protoalgebraic strict universal Horn class is finitely based. The author gives three equivalent forms of these theorems, namely in terms of strict universal Horn classes, in terms of matrix-quasivarieties and in terms of \(\vec{k}\)-deductive systems. These theorems do not apply to sequent calculi. Also presented are many other related results, showing the new ones in a wider context. Thus the paper can be considered as a review of the results concerning filter-distributive protoalgebraic deductive systems and strict universal Horn classes.
reviewed by: Mirosława Kołowska-Gawiejnowicz
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03G99
zbMATH DE Number: 2042714
zbMATH Keywords: \(\vec{k}\)-deductive system
zbMATH Keywords: protoalgebraic deductive system
zbMATH Keywords: finite basis
zbMATH Keywords: universal Horn class
MaRDI profile type: MaRDI publication profile
full work available at URL: a:1024630124326
OpenAlex ID: W1493313128
Recommended article: Protoalgebraic logics
Recommended article: Q4011710
Recommended article: Matrices, primitive satisfaction and finitely based logics
Recommended article: Q4029628
description: scientific article; zbMATH DE number 2042714