Przeglądaj Bulletin of the Section of Logic według tytułu
Wyświetlanie pozycji 116-135 z 189
-
Omitting Types in Fragments and Extensions of First Order Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2021-05-28)Fix \(2 < n < \omega\). Let \(L_n\) denote first order logic restricted to the first n variables. Using the machinery of algebraic logic, positive and negative results on omitting types are obtained for \(L_n\) and for ... -
On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
(Wydawnictwo Uniwersytetu Łódzkiego, 2021-07-21)Fix a finite ordinal \(n\geq 3\) and let \(\alpha\) be an arbitrary ordinal. Let \(\mathsf{CA}_n\) denote the class of cylindric algebras of dimension \(n\) and \(\sf RA\) denote the class of relation algebras. Let ... -
On Direct Limit Closed Classes of Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)Axiomatic classes of algebras of a given type which are closed with respect to direct limits are studied in this paper. -
On GE-algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-08-30)Hilbert algebras are important tools for certain investigations in intuitionistic logic and other non-classical logic and as a generalization of Hilbert algebra a new algebraic structure, called a GE-algebra (generalized ... -
On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames. -
On Homomorphism and Cartesian Products of Intuitionistic Fuzzy PMS-subalgebra of a PMS-algebra
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-04-21)In this paper, we introduce the notion of intuitionistic fuzzy PMS-subalgebras under homomorphism and Cartesian product and investigate several properties. We study the homomorphic image and inverse image of the intuitionistic ... -
On Implicative and Positive Implicative GE Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-09-25)GE algebras (generalized exchange algebras), transitive GE algebras (tGE algebras, for short) and aGE algebras (that is, GE algebrasverifying the antisymmetry) are a generalization of Hilbert algebras. Here some properties ... -
On Injective MV-Modules
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)In this paper, by considering the notion of MV-module, which is the structure that naturally correspond to lu-modules over lu-rings, we study injective MV-modules and we investigate some conditions for constructing injective ... -
On interpolation in next (kb.alt(2))
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation. -
On Paracomplete Versions of Jaśkowski's Discussive Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-01-04)Jaśkowski's discussive (discursive) logic D2 is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the ... -
On Some Applied First-Order Theories which Can Be Represented by Definitions
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)In the paper we formulate a sufficient criterion in order for the first order theory with finite set of axioms to be represented by definitions in predicate calculus. We prove the corresponding theorem. According to this ... -
On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus \(\mathtt{SC2Int}\) for the bi-intuitionistic logic \(\mathtt{2Int}\). A ... -
On the Category of EQ-algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2021-01-20)In this paper, we studied the category of EQ-algebras and showed that it is complete, but it is not cocomplete, in general. We proved that multiplicatively relative EQ-algebras have coequlizers and we calculated coproduct ... -
On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)We formulate a certain subtheory of Ishimoto’s [1] quantifier-free fragment of Leśniewski’s ontology, and show that Ishimoto’s theory can be reconstructed in it. Using an epimorphism theorem we prove that our theory is ... -
On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)This is the first, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics canbe divided into certain groups. Each such group depends only ... -
On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)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 ... -
One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-13)Bilinear Logic of Lambek amounts to Noncommutative MALL of Abrusci. Lambek proves the cut–elimination theorem for a one-sided (in fact, left-sided) sequent system for this logic. Here we prove an analogous result for the ... -
A Paradox for the Existence Predicate
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-10)In this paper, a paradox is shown to arise in the context of classical logic from prima facie highly plausible assumptions for the existence predicate as applied to definite descriptions. There are several possibilities ... -
PC-lattices: A Class of Bounded BCK-algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)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 ... -
The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. ...