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 -
A deductive-reductive form of logic: General theory and intuitionistic case
Piotr Łukowski
Logic and Logical Philosophy 10 (2002) s. 59-78 -
A deductive-reductive form of logic: Intuitionistic S4 modalities
Piotr Łukowski
Logic and Logical Philosophy 10 (2002) s. 79-91 -
Either epistemicism or logic
Piotr Łukowski
Logic and Logical Philosophy , 17 /4 (2008) s. 329-351 -
Is human reasoning really nonmonotonic?
Piotr Łukowski
Logic and Logical Philosophy , 22 /1 (2013) s. 63-73 -
Logical problems with nonmonotonicity
Piotr Łukowski
Logic and Logical Philosophy , 23 /2 (2014) s. 171-188