Wyniki
-
An adequate matrix tor the ``And Next'' calculus of G. H. von Wright
Józef Wajszczyk
Bulletin of the Section of Logic , 23 /2 (1994) s. 80-92 -
The logic of dichotomic changes
Józef Wajszczyk
Bulletin of the Section of Logic , 24 /2 (1995) s. 89-97 -
Niedefiniowalność funktora zmiany na gruncie rachunków logiki temporalnej
Józef Wajszczyk
Filozofia Nauki , 2 /3/4 (1994) s. 57-68