Bulletin of the Section of Logic
In [1] J.-Y. Bèziau formulated a logic called Z. Bèziau’s idea was generalized independently in [6] and [7]. A family of logics to which Z belongs is denoted in [7] by K. In particular; it has been shown in [6] and [7] that there is a correspondence between normal modal logics and logics from the class K. Similar; but only partial results has been obtained also for regular logics (see [8] and [9])...
In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic. The aim of this paper is to present a tableau system for Kalinowski’s deontic logic and to discuss some of the topics related to the paradoxes of deontic logic.
This is the second, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics can be divided into certain groups. Each such group depends only on which of the following formulas are theses of all logics from this group: (N), (T), (D), ⌜(T)∨☐q⌝, and for any n > 0 a formula ⌜(T) ∨ (altn)⌝, where (T) has not the atom ‘q’,...
We define and investigate from a logical point of view a family of consequence relations defined in probabilistic terms. We call them relations of supporting, and write: |≈w where w is a probability function on a Boolean language. A |≈w B iff the fact that A is the case does not decrease a probability of being B the case. Finally, we examine the intersection of |≈w , for all w, and give some formal...
Starting from the notions of q-entailment and p-entailment, a two-dimensional notion of entailment is developed with respect to certain generalized q-matrices referred to as B-matrices. After showing that every purely monotonic singleconclusion consequence relation is characterized by a class of B-matrices with respect to q-entailment as well as with respect to p-entailment, it is observed that, as...
In the paper, tracing the traditional Hilbert-style syntactic account of logics, a syntactic characteristic of a closure operation defined on a complete lattice follows. The approach is based on observation that the role of rule of inference for a given consequence operation may be played by an ordinary binary relation on the complete lattice on which the closure operation is defined.
This article is an extended promenade strolling along the winding roads of identity, equality, nameability and completeness, looking for places where they converge. We have distinguished between identity and equality; the first is a binary relation between objects while the second is a symbolic relation between terms. Owing to the central role the notion of identity plays in logic, you can be interested...
The notion of (implicative) int-soft ideal in a pseudo MV -algebra is introduced, and related properties are investigated. Conditions for a soft set to be an int-soft ideal are provided. Characterizations of (implicative) int-soft ideal are considered. The extension property for implicative int-soft ideal is established.
We present the history of the conference Applications of Algebra in Logic and Computer Science, whose twenty-third edition will be held in March, 2019. At the end we outline some plans for the future.
In this paper, we define the notion of PC-lattice, as a generalization of finite positive implicative BCK-algebras with condition (S) and bounded commutative BCK-algebras. We investiate some results for Pc-lattices being a new class of BCK-lattices. Specially, we prove that any Boolean lattice is a PC-lattice and we show that if X is a PC-lattice with condition S, then X is an involutory BCK-algebra...
The sole purpose of this paper is to give an algebraic characterization, in terms of a superamalgamation property, of a local version of Craig interpolation theorem that has been introduced and studied in earlier papers. We continue ongoing research in abstract algebraic logic and use the framework developed by Andréka– Németi and Sain.
The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the axiom 4). This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly,...
We characterize the non-trivial substructural logics having the variable sharing property as well as its strong version. To this end, we find the algebraic counterparts over varieties of these logical properties.
Modal pseudocomplemented De Morgan algebras (or mpM-algebras) were investigated in A. V. Figallo, N. Oliva, A. Ziliani, Modal pseudocomplemented De Morgan algebras, Acta Univ. Palacki. Olomuc., Fac. rer. nat., Mathematica 53, 1 (2014), pp. 65–79, and they constitute a proper subvariety of the variety of pseudocomplemented De Morgan algebras satisfying xΛ(∼x)* = (∼(xΛ(∼x)*))* studied by H. Sankappanavar...
In this paper we study pseudo-BCH algebras which are semilattices or lattices with respect to the natural relations ≤; we call them pseudo-BCH join-semilattices, pseudo-BCH meet-semilattices and pseudo-BCH lattices, respectively. We prove that the class of all pseudo-BCH join-semilattices is a variety and show that it is weakly regular, arithmetical at 1, and congruence distributive. In addition,...
This work adapts techniques and results first developed by Malinowski and by Marek in the context of referential semantics of sentential logics to the context of logics formalized as π-institutions. More precisely, the notion of a pseudoreferential matrix system is introduced and it is shown how this construct generalizes that of a referential matrix system. It is then shown that every π–institution...
We provide simple algebraic proofs of two important facts, due to Zakharyaschev and Esakia, about Grzegorczyk algebras.
The paper introduces the concept of B-Almost distributive fuzzy lattice (BADFL) in terms of its principal ideal fuzzy lattice. Necessary and sufficient conditions for an ADFL to become a B-ADFL are investigated. We also prove the equivalency of B-algebra and B-fuzzy algebra. In addition, we extend PSADL to PSADFL and prove that B-ADFL implies PSADFL.
We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.
This article is a continuation of our promenade along the winding roads of identity, equality, nameability and completeness. We continue looking for a place where all these concepts converge. We assume that identity is a binary relation between objects while equality is a symbolic relation between terms. Identity plays a central role in logic and we have looked at it from two different points of view...