• 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 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 4 (2002)

    Sortal Predication and Quantum Physics
    (Décio Krause)

  • Vol 2 No 3 (2002)

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

  • Vol 2 No 2 (2002)

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

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

76 - 90 of 90 items << < 1 2 3 4