• Vol 7 No 2 (2007)

    Unconventional models of computation through non-standard logic circuits
    (Juan C. Agudelo, Walter Carnielli)

    The final version of this paper has been published
    Unconventional models of computation through non-standard logic circuits.Juan C. Agudelo and Walter Carnielli,Lecture Notes in Computer Science, volume 4618, pages 29-40. Springer Berlin, Heidelberg, 2007. ISBN 978-3-540-73553-3

  • Vol 7 No 1 (2007)

    A propositional logic for Tarski's consequence operator
    ( Hércules Feitosa de Araújo Feitosa, Mauri Cunha do Nascimento, Maria Claudia Cabrini Grácio)

  • Vol 6 No 4 (2006)

    The Concept of Mathematical Elucidation: theory and problems
    (José Seona )

  • Vol 6 No 3 (2006)

    Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole
    (Walter Carnielli)

    The final version of this paper has been published
    Carnielli, W.A. Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole. In: Model-Based Reasoning in Science, Technology, and Medicine (Editors, L. Magnani and P. Li). Book Series "Studies in Computational Intelligence", volume 64, pages 349-364. Springer Berlin - Heidelberg, 2007, ISBN: 978-3-540-71985-4.

  • Vol 6 No 2 (2006)

    A short Note on gentze's LJ and NJ Systems Isomorphism
    ( Wagner de Campos Sanz)

  • Vol 6 No 1 (2006)

    On the Category of Algebraizable Logics
    (P. Arndt, R. A. Freire, O. O. Luciano, H. L. Mariano)

  • Vol 5 No 10 (2005)
    Pre-Publications of researchers of the FAPESP Thematic Project "Logical Consequence and Combinations of LogicsFundaments and Efficient Applications"
    for the Proceedings of The 2nd Indian International Conference on Artificial Intelligence (IICAI-05), Pune, India

    To appear in the Proceedings of The 2nd Indian International Conference on Artificial Intelligence (IICAI-05), Pune, India.
    The 2nd Indian International Conference on Artificial Intelligence (IICAI-05) was held in Pune during December 20-22/2005. A Special Session on "Logical Consequence and its Combinations" was organized by Prof. Walter Carnielli, invited by the organizers.
    A Special Session on Logical Consequence and its Combinations will be held during the 2nd Indian International Conference on Artificial Intelligence (IICAI-05). The session, organized within the scope of the FAPESP Thematic Project ConsRel 2004/14107-2, invites papers in all areas of combining logics.
    The session is being organized taking into account that the notion of logical inference is of fundamental importance for formalizing notions of intelligence and argumentation in all forms, and also critically relevant in several aspects of computing, from AI, theorem proving and software engineering to computer languages. Investigation of logical inference for applications requires not only the understanding of single forms of logical inference, but of their combinations as well.
    This technical session is focused on methods for combining logics (propositional, first-order and higher-order, intuitionistic, modal, and other forms of non-classical inference) emphasizing their semantical, proof-theoretical, algebraic and computational aspects.
    The following aspects of combination of logics were emphasized:
    • Algebraic and categorial aspects of logic combinations
    • Combination of proof mechanisms
    • Conceptual and philosophical aspects of combination of logics
    • Formal semantics for logic combination, such as possible-translations semantics, society semantics and non-deterministic semantics
    • Applications of combined logics to AI, software engineering, planning and scheduling, adaptive systems, database theory and others
    • Specific methods for combining and decomposing logics, such as fibring, fusion, products and factoring
    • Other views on combined consequence relations, such as Belief Revision and foundations of Quantum Logics, viewed from the standpoint of combination mechanisms.
    The Scientific Committee who assisted Prof. Carnielli was composed by:
    • Carlos Caleiro, CLC, IST, Technical University of Lisbon, Portugal
    • Marcelo Coniglio, CLE and IFCH, University of Campinas, Brazil
    • Víctor L. Fernández, San Juan National University, Argentina
    • Marcelo Finger, IME, São Paulo University, Brazil
    • Dov Gabbay, King's College, London, UK
    • Joseph Goguen, University of California, San Diego, USA
    • Paulo Mateus, CLC-IST, Technical University of Lisbon, Portugal
    • Luca Viganò, ETH, Zurich, Switzerland
  • Vol 5 No 9 (2005)

    Revisión de Creencias
    (Eduardo Fermé)

  • Vol 5 No 8 (2005)

    Remarks on Abstract Galois Theory
    (N. C.A. da Costa)

  • Vol 5 No 7 (2005)

    Definability and Invariance
    (N. C.A. da Costa, A. A.M. Rodrigues )

  • 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 5 (2005)
    Some Results on Ordered Structures in Toposes
    (Luís A. Sbardellini, Marcelo E. Coniglio)
  • Vol 5 No 4 (2005)

    The Meta-Fibring Environment: Preservation of meta-properties by fibring
    (Marcelo E. Coniglio)

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

  • Vol 5 No 2 (2005)

    Modulated Logics and Uncertain Reasoning
    (Walter Carnielli, Maria Cláudia C. Grácio )

    The final version of this paper is published as:
    Walter A. Carnielli and Maria Cláudia C. Grácio. Modulated Logics and Flexible Reasoning. Logic and Logical Philosophy 17, n.3, 2008, pp. 211-249.

  • Vol 5 No 1 (2005)

    Logics of Formal Inconsistency
    (Walter Carnielli, Marcelo Coniglio, João Marcos)

  • Vol 4 No 5 (2004)

    Proceedings of the CombLog'04

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

  • Vol 4 No 4 (2004)

    On Negation: Pure local rules
    (João Marcos)

    The final version of this paper is published as:
    João Marcos, Journal of Applied Logic, 3(1): 185-219,2005.

  • 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 4 No 2 (2004)

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

  • Vol 4 No 1 (2004)

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

  • Vol 3 No 2 (2003)

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

  • Vol 3 No 1 (2003)

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

  • Vol 2 No 8 (2002)

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

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

51 - 75 of 90 items << < 1 2 3 4 > >>