Now showing items 1-20 of 67

    • A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4 

      Robles, Gemma; López, Sandra M.; Blanco, José M.; Recio, Marcos M.; Paradela, Jesús R. (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. ...
    • A Note on some Characterization of Distributive Lattices of Finite Length 

      Łazarz, Marcin; Siemieńczuk, Krzysztof (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
      Using known facts we give a simple characterization of the distributivity of lattices of finite length.
    • A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics 

      Gao, Feng; Tourlakis, George (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
      A well established technique toward developing the proof theory of a Hilbert-style modal logic is to introduce a Gentzen-style equivalent (a Gentzenisation), then develop the proof theory of the latter, and finally transfer ...
    • Algebraic Characterization of the Local Craig Interpolation Property 

      Gyenis, Zalán (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      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. ...
    • An Alternative Natural Deduction for the Intuitionistic Propositional Logic 

      Ilić, Mirjana (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via ...
    • An Elementary Proof of Strong Normalization for Atomic F 

      Ferreira, Fernando; Ferreira, Gilda (Uniwersytet Łódzki. Katedra Logiki i Metodologii Nauk, 2016)
      We give an elementary proof (in the sense that it is formalizable in Peano arithmetic) of the strong normalization of the atomic polymorphic calculus F_{at} (a predicative restriction of Girard’s system F).
    • An Observation Concerning Porte’s Rule in Modal Logic 

      French, Rohan; Humberstone, Lloyd (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
      It is well known that no consistent normal modal logic contains (as theorems) both ◊A and ◊¬A (for any formula A). Here we observe that this claim can be strengthened to the following: for any formula A, either no consistent ...
    • Applications of Algebra in Logic and Computer Science – the Past and the Future 

      Grygiel, Joanna (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      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.
    • Axiomatization of a Basic Logic of Logical Bilattices 

      Takano, Mitio (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      A sequential axiomatization is given for the 16-valued logic that has been proposed by Shramko-Wansing (J Philos Logic 34:121–153, 2005) as a candidate for the basic logic of logical bilattices.
    • B-almost distributive fuzzy lattice 

      Assaye, Berhanu; Alemneh, Mihret; Tefera, Gerima (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      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 ...
    • Bayesian Propositional Logic 

      Jarmużek, Tomasz; Klonowski, Mateusz; Malinowski, Jacek (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
      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 ...
    • Categorical Abstract Algebraic Logic: Referential π-Institutions 

      Voutsadakis, George (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
      Wójcicki introduced in the late 1970s the concept of a referential semantics for propositional logics. Referential semantics incorporate features of the Kripke possible world semantics for modal logics into the realm of ...
    • Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics 

      Voutsadakis, George (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      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 ...
    • Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term Institutions 

      Voutsadakis, George (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      Babenyshev and Martins proved that two hidden multi-sorted deductive systems are deductively equivalent if and only if there exists an isomorphism between their corresponding lattices of theories that commutes with ...
    • Characterization of Birkhoff’s Conditions by Means of Cover-Preserving and Partially Cover-Preserving Sublattices 

      Łazarz, Marcin (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      In the paper we investigate Birkhoff’s conditions (Bi) and (Bi*). We prove that a discrete lattice L satisfies the condition (Bi) (the condition (Bi*)) if and only if L is a 4-cell lattice not containing a cover-preserving ...
    • Closure Operators on Complete Almost Distributive Lattices-III 

      Rao, Calyampudi Radhakrishna; Undurthi, Venugopalam (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
      In this paper, we prove that the lattice of all closure operators of a complete Almost Distributive Lattice L with fixed maximal element m is dual atomistic. We define the concept of a completely meet-irreducible element ...
    • Commutative Energetic Subsets of BCK-Algebras 

      Jun, Young Bae; Roh, Eun Hwan; Song, Seok Zun (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      The notions of a C-energetic subset and (anti) permeable C-value in BCK-algebras are introduced, and related properties are investigated. Conditions for an element t in [0, 1] to be an (anti) permeable C-value are provided. ...
    • A comparison of two systems of point-free topology 

      Gruszczyński, Rafał; Pietruszczak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      This is a spin-off paper to [3, 4] in which we carried out an extensive analysis of Andrzej Grzegorczyk’s point-free topology from [5]. In [1] Loredana Biacino and Giangiacomo Gerla presented an axiomatization which was ...
    • Cut Elimination Theorem for Non-Commutative Hypersequent Calculus 

      Indrzejczak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
      Hypersequent calculi (HC) can formalize various non-classical logics. In [9] we presented a non-commutative variant of HC for the weakest temporal logic of linear frames Kt4.3 and some its extensions for dense and serial ...
    • Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and Anti-Uniform Parts 

      Staruch, Bogdan; Staruch, Bożena (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      We describe here a special subdirect decomposition of algebras with modular congruence lattice. Such a decomposition (called a star-decomposition) is based on the properties of the congruence lattices of algebras. We ...