Bulletin of the Section of Logic 46/12 (2017)
Browse by
SPIS TREŚCI
1. Professor Grzegorz Malinowski in HonoremANDRZEJ INDRZEJCZAK, JANUSZ CIUCIURA
2. Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist)
RYSZARD WÓJCICKI
3. Universality of Logic
JAN WOLEŃSKI
4. FourValued Logics BD and DM4: Expansions
ALEXANDER S. KARPENKO
5. The InfiniteValued Łukasiewicz Logic and Probability
JANUSZ CZELAKOWSKI
6. From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
JAN VON PLATO
7. Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
WOJCIECH BUSZKOWSKI
8. Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
NOBUYUKI SUZUKI
9. On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1
ANDRZEJ PIETRUSZCZAK
10. Cut Elimination Theorem for NonCommutative Hypersequent Calculus
ANDRZEJ INDRZEJCZAK
Recent Submissions

Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)In [5] we study Nonassociative Lambek Calculus (NL) augmented with De Morgan negation, satisfying the double negation and contraposition laws. This logic, introduced by de Grooté and Lamarche [10], is called Classical ... 
Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)We discuss relationships among the existence property, the disjunction property, and their weak variants in the setting of intermediate predicate logics. We deal with the weak and sentential existence properties, and the ... 
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 ... 
From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)The way from linearly written derivations in natural deduction, introduced by Jaskowski and often used in textbooks, is a straightforward rootfirst translation. The other direction, instead, is tricky, because of the ... 
Universality of Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)This paper deals with the problem of universality property of logic. At first, this property is analyzed in the context of firstorder logic. Three senses of the universality property are distinguished: universal applicability, ... 
The InfiniteValued Łukasiewicz Logic and Probability
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)The paper concerns the algebraic structure of the set of cumulative distribution functions as well as the relationship between the resulting algebra and the infinitevalued Łukasiewicz algebra. The paper also discusses ... 
FourValued Logics BD and DM4: Expansions
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)The paper discusses functional properties of some fourvalued logics which are the expansions of fourvalued Belnap’s logic DM4. At first, we consider the logics with two designated values, and then logics defined by ... 
Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist)
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)In this note I am reflecting on interrelations between three concepts of truth: (1) that employed by Hilbert arguing his formalist view on the nature of mathematics, (2) Freges idea of truth supported by mathematical ... 
Cut Elimination Theorem for NonCommutative Hypersequent Calculus
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)Hypersequent calculi (HC) can formalize various nonclassical logics. In [9] we presented a noncommutative variant of HC for the weakest temporal logic of linear frames Kt4.3 and some its extensions for dense and serial ... 
Professor Grzegorz Malinowski in Honorem
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)