Walter Carnielli

O meu BLOG

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)
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.

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 preliminaryversion 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 theJournal 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).
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 Logic52 (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 logicsZeitsch 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, 

Technical Report- Depto. de Informática  UFRJ Rio de Janeiro, RJ, Brazil

%d blogueiros gostam disto: