Bulletin of the Section of Logic 8 (2):99-111 (1979)

This paper, which in its subject matter goes back to works on strongly nite logics , is concerned with the following problems: Let Cn1; Cn2 be two strongly nite logics over the same propositional language. Is the supremum of Cn1 and Cn2 also a strongly nite operation? Is any nite matrix axiomatizable by a nite set of standard rules? The rst question can be found in [9] . The second conjec- ture was formulated by Wolfgang Rautenberg, but investigations into this problem had been carried out earlier in works of many logicians . Moreover, Stephen Bloom [1] posed a conjecture stronger than that: the consequence de- termined by a nite matrix is nitely based, i.e. it is the consequence generated by a nite set of standard rules. This hypothesis was, however, disproved by Andrzej Wronski [10] . In the present paper it is shown that neither nor holds true. The negative answer to can be viewed as a generalization of the result given by Andrzej Wronski [10]
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,379
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

On Finitely Based Consequence Operations.Andrzej Wronski - 1976 - Bulletin of the Section of Logic 5 (3):106-111.

Add more references

Citations of this work BETA

2-Element Matrices.Wolfgang Rautenberg - 1981 - Studia Logica 40 (4):315 - 353.

Add more citations

Similar books and articles

Some Normal Extensions of K4.3.Ming Xu - 2013 - Studia Logica 101 (3):583-599.
Prefinitely Axiomatizable Modal and Intermediate Logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
Remark on a Finite Axiomatization of Finite Intermediate Propositional Logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.
Hereditary Undecidability of Some Theories of Finite Structures.Ross Willard - 1994 - Journal of Symbolic Logic 59 (4):1254-1262.
Finite Models of Some Substructural Logics.Wojciech Buszkowski - 2002 - Mathematical Logic Quarterly 48 (1):63-72.


Added to PP index

Total views
24 ( #476,048 of 2,519,663 )

Recent downloads (6 months)
1 ( #406,756 of 2,519,663 )

How can I increase my downloads?


My notes