General logic-systems and finite consequence operators (Q874755)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5141203
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | General logic-systems and finite consequence operators |
scientific article; zbMATH DE number 5141203 |
Statements
General logic-systems and finite consequence operators (English)
0 references
10 April 2007
0 references
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.
0 references
logic-system
0 references
rules of inference
0 references
consequence operator
0 references
0.686359703540802
0 references
0.686359703540802
0 references
0.6719715595245361
0 references
0.6719715595245361
0 references
