Citations of:
Implicational logics III: completeness properties
Archive for Mathematical Logic 57 (3-4):391-420 (2018)
Add citations
You must login to add citations.
|
|
This paper continues the investigation, started in Lávička and Noguera : 521–551, 2017), of infinitary propositional logics from the perspective of their algebraic completeness and filter extension properties in abstract algebraic logic. If follows from the Lindenbaum Lemma used in standard proofs of algebraic completeness that, in every finitary logic, intersection-prime theories form a basis of the closure system of all theories. In this article we consider the open problem of whether these properties can be transferred to lattices of filters (...) |