Wyniki
-
Note on some Characterization of Distributive Lattices of Finite Length
Marcin Łazarz, Krzysztof Siemieńczuk
Bulletin of the Section of Logic , 44 /1-2 (2015) s. 15-17 -
On empirical status of logical inferences
Marcin Mostowski
Bulletin of the Section of Logic , 12 /4 (1983) s. 181-187 -
Divisibility Quantifiers
Marcin Mostowski
Bulletin of the Section of Logic , 20 /2 (1991) s. 67-82 -
Quantifiers definable by second order means
Marcin Mostowski
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 113-114 -
Characterization of Medvedev's Logic by Means of Kubinski's Frames
Marcin Łazarz
Bulletin of the Section of Logic , 42 /1-2 (2013) s. 83-90 -
A NOte on Distributive Triples
Marcin Łazarz
Bulletin of the Section of Logic , 48 /3 (2019) s. 207-211 -
Threshold logic
Krzysztof Ciesielski
Bulletin of the Section of Logic , 7 /3 (1978) s. 107-114 -
A generalization of the interpolation theorem for the many sorted calculus
Krzysztof Rudnik
Bulletin of the Section of Logic , 13 /1 (1984) s. 2-8 -
On information functions, part two: Applications to the logic of theory change
Krzysztof Szymanek
Bulletin of the Section of Logic , 18 /1 (1989) s. 13-19 -
Classical subtheories and intuitionism
Krzysztof Szymanek
Bulletin of the Section of Logic , 18 /3 (1989) s. 112-115 -
On the Definability of Leśniewski's Copula 'is' in Some Onthology-Like Theories
Marcin Łyczak, Andrzej Pietruszczak
Bulletin of the Section of Logic , 47 /4 (2018) s. 233-263 -
Extended MR with Nesting of Predicate Expressions as a Basic Logic for Social Phenomena
Aleksander Parol, Krzysztof Pietrowicz, Joanna Szalacha-Jarmużek
Bulletin of the Section of Logic , 50 /2 (2021) s. 205-227 -
Tablea Systems for Epistemic Positional Logics
Mateusz Klonowski, Krzysztof Aleksander Krawczyk, Bożena Pięta
Bulletin of the Section of Logic , 50 /2 (2021) s. 177-204 -
Functional Completeness in CPL «via» Correspondence Analysis
Dorota Leszczyńska-Jasion, Yaroslav Petrukhin, Vasilyi Shangin, Marcin Jukiewicz
Bulletin of the Section of Logic , 48 /1 (2019) s. 45-76