Elias H. Alves
8 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
The first axiomatization of a paraconsistent logic Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 1 / s. 19 - 20ROK: 1992CZYSTY TEKSTBIBTEX
-
On the equivalence between some systems of non-classical logic Opublikowano w: Bulletin of the Section of Logic 1996 / Tom 25 / Numer 2 / s. 68 - 72ROK: 1996CZYSTY TEKSTBIBTEX
-
On some higher-order predicate calculi Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 2 / s. 84ROK: 1978CZYSTY TEKSTBIBTEX
-
Some remarks on the logic of vagueness Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / s. 133 - 138ROK: 1979CZYSTY TEKSTBIBTEX
-
A semantical study of some systems of vagueness logic Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / s. 139 - 144ROK: 1979CZYSTY TEKSTBIBTEX
-
On the equivalence between two systems of paraconsistent logic Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 3 / s. 155 - 157ROK: 1995CZYSTY TEKSTBIBTEX
-
On the decidability of a system of dialectical propositional logic Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 4 / s. 179 - 184ROK: 1978CZYSTY TEKSTBIBTEX
-
Relations between paraconsistent logic and many-valued logic Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 4 / s. 185 - 190ROK: 1981CZYSTY TEKSTBIBTEX
