Wyniki
-
Answer to a question raised by Harrop
Dolph Ulrich
Bulletin of the Section of Logic , 11 /3-4 (1982) s. 140-141 -
Models of three-valued calculi in inplicational S5
Dolph Ulrich
Bulletin of the Section of Logic , 12 /2 (1983) s. 73-75 -
On the independence of B from I, C, W, K'1 and Karpenko's formula X
Dolph Ulrich
Bulletin of the Section of Logic , 23 /3 (1994) s. 96-97 -
New single axioms for positive implication
Dolph Ulrich
Bulletin of the Section of Logic , 28 /1 (1999) s. 39-42 -
An integer-valued matrix characteristic for implicational S5
Dolph Ulrich
Bulletin of the Section of Logic , 19 /3 (1990) s. 87-91 -
On Two Open Questions Concerning the Implicational Fragment of R-mingle
Dolph Ulrich
Bulletin of the Section of Logic , 38 /1-2 (2009) s. 1-4