Newton C.A. da Costa
10 artykuły w 2 czasopismach
-
Opening address: Paraconsistent logic Opublikowano w: Logic and Logical Philosophy 1999 / Tom 7 / s. 25 - 341999CZYSTY TEKST
Newton C.A. da Costa, Opening address: Paraconsistent logic, Logic and Logical Philosophy, 1999 / Tom 7, s. 25 - 34
BIBTEX@Article{ authors = " Newton C.A. da Costa", title = "Opening address: Paraconsistent logic", journal = "Logic and Logical Philosophy", issue = "1999 / Tom 7", pages = "25 - 34" }
-
A note on temporal logic Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 2 / s. 51 - 1211989CZYSTY TEKST
Newton C.A. da Costa, S. French, A note on temporal logic, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 2, s. 51 - 121
BIBTEX@Article{ authors = " Newton C.A. da Costa, S. French", title = "A note on temporal logic", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 2", pages = "51 - 121" }
-
The undecidability of formal definitions in the theory of finite groups Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 2 / s. 56 - 631995CZYSTY TEKST
Newton C.A. da Costa, F.A. Doria, Marcelo Tsuji, The undecidability of formal definitions in the theory of finite groups, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 56 - 63
BIBTEX@Article{ authors = " Newton C.A. da Costa, F.A. Doria, Marcelo Tsuji", title = "The undecidability of formal definitions in the theory of finite groups", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 2", pages = "56 - 63" }
-
k-transforms in classical and paraconsistent logics Opublikowano w: Logic and Logical Philosophy 1999 / Tom 7 / s. 63 - 801999CZYSTY TEKST
Roque da C. Caiero, Newton C.A. da Costa, k-transforms in classical and paraconsistent logics, Logic and Logical Philosophy, 1999 / Tom 7, s. 63 - 80
BIBTEX@Article{ authors = " Roque da C. Caiero, Newton C.A. da Costa", title = "k-transforms in classical and paraconsistent logics", journal = "Logic and Logical Philosophy", issue = "1999 / Tom 7", pages = "63 - 80" }
-
Logic with deontic and legal modalities : preliminary account Opublikowano w: Bulletin of the Section of Logic 1987 / Tom 16 / Numer 2 / s. 71 - 751987CZYSTY TEKST
Newton C.A. da Costa, Leila Z. Puga, Logic with deontic and legal modalities : preliminary account, Bulletin of the Section of Logic, 1987 / Tom 16 / Numer 2, s. 71 - 75
BIBTEX@Article{ authors = " Newton C.A. da Costa, Leila Z. Puga", title = "Logic with deontic and legal modalities : preliminary account", journal = "Bulletin of the Section of Logic", issue = "1987 / Tom 16 / Numer 2", pages = "71 - 75" }
-
On the problem of Jaskowski and the logics of Lukasiewicz Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 2 / s. 911978CZYSTY TEKST
Newton C.A. da Costa, Jerzy Kotas, On the problem of Jaskowski and the logics of Lukasiewicz, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 91
BIBTEX@Article{ authors = " Newton C.A. da Costa, Jerzy Kotas", title = "On the problem of Jaskowski and the logics of Lukasiewicz", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "91" }
-
Carnot's logic Opublikowano w: Bulletin of the Section of Logic 1993 / Tom 22 / Numer 3 / s. 98 - 1051993CZYSTY TEKST
Jean-Yves Béziau, Newton C.A. da Costa, Carnot's logic, Bulletin of the Section of Logic, 1993 / Tom 22 / Numer 3, s. 98 - 105
BIBTEX@Article{ authors = " Jean-Yves Béziau, Newton C.A. da Costa", title = "Carnot's logic", journal = "Bulletin of the Section of Logic", issue = "1993 / Tom 22 / Numer 3", pages = "98 - 105" }
-
On the existence of very difficult satisfiability problem Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 4 / s. 122 - 1331992CZYSTY TEKST
Newton C.A. da Costa, F.A. Doria, On the existence of very difficult satisfiability problem, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 4, s. 122 - 133
BIBTEX@Article{ authors = " Newton C.A. da Costa, F.A. Doria", title = "On the existence of very difficult satisfiability problem", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 4", pages = "122 - 133" }
-
Incomplete satisfiability problems Opublikowano w: Bulletin of the Section of Logic 1993 / Tom 22 / Numer 4 / s. 150 - 1571993CZYSTY TEKST
Newton C.A. da Costa, F.A. Doria, Incomplete satisfiability problems, Bulletin of the Section of Logic, 1993 / Tom 22 / Numer 4, s. 150 - 157
BIBTEX@Article{ authors = " Newton C.A. da Costa, F.A. Doria", title = "Incomplete satisfiability problems", journal = "Bulletin of the Section of Logic", issue = "1993 / Tom 22 / Numer 4", pages = "150 - 157" }
-
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
Elias H. Alves, Newton C.A. da Costa, 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 = " Elias H. Alves, Newton C.A. da Costa", 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" }
