Bulletin of the Section of Logic 45/2 (2016)
Browse by
TABLE OF CONTENTS

Quasiorders, Tolerance Relations and Corresponding “Partitions”
Marek Nowak

Axiomatization of a Basic Logic of Logical Bilattices
Mitio Takano

A 2setup RoutleyMeyer Semantics for the 4valued Relevant Logic E4
Gemma Robles, Sandra M. López, José M. Blanco, Marcos M. Recio, Jesús R. Paradela

Categorical Abstract Logic: Hidden MultiSorted Logics as MultiTerm Institutions
George Voutsadakis

Simple Decision Procedure for S5 in Standard CutFree Sequent Calculus
Andrzej Indrzejczak
Recent Submissions

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 ... 
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 ... 
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. 
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 ...