General logic-systems and finite consequence operators
type: Item
instance of: scholarly article
title: General logic-systems and finite consequence operators
zbMATH Open document ID: 1163.03012
author: Robert A. Herrmann
published in: Logica Universalis
publication date: 2007-04-10T00:00:00Z
review text: A nonempty language \(L\) is non-organized if all other properties that can be defined for \(L\) are ignored when a consequence operator property is determined. The author discusses the significance of using the general logic-system concept and finite consequence operators defined on non-organized languages. It is analyzed how properties of finite consequence operators are independent from language organization and how, in some particular cases, they depend only upon one simple language characteristic. It is shown that there are infinitely many finite consequence operators defined on any non-organized infinite language that cannot be generated from any finite logic-system.
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03B65
zbMATH DE Number: 5141203
zbMATH Keywords: logic-system
zbMATH Keywords: rules of inference
zbMATH Keywords: consequence operator
reviewed by: Branislav Boričić
MaRDI profile type: Publication
full work available at URL: s11787-006-0010-7
OpenAlex ID: W2052908083
DOI: 10.1007/S11787-006-0010-7
description: scientific article; zbMATH DE number 5141203