-
Relations between paraconsistent logic and many-valued logic Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 4 / s. 185 - 1901981CZYSTY TEKST
Newton C.A. da Costa, Elias H. Alves, Relations between paraconsistent logic and many-valued logic, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 4, s. 185 - 190
BIBTEX@Article{ authors = " Newton C.A. da Costa, Elias H. Alves", title = "Relations between paraconsistent logic and many-valued logic", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 4", pages = "185 - 190" }
-
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 - 721996CZYSTY TEKST
Antonio M. Sette, Elias H. Alves, On the equivalence between some systems of non-classical logic, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 2, s. 68 - 72
BIBTEX@Article{ authors = " Antonio M. Sette, Elias H. Alves", title = "On the equivalence between some systems of non-classical logic", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 2", pages = "68 - 72" }
-
On some higher-order predicate calculi Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 2 / s. 841978CZYSTY TEKST
Elias H. Alves, Jose E. de Almeida Moura, On some higher-order predicate calculi, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 84
BIBTEX@Article{ authors = " Elias H. Alves, Jose E. de Almeida Moura", title = "On some higher-order predicate calculi", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "84" }
-
A semantical study of some systems of vagueness logic Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / s. 139 - 1441979CZYSTY TEKST
Ayda I. Arruda, Elias H. Alves, A semantical study of some systems of vagueness logic, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 3, s. 139 - 144
BIBTEX@Article{ authors = " Ayda I. Arruda, Elias H. Alves", title = "A semantical study of some systems of vagueness logic", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 3", pages = "139 - 144" }
-
Some remarks on the logic of vagueness Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / s. 133 - 1381979CZYSTY TEKST
Ayda I. Arruda, Elias H. Alves, Some remarks on the logic of vagueness, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 3, s. 133 - 138
BIBTEX@Article{ authors = " Ayda I. Arruda, Elias H. Alves", title = "Some remarks on the logic of vagueness", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 3", pages = "133 - 138" }
-
On the equivalence between two systems of paraconsistent logic Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 3 / s. 155 - 1571995CZYSTY TEKST
Antonio M. Sette, Elias H. Alves, On the equivalence between two systems of paraconsistent logic, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 3, s. 155 - 157
BIBTEX@Article{ authors = " Antonio M. Sette, Elias H. Alves", title = "On the equivalence between two systems of paraconsistent logic", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 3", pages = "155 - 157" }
-
The first axiomatization of a paraconsistent logic Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 1 / s. 19 - 201992CZYSTY TEKST
Elias H. Alves, The first axiomatization of a paraconsistent logic, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 1, s. 19 - 20
BIBTEX@Article{ authors = " Elias H. Alves", title = "The first axiomatization of a paraconsistent logic", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 1", pages = "19 - 20" }
-
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 - 1841978CZYSTY TEKST
Elias H. Alves, On the decidability of a system of dialectical propositional logic, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 4, s. 179 - 184
BIBTEX@Article{ authors = " Elias H. Alves", title = "On the decidability of a system of dialectical propositional logic", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 4", pages = "179 - 184" }
