Prof. Dr. Walter Carnielli


Personal Homepage


Publications - Articles and Technical Reports
 

    - Foundations and aplications of heterodox logics
    - Infinite combinatorics and set theory
    - Finite combinatorics
    - Technical Reports

     

    Foundations and aplications of heterodox logics

    • Fuzzy fusion of results of medical image segmentation
      Proceedings of SPIE Volume: 3661
      Medical Imaging 1999: Image Processing
      Editor(s): Kenneth M. Hanson
      Publication Date: May 1999;  1706 pages; 170 papers; Softcover; Authors: Denise Guliato, Rangaraj M. Rangayyan, Walter A. Carnielli, Joao A. Zuffo, J. E. Leo Desautels.

    • Segmentation of breast tumors in mammograms using fuzzy sets.
      Journal of Electronic Imaging 12(03), p. 369-378. Authors: Denise Guliato, Rangaraj M. Rangayyan, Walter A. Carnielli, Joao A. Zuffo, J. E. Leo Desautel
    • Fibring Non-Truth-Functional Logics: Completeness Preservation  (with  C. Caleiro,  M.E. Coniglio; A. Sernadas and  C. Sernadas ). Journal of Logic, Language and  Information, 12(2):183--211, 2003
      (Download from  CLE  e-Prints,  Vol. 1(1), 2001 (Section Logic) a preliminary version which differs in minor details from the published version). 

    • Fuzzy Fusion Operators to Combine Results of Complementary Medical Image Segmentation Techniques (with  D. Guliato, R. M. Rangayyan,  J. A. Zuffo and  J. E. Leo Desautels) Journal of Electronic Imaging 12(03), p. 379-389. Authors: Denise Guliato, Rangaraj M. Rangayyan, Walter A. Carnielli, Joao A. Zuffo, J. E. Leo Desautels.

    • (Download here a preliminary version which  differs in minor details from the published version).
      Donwload versions: (PDF)
    • A taxonomy of  C- systems (with João Marcos ).  In: Paraconsistency- the Logical Way to the  Inconsistent, Lecture Notes in Pure and Applied Mathematics, Vol. 228, pp. 01-94   2002. 

    • (Eds.  Walter A. Carnielli, Marcelo E. Coniglio and Itala m. Loffredo D'Ottaviano) 
      Marcel Dekker, New York. 
      (Download from  CLE  e-Prints,  Vol. 1(5), 2001 (Section Logic) a preliminary version which differs in minor details from the published version). 
    • A logical framework for integrating Inconsistent Information in Multiple Databases  (with Sandra de Amo and João Marcos) Lecture Notes in Computer Science, Vol. 2284, pp. 67-84, 2002. Eds. Thomas Eiter and Klaus-Dieter Schewe, Springer-Verlag, Berlim)

    • (Download here a preliminary version which differs in minor details from the published version). Donwload versions: (PDF)
    • Transfers between logics and their applications. Studia Logica  72,  nr. 3, 2002 (with M. E. Coniglio) 

    • (Download from  CLE  e-Prints,  Vol. 1(4), 2001 (Section Logic) a preliminary version which differs in minor details from the published version). 
    • Modulated fibring and the collapsing problem. To appear in The  Journal of Symbolic Logic  (with C. Sernadas and  J. Rasga).

    • (Download here a preliminary version which differs in minor details from the published version). Donwload versions: (PDF) (POSTSCRIPT)
    • Tableaux systems for logics of formal inconsistency.  In: H. R. Arabnia, editor, Proceedings of the

    • International Conference on Artificial Intelligence (IC-AI'2000).  CSREA Press, Athens GA, USA.   (with J. Marcos)
      (Download here the complete article): [Full text - PS 53 Kb]
    • Possible-translations semantics for paraconsistent logics. Carnielli, W. A., pp. 159-72 in Frontiers in paraconsistent logic: Proceedings of the I World Congress on Paraconsistency, Ghent, 1998, edited by D. Batens et al., Kings College Publications, 2000.

    • K2,2-K1,n and K2,n-K2,n bipartite Ramsey numbers

    • W.A. Carnielli and E.L. Monte Carmelo
      (Download here the original article) [Abstract] [Full text - PDF 98 Kb]
    • Formal inconsistency and evolutionary databases (with J. Marcos and S. de Amo)

    • Logic and Logical Philosophy  vol.8 (2000), 115-152
      (Download here a preliminary version which differs in minor details from the published version). Donwload versions: (PDF) (POSTSCRIPT)
    • Limits for paraconsistent logic (with J. Marcos)

    • to appear in Notre Dame Journal of Formal Logic, 2000
      (Download here a preliminary version which differs in minor details from the published version). Donwload versions:  (PDF) (POSTSCRIPT)
    • An alternative view of default reasoning and its logic. In: Hauesler,

    • E. H. , Pereira, L. C. (Ed.) Pratica: Proofs, types and categories. Rio
      de Janeiro: PUC-RJ, Brazil.(1999)  p. 127-58 ( with  A. M. .Sette and  P. A. S. Veloso)
    • Segmentation of breast tumors in mammograms by fuzzy region growing,

    • Proc. 20th  Annual International Conference of the IEEE Engineering in
      Medicine and Biology Society, Hong Kong, 29 October - 1 November 1998, pp II:1002-1004 and four pages on CD-ROM. (with   D. Guliato, R.M. Rangayyan,  J.A. Zuffo, and J.E.L. Desautels)
    • Fuzzy fusion operators to  combine results of  complementary medical image segmentation techniques. SPIE Conference  on Medical Imaging - Image Processing, San Diego, CA, 20-26 February . To appear in the Journal of Electronic Imaging. (With D. Guliato, R.M. Rangayyan , J.A. Zuffo and J. E. L. Desautels)

    • (Download here a preliminary version which differs in minor details from the published version). Download  version: (PDF)
  • Society semantics for multiple-valued logics, in Proceedings of the XII EBL- Advances in Contemporary Logic and Computer Science  (with M.  Lima.-Marques) , American Mathematical Society, Series Contemporary Mathematics, Volume 235, pp. 33-52, 1999 (editors: Walter A. Carnielli and Itala M. L. D'Ottaviano)

  • (Download here the original article). Donwload versions: (POSTSCRIPT)
  • A categorial  approach to the combination of logics, Manuscrito, vol, XXII, pp. 64-94 (1999) (with  Marcelo E. Coniglio).

  • (Download here the original article). Donwload versions: (POSTSCRIPT)
    • Calea logica catre inconsistenta, KRISIS-Revista de Filosofie, Rumania, n. 7 (1998) , p. 12-31.
    • Ultrafilter logic and generic reasoning. inComputational Logic and Proof Theory (Vienna, 1997), 34-53, Lecture Notes in Comput. Sci., 1289, Springer, Berlin, 1997 (with P.A.S. Veloso).
    • Maximal weakly-intuitionistic logics, Studia Logica, 55 (1995), 181-203 (with A. M. Sette)
    • Is there logic behind fuzzyness? , in Logic, Sets and Information: Proceedings of the Tenth Brazilian Conference on Mathematical Logic, Coleção CLE, 1995, eds. W. A. Carnielli e L. C. P. D. Pereira, pp. 73-91 (with J. C. Cifuentes ).
    • Reasoning under inconsistent knowledge, The Journal of Applied Non-Classical Logics vol. 2, n.1 (1992) 49-79 (with M. Lima-Marques).
    • Lógicas não-clássicas, teoria da informação e inteligência artificial, in Século XIX: O Nascimento da Ciência Contemporânea , ed. F. Évora, Coleção CLE vol. 11 (1992), 101- 110.
    • Contextual negations and reasoning with contradictions,Proceedings of the 12th International Joint Conference on Artificial Intelligence", -IJCAI 91, Sydney, Australia, 1991, pp. 532-537 (with L.F del Cerro and M.L. Marques).
    • On Sequents and tableaux for many-valued logics, The Journal of Non-Classical Logic vol. 8, n.1 (1991), 59-76

    • (Download here the original article). Donwload versions: (POSTSCRIPT)
    • Many-valued logics and plausible reasoning, Proceedings of the 20th International Congress on Many-Valued Logics" IEEE Computer Society, Univ. Charlotte, North Carolina, Section 10- Logic and Artificial Intelligence, (1990), 328-335

    • (Download here the original article). Donwload versions: (PDF)
    • Kantian and non-Kantian logics. Logique et Analyse  (N.S.) 31 (1988), no. 121-122,  3-9.
  • Systematization of the finite many-valued logics through the method of tableaux, The Journal of Symbolic Logic 52 (1987), nº2, 473-493.
    • Paraconsistent deontic logic, PHILOSOPHIA -- The Philos. Quarterly of Israel 16 n. 3 e 4 (1988), 293-305 (with N. C. A. da Costa)
    • The problem of quantificational completeness and the characterization of all perfect quantifiers in three-valued logics Zeitsch. für math. Logik und Grund. d. Mathematik 33 (1987), 19-29.
    • Methods of proof for relatedness and dependence logics, Reports on Math. Logic 21 (1987) 35-46.
    • An algorithm for axiomatization and theorem proving in finite many-valued logics, Logique et Analyse 112 (1985), 363-368.

     

    Infinite Combinatorics and Set Theory


    • Some results on polarized partition relations of higher dimension, Mathematical Logic Quarterly 39 (1993) 461-474 (with C. A. Di Prisco).

    • Hydrae and subsystems of arithmetic, Int. Bericht Inst. für math. Logik und Grundlagenforschung- Univ. Münster (1991) (with M. Rathjen).
    • Paraconsistent algebras, Studia Logica  (1984), 43 nº.1-2, 79-88 (with L.P. de Alcantara).
    • Transfinite induction on ordinal configurations, Zeitsch. für mathem. Logik und Grund. der Mathematik 27 (1981) 531-538 (with L. P. de Alcantara).
     
    Finite Combinatorics

    • K2,2-K1,n and K2,n-K2,n    bipartite Ramsey numbers.  Discrete Mathematics, Vol. 223 (1-3) (2000) pp. 83-92 (with E.L. Monte Carmelo). 

    • On the Ramsey problem for multicolor bipartite graphs. Adv. in Appl. Math. 22 (1999), no. 1, 48-59 (with E. L. Monte Carmelo).

    • Upper Bounds for Minimum Covering Codes by Tabu Search, Anais da II Ofic. Nacional em Probl. Combinatórios: Teoria, Algoritmos e Aplicações (edit. M. V. S. Poggi de Aragão e C. C. de Souza), Relat. Tec. DCC-95-17, 1995, pp. 50-58. (with E. L. do Monte Carmelo, M. V. S. Poggi de Aragão e C. C. de Souza)

    • Hyper-rook domain inequalities, Studies in Applied Mathematics (Massachusetts Institute of Technology) 82, n.1 (1990), 59-69.
    • On coloring and covering problems for rook domains, Discrete Mathematics 57 (1985), 9-16.
    • Some investigations on covering problems. Collected papers dedicated to Professor Edison Farah on the occasion of his retirement (Sao Paulo, 1981), 127--134, Univ. Sao Paulo, Sao Paulo, 1982.

     

    Technical Reports

    • A Model Theoretic Approach to Translations Beteween Logics, in Proceedings of WoLLIC' 2000, 

    • Natal RN, Brazil. M. E Coniglio and .W. A. Carnielli 
      (Download here the original report ):  (POSTSCRIPT)
    • Technical Report- Depto. de Informática  UFRJ Rio de Janeiro, RJ, Brazil

    • Publication code: ES-437/97 - June 1997
      An Ultrafilter Logic For Generic Reasoning and Some Applications, Paulo Augusto Veloso and Walter A. Carnielli.