• Vol 2 No 2 (2002)

    Combinig Valuations With Society Semantics
    (V. L. Fernández, Marcelo E. Coniglio)

  • Vol 1 No 1 (2001)

    Fibring Non-Truth-Functional Logics: Completeness Preservation
    (Walter Carnielli)

    The final version of this paper is published as:
    C. Caleiro, W.A. Carnielli, M.E. Coniglio, A. Sernadas, C. Sernadas, "Fibring Non-Truth-Functional Logics: Completeness Preservation". Journal of Logic, Language and Information 12, no. 2, pp. 183-211, 2003.

  • Vol 1 No 2 (2001)

    Modulated Fibring and the Collapsing Problem
    (C. Sernadas, J. Rasga, Walter A. Carnielli)

    The final version of this paper is published as:.
    C. Sernadas, J. Rasga, W.A. Carnielli, "Modulated fibring and the collapsing problem". Journal of Symbolic Logic, 67, no. 4, pp. 1541-1569, 2002.
  • Vol 1 No 4 (2001)

    Transfers Between Logics and Their Applications
    (Marcelo E. Coniglio, Walter A. Carnielli)

    The final version of this paper is published as:
    M.E. Coniglio, W.A. Carnielli, "Transfers Between Logics and their Applications". Studia Logica 72, no. 3, pp. 367-400, 2002.
  • Vol 1 No 5 (2001)

    A Taxonomy of C-Systems
    (Walter A. Carnielli, João Marcos)

    The final version of this paper is published as:.
    Walter A. Carnielli, João Marcos, "A Taxonomy of C-Systems", 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. New York, Marcel Dekker)

  • Vol 2 No 3 (2002)

    Identity, Indiscernibilty, and Philosophical Claims
    (Décio Krause, Antonio M. N. Coelho)

  • Vol 2 No 1 (2002)

    Winnicott's Paradigm Outlined
    (Zeljko Loparic)

  • Vol 1 No 9 (2001)

    A Logical Framework for Integrating Inconsistent Information in Multiple Databases
    (Sandra de Amo, Walter A. Carnielli, João Marcos)

    The final version of this paper is published as:   .
    Sandra de Amo, Walter A. Carnielli, João Marcos, "A Logical Framework for Integrating Inconsistent Information in Multiple Databases", in Lecture Notes in Computer Science, Vol. 2284, pp. 67-84, 2002. (Eds. Thomas Eiter and Klaus-Dieter Schewe, Springer-Verlag, Berlim)
  • Vol 2 No 4 (2002)

    Sortal Predication and Quantum Physics
    (Décio Krause)

  • Vol 1 No 7 (2001)

    Wittgenstein & Paraconsistência
    (João Marcos)

  • Vol 1 No 6 (2001)

    Formal Inconsistency and Evolutionary Databases
    (Walter A. Carnielli, João Marcos, Sandra de Amo)

    The final version of this paper is published as:
    Walter A. Carnielli, João Marcos, Sandra de Amo, "Formal Inconsistency and Evolutionary Databases" Logic and Logical Philosophy 8 (2000), 115-152.
  • Vol 1 No 8 (2001)

    On a Problem of da Costa
    (João Marcos)

    The final version of this paper is published as:.
    João Marcos, In: Giandomenico Sica, editor, Essays on the Foundations of Mathematics and Logic, v. 2, pp. 53-69. Monza: Polimetrica, 2005.

  • Vol 1 No 3 (2001)

    Logics for Qualitative Reasoning
    (P. A.S. Veloso, Walter A. Carnielli)

    The final version of this paper is published as:

    Paulo A.S. Veloso and Walter Carnielli, "Logics for Qualitative Reasoning". In "Logic, Epistemology, and the Unity of Science", vol. 1, S. Rahman, J. Symons, D.M. Gabbay and J.P. van Bendegem (Eds.), Kluwer Academic Publishers / Springer-Verlag, IX + 626 p., ISBN: 1-4020-2807-5, pp. 487-526, 2004.

  • Vol 2 No 5 (2002)

    Topos-Theoretic Semantics of Fibring
    (Marcelo E. Coniglio, A. Sernadas, C. Sernadas)

    The final version of this paper is published as:
    M.E. Coniglio; A. Sernadas; C. Sernadas, "Fibring Logics with Topos Semantics"Journal of Logic and Computation 13(4):595-624, 2003.

  • Vol 2 No 6 (2002)

    A Complete Axiomatization of Higher-Order Intuitionistic Logic
    (Marcelo E. Coniglio; C. Sernadas)

    The final version of this paper is published as:
    Marcelo E. Coniglio; Cristina Sernadas, "A Hilbert-style axiomatization of higher-order intuitionistic logic". In H.A. Feitosa, F.T. Sautter (Eds.), "Lógica: teoria, aplicações e reflexões", pp. 25-58, Coleção CLE, Campinas, 2004.

  • Vol 2 No 8 (2002)

    Consecuencia Lógica: La Perspectiva Tarskiana Inicial
    (José Seoane)

  • Vol 3 No 1 (2003)

    Anti-Intuitionism and Paraconsistency
    (Walter A. Carnielli, Andreas B.M. Brunner )

  • Vol 4 No 3 (2004)

    Paraconsistent Logics and Paraconsistency: Thechnical and Philosophical Developments
    (Newton C.A. da Costa, Décio Krauser, Otávio Bueno)

  • Vol 3 No 2 (2003)

    Consecuencia Lógica: La Perspectiva Tarskiana Semántica
    (José Seoane)

  • Vol 4 No 2 (2004)

    Da Costa 1964 Logical Seminar: Revisited Memories
    (Marcel Guillaume)

  • Workshop on Paraconsistent Logic Vol 2 No 7 (2002)

    logoESSLLI20021.gif

    Workshop on Paraconsistent Logic as part of the 14th European Summer School in Logic, Language and Information.
    August 5–9, 2002 - Trento, Italy

    Proceedings of the Workshop on Paraconsistent Logic (WoPaLo) 

    Organizers
    (João Marcos, Diderik Batens, Walter A. Carnielli)

  • Vol 4 No 1 (2004)

    Adventures in the Paraconsistent jungle
    (Jean-Yves Béziau)

  • Vol 4 No 5 (2004)

    Proceedings of the CombLog'04

    Organizers
    (Walter A. Carnielli, F. Miguel Dionísio, Paulo Mateus)

  • Vol 5 No 6 (2005)

    Possible-translations Algebraization for Paraconsistent Logics
    ( Juliana Bueno-Soler, Walter Carnielli)

    The final version of this paper is published as:
    J. Bueno-Soler and W.A. Carnielli, "Possible-translations algebraization for paraconsistent logics". Bulletin of the Section of Logic, University of Lodz, Poland, vol. 34, n.2, 2005, pp. 77-92

  • Vol 5 No 3 (2005)

    Polynomial Ring Calculus for Logical Inference.
    (Walter Carnielli)

    The final version of this paper is published as:
    Walter Carnielli, "Polynomial Ring Calculus for Many-valued Logics". Proceedings of the 35th  international Symposium on Multiple-Valued Logic. IEEE Computer Society. Calgary, Canadá. IEEE Computer Society, pp. 20-25,2005.

1-25 of 90