Wyniki
-
Modal interpretation of Heyting-Brouwer logic
Piotr Łukowski
Bulletin of the Section of Logic , 25 /2 (1996) s. 80-83 -
A reductive approach to L-decidability
Piotr Łukowski
Bulletin of the Section of Logic , 28 /3 (1999) s. 171-177 -
Intuitionistic sentential calculus with identity
Piotr Łukowski
Bulletin of the Section of Logic , 19 /3 (1990) s. 92-99 -
Intuitionistic sentential calculus with classical identity
Piotr Łukowski
Bulletin of the Section of Logic , 19 /4 (1990) s. 147-150 -
Matrix-frame semantics for ISCI and INT
Piotr Łukowski
Bulletin of the Section of Logic , 21 /4 (1992) s. 156-162 -
Three semantics for Intuitionistic Sentential Calculus with Identity
Piotr Łukowski
Bulletin of the Section of Logic , 22 /1 (1993) s. 24-27 -
Reductive Techniques in Proofs of the Completeness Theorems for the Normal Bimodal Systems
Piotr Łukowski
Bulletin of the Section of Logic , 32 /3 (2003) s. 147-159 -
Professor Hiroakira ono in honorem
Piotr Łukowski
Bulletin of the Section of Logic , 36 /3-4 (2007) s. 99-102 -
Epistemicism and Roy Sorensen Arguments
Piotr Łukowski
Bulletin of the Section of Logic , 36 /3-4 (2007) s. 209-219 -
Completeness and axiomatizability theorems for the non-associative Lambek syntactic calculus
Maciej Kandulski
Bulletin of the Section of Logic , 14 /4 (1985) s. 164-169 -
Some conections between Cn and Cn-1 and dCn
Maciej Spasowski
Bulletin of the Section of Logic , 2 /1 (1973) s. 46-49 -
The degrees of completeness of dual counterparts of Lukasiewicz sentential calculi
Maciej Spasowski
Bulletin of the Section of Logic , 4 /4 (1975) s. 163-167 -
Axiomatizations of Commutative and Nonassociative Ajdukiewicz Calculus
Maciej Kandulski
Bulletin of the Section of Logic , 23 /4 (1994) s. 151-157 -
QL-Regular Quantified Modal Logics
Maciej Nowicki
Bulletin of the Section of Logic , 37 /3-4 (2008) s. 211-221 -
Dual Counterparts of Łukasiewicz Sentential Calculi
Grzegorz Malinowski, Maciej Spasowski
Bulletin of the Section of Logic , 1 /3 (1972) s. 2-7