Wyniki
-
On certain Leibniz's observation concerning the substantiation of mathematical statements
Krystyna Błachowicz
Bulletin of the Section of Logic , 12 /4 (1983) s. 143-147 -
A predicate calculus with formulas which lose sense and the corresponding propositional calculus
Krystyna Piróg-Rzepecka
Bulletin of the Section of Logic , 2 /1 (1973) s. 22-27 -
Subdirectly Irreducible P-compatible Abelian Groups
Krystyna Mruczek-Nasieniewska
Bulletin of the Section of Logic , 32 /1-2 (2003) s. 57-63 -
New results in logic of formulas which lose sense
Adam Morawiec, Krystyna Piróg-Rzepecka
Bulletin of the Section of Logic , 14 /3 (1985) s. 114-121 -
Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2
Krystyna Mruczek-Nasieniewska, Marek Nasieniewski
Bulletin of the Section of Logic , 46 /3-4 (2017) s. 263-282 -
Syntactical and Semantical Characterization of a Class of Paraconsistent Logics
Krystyna Mruczek-Nasieniewska, Marek Nasieniewski
Bulletin of the Section of Logic , 34 /4 (2005) s. 229-248 -
Paraconsitent Logics Obtained by J.Y.Beziau's Method by Means of some Non-Normal Modal Logics
Krystyna Mruczek-Nasieniewska, Marek Nasieniewski
Bulletin of the Section of Logic , 37 /3-4 (2008) s. 185-196 -
Beziau's Logics Obtained by Means of Quasi-Regular Logics
Krystyna Mruczek-Nasieniewska, Marek Nasieniewski
Bulletin of the Section of Logic , 38 /3-4 (2009) s. 189-203 -
A Segerberg-Like Connection Between Certain Classes of Propositional Logics
Krystyna Mruczek-Nasieniewska, Marek Nasieniewski
Bulletin of the Section of Logic , 42 /1-2 (2013) s. 43-52