Wyniki
-
Formalization of a Plausible Inference
Szymon Frankowski
Bulletin of the Section of Logic , 33 /1 (2004) s. 41-52 -
p-Consequence Versus q-Consequence Operations
Szymon Frankowski
Bulletin of the Section of Logic , 33 /4 (2004) s. 197-207 -
General approach to many valued Kripke models
Szymon Frankowski
Bulletin of the Section of Logic , 35 /1 (2006) s. 11-26 -
Definable classes of many valued Kripke frames
Szymon Frankowski
Bulletin of the Section of Logic , 35 /1 (2006) s. 27-36 -
Pure Strict Implication Logics
Szymon Frankowski
Bulletin of the Section of Logic , 36 /1-2 (2007) s. 59-65 -
Plausible Reasoning Expressed by p-Consequence
Szymon Frankowski
Bulletin of the Section of Logic , 37 /3-4 (2008) s. 161-170 -
Bisimulations and p-morphisms
Szymon Frankowski
Bulletin of the Section of Logic , 38 /3-4 (2009) s. 229-235 -
Partial and Intuitionistic Logic
Szymon Frankowski
Bulletin of the Section of Logic , 40 /3-4 (2011) s. 179-188 -
Triconsequences
Szymon Frankowski
Bulletin of the Section of Logic , 41 /1-2 (2012) s. 61-70 -
About Simulating Polyadic Frames
Szymon Frankowski
Bulletin of the Section of Logic , 43 /3-4 (2014) s. 203-214