Wyniki
-
The lattice of ramified modal and tense logic
Wolfgang Rautenberg
Bulletin of the Section of Logic , 7 /1 (1978) s. 31-33 -
More about the lattice of tense logics
Wolfgang Rautenberg
Bulletin of the Section of Logic , 8 /1 (1979) s. 21-26 -
Results and problems concerning fragments of classical propositional logic
Wolfgang Rautenberg
Bulletin of the Section of Logic , 11 /1-2 (1982) s. 69-71 -
A note on implicational consequences
Wolfgang Rautenberg
Bulletin of the Section of Logic , 14 /3 (1985) s. 103-108 -
Some properties of the hierarchy of modal logics
Wolfgang Rautenberg
Bulletin of the Section of Logic , 5 /3 (1976) s. 103-104 -
The lattice of normal modal logics
Wolfgang Rautenberg
Bulletin of the Section of Logic , 6 /4 (1977) s. 193-201 -
The common rules of binary connectives are finitely based
Wolfgang Rautenberg
Bulletin of the Section of Logic , 18 /2 (1989) s. 87-93 -
Common logic of binary connectives has finite maximality degree : preliminary report
Wolfgang Rautenberg
Bulletin of the Section of Logic , 19 /2 (1990) s. 36-38