Wyniki
-
A formal interpretation of propositions
Janusz Kaczmarek
Bulletin of the Section of Logic , 22 /1 (1993) s. 13-17 -
On the Porphyrian Tree Structure and an Operation of Determination
Janusz Kaczmarek
Bulletin of the Section of Logic , 31 /1 (2002) s. 37-46 -
Positive and Negative Properties : a Logical Interpretation
Janusz Kaczmarek
Bulletin of the Section of Logic , 32 /4 (2003) s. 179-189 -
What is a Formalized Ontology Today? An Example of IIC
Janusz Kaczmarek
Bulletin of the Section of Logic , 37 /3-4 (2008) s. 233-244 -
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 -
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 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 -
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