Complete Additivity and Modal Incompleteness

In this paper, we tell a story about incompleteness in modal logic. The story weaves together a paper of van Benthem, `Syntactic aspects of modal incompleteness theorems,' and a longstanding open question: whether every normal modal logic can be characterized by a class of completely additive modal algebras, or as we call them, V-BAOs. Using a first-order reformulation of the property of complete additivity, we prove that the modal logic that starred in van Benthem's paper resolves the open question in the negative. In addition, for the case of bimodal logic, we show that there is a naturally occurring logic that is incomplete with respect to V-BAOs, namely the provability logic GLB. We also show that even logics that are unsound with respect to such algebras do not have to be more complex than the classical propositional calculus. On the other hand, we observe that it is undecidable whether a syntactically defined logic is V-complete. After these results, we generalize the Blok Dichotomy to degrees of V-incompleteness. In the end, we return to van Benthem's theme of syntactic aspects of modal incompleteness

Structural completeness in relevance logics

It is proved that the relevance logic R (without sentential constants) has no structurally complete consistent axiomatic extension, except for classical propositional logic. In fact, no other such extension is even passively structurally complete.http://link.springer.com/journal/112252017-06-30hb201

Behavioral institutions and refinements in generalized hidden logics

We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract algebraic logic theory of hidden heterogeneous deductive systems (called hidden k-logics) to the algebraic specification of object oriented programs. This is achieved through the Leibniz congruence relation and its combinatorial properties. We reformulate the notion of hidden k-logic as well as the behavioral logic of a hidden k-logic as institutions. We define refinements as hidden signature morphisms having the extra property of preserving logical consequence. A stricter class of refinements, the ones that preserve behavioral consequence, is studied. We establish sufficient conditions for an ordinary signature morphism to be a behavioral refinement. © J.UCS.FCT via UIM

Epimorphism surjectivity in varieties of Heyting algebras

It was shown recently that epimorphisms need not be surjective in a variety K of Heyting algebras, but only one counter-example was exhibited in the literature until now. Here, a continuum of such examples is identified, viz. the variety generated by the Rieger-Nishimura lattice, and all of its (locally finite) subvarieties that contain the original counter-example K. It is known that, whenever a variety of Heyting algebras has finite depth, then it has surjective epimorphisms. In contrast, we show that for every integer n greater or equal than 2, the variety of all Heyting algebras of width at most n has a non-surjective epimorphism. Within the so-called Kuznetsov-Gerciu variety (i.e., the variety generated by finite linear sums of one-generated Heyting algebras), we describe exactly the subvarieties that have surjective epimorphisms. This yields new positive examples, and an alternative proof of epimorphism surjectivity for all varieties of Goedel algebras. The results settle natural questions about Beth-style definability for a range of intermediate logics

Epimorphisms, definability and cardinalities

We characterize, in syntactic terms, the ranges of epimorphisms in an arbitrary class of similar first-order structures (as opposed to an elementary class). This allows us to strengthen a result of Bacsich, as follows: in any prevariety having at most s non-logical symbols and an axiomatization requiring at most m variables, if the epimorphisms into structures with at most m+s+ℵ0 elements are surjective, then so are all of the epimorphisms. Using these facts, we formulate and prove manageable ‘bridge theorems’, matching the surjectivity of all epimorphisms in the algebraic counterpart of a logic ⊢ with suitable infinitary definability properties of ⊢, while not making the standard but awkward assumption that ⊢ comes furnished with a proper class of variables.The European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie Grant Agreement No. 689176 (project “Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics”). The first author was also supported by the Project GA17-04630S of the Czech Science Foundation (GAČR). The second author was supported in part by the National Research Foundation of South Africa (UID 85407). The third author was supported by the DST-NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE-MaSS), South Africa.http://link.springer.com/journal/112252020-02-07hj2019Mathematics and Applied Mathematic

Inconsistency lemmas in algebraic logic

In this paper, the inconsistency lemmas of intuitionistic and classical propositional logic are formulated abstractly. We prove that, when a (finitary) deductive system is algebraized by a variety K, then has an inconsistency lemma—in the abstract sense—iff every algebra in K has a dually pseudo-complemented join semilattice of compact congruences. In this case, the following are shown to be equivalent: (1) has a classical inconsistency lemma; (2) has a greatest compact theory and K is filtral, i.e., semisimple with EDPC; (3) the compact congruences of any algebra in K form a Boolean lattice; (4) the compact congruences of any A ∈ K constitute a Boolean sublattice of the full congruence lattice of A. These results extend to quasivarieties and relative congruences. Except for (2), they extend even to protoalgebraic logics, with deductive filters in the role of congruences. A protoalgebraic system with a classical inconsistency lemma always has a deduction-detachment theorem (DDT), while a system with a DDT and a greatest compact theory has an inconsistency lemma. The converses are false.http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1521-3870hb201

Relative congruence formulas and decompositions in quasivarieties

Quasivarietal analogues of uniform congruence schemes are discussed, and their relationship with the equational definability of principal relative congruences (EDPRC) is established, along with their significance for relative congruences on subalgebras of products. Generalizing the situation in varieties, we prove that a quasivariety is relatively ideal iff it has EDPRC; it is relatively filtral iff it is relatively semisimple with EDPRC. As an application, it is shown that a finitary sentential logic, algebraized by a quasivariety K, has a classical inconsistency lemma if and only if K is relatively filtral and the subalgebras of its nontrivial members are nontrivial. A concrete instance of this result is exhibited, in which K is not a variety. Finally, for quasivarieties M⊆K, we supply some conditions under which M is the restriction to K of a variety, assuming that K has EDPRC.The second author was supported in part by the National Research Foundation of South Africa (UID 85407).https://link.springer.com/journal/122482018-11-27hj2017Mathematics and Applied Mathematic

On Semilattice-based Logics with an Algebraizable Assertional Companion

This paper studies some properties of the so-called semilattice-based logics (which are defined in a standard way using only the order relation from a variety of algebras that have a semilattice reduct with maximum) under the assumption that its companion assertional logic (defined from the same variety of algebras using the top element as representing truth) is algebraizable. This describes a very common situation, and the conclusion of the paper is that these semilattice-based logics exhibit some of the good behaviour of protoalgebraic logics, without being necessarily so. The main result is that all these logics have enough Leibniz filters, a fact previously known in the literature to occur only for protoalgebraic logics. Another significant result is that the two companion logics coincide if and only if one of them enjoys the characteristic property of the other, that is, if and only if the semilattice-based logic is algebraizable, and if and only if its assertional companion is selfextensional. When these conditions are met, then the (unique) logic is finitely, regularly and strongly algebraizable and fully Fregean; this places it at some of the highest ranks in both the Leibniz hierarchy and the Frege hierarchy