Browsing Bulletin of the Section of Logic 45/2 (2016) by Title
Now showing items 15 of 5

A 2setup RoutleyMeyer Semantics for the 4valued Relevant Logic E4
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)The logic BN4 can be considered as the 4valued logic of the relevant conditional and the logic E4, as the 4valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2setup RoutleyMeyer semantics. ... 
Axiomatization of a Basic Logic of Logical Bilattices
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)A sequential axiomatization is given for the 16valued logic that has been proposed by ShramkoWansing (J Philos Logic 34:121–153, 2005) as a candidate for the basic logic of logical bilattices. 
Categorical Abstract Logic: Hidden MultiSorted Logics as MultiTerm Institutions
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)Babenyshev and Martins proved that two hidden multisorted deductive systems are deductively equivalent if and only if there exists an isomorphism between their corresponding lattices of theories that commutes with ... 
Quasiorders, Tolerance Relations and Corresponding “Partitions”
(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 ... 
Simple Decision Procedure for S5 in Standard CutFree Sequent Calculus
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)In the paper a decision procedure for S5 is presented which uses a cutfree sequent calculus with additional rules allowing a reduction to normal modal forms. It utilizes the fact that in S5 every formula is equivalent to ...