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