Recent Submissions

  • Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus 

    Indrzejczak, Andrzej ORCID (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
    In the paper a decision procedure for S5 is presented which uses a cut-free sequent calculus with additional rules allowing a reduction to normal modal forms. It utilizes the fact that in S5 every formula is equivalent to ...
  • 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 ...
  • 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. ...
  • 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.
  • Quasiorders, Tolerance Relations and Corresponding “Partitions” 

    Nowak, Marek ORCID (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
    The paper deals with a generalization of the notion of partition for wider classes of binary relations than equivalences: for quasiorders and tolerance relations. The counterpart of partition for the quasiorders is based ...