• Vol 11 No 3 (2011)

    Considerações sobre o desenvolvimento da lógica no Brasil
    (Itala M. Loffredo D'Ottaviano, Evandro L. Gomes)

  • Vol 11 No 2 (2011)

    Indistinguibilidade, não-reflexividade, ontologia e física quântica
    (Jonas Rafael Becker Arenhart, Décio Krause)

  • Vol 11 No 1 (2011)

    The problem ax + b: the most natural generalization of Collatz problem
    (Walter Carnielli)

    Some natural generalizations of the Collatz problem.
    (Walter Carnielli)

  • Vol 10 No 7 (2010)

    Fibring of hypersequent calculi and preservation of rule-elimination
    (Marcelo E. Coniglio, Martín Figallo)

  • Vol 10 No 6 (2010)

    Axiomatization and Models of Scientific Theories
    (Décio Krause, Jonas R.B. Arenhart, Fernando T.F. Moraes)

  • Vol 10 No 5 (2010)

    Partitioning an infinite set
    (Carlos G. González)

  • Vol 10 No 4 (2010)

    Um panorama da teoria aristotélica do silogismo categórico
    (Evandro Luís Gomes, Itala M. Loffredo D’Ottaviano)

  • Vol 10 No 3 (2010)

    Adjusting a conjecture of Erdös
    (Walter Carnielli, Pietro K. Carolino )

  • Vol 10 No 2 (2010)

    On a theoretical analysis of deceiving: how to resist a bullshit attack
    (Walter Carnielli)

  • Vol 10 No 1 (2010)

    Considerações sobre os fundamentos da física
    (Rubens G. Lintz)

  • Vol 9 No 6 (2009)

    Two semantical approaches for cathodic logics
    (Juliana Bueno-Soler)

  • Vol 9 No 5 (2009)

    Completeness and incompleteness for anodic modal logics
    (Juliana Bueno-Soler)

  • Vol 9 No 4 (2009)

    Polynomial ring calculus for modal logics: a new semantics and proof method for modalities
    (Juan C. Agudelo, Walter Carnielli )

    The final version of this paper is published as:
    Juan C. Agudelo and Walter Carnielli
    The Review of Symbolic Logic, Volume 4, Issue 01, March 2011, pp. 150-170
    DOI: http://dx.doi.org/10.1017/S1755020310000213

  • Vol 9 No 3 (2009)

    Free algebras over a poset in varieties generated by a finite number of algebras
    (Aldo Figallo, Jr.)

  • Vol 9 No 2 (2009)

    Twist and ω -Twist Structures for the logics of the Hierarchy I n P k
    (Fernando M. Ramos, Víctor L. Fernández)

  • Vol 9 No 1 (2009)

    Algebraic elements for the notion of 'many'
    (Hércules de Araújo Feitosa, Mauri Cunha do Nascimento, Maria Claudia Cabrini Grácio)

  • Vol 8 No 6 (2008)

    CLE 30 / XV EBL / XIV SLALM
    CLE 30 YEARS - XV BRAZILIAN LOGIC CONFERENCE
    XIV LATIN-AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC
    May  11 - 17,  2008  -  Paraty, RJ - Brazil

    The "CLE 30 YEARS/ XV Brazilian Logic Conference/ XIV Latin-American Symposium on Mathematical Logic", organized by the Centre for Logic, Epistemology and the History of Science (CLE) of the State University of Campinas (UNICAMP) and the Brazilian Logic Society (SBL), was held in Paraty, Brazil, from May 11th to 17th, 2008.

    During the previous week, as it is traditional in the Latin-American Symposia, the Centre for Logic hosted the Logic School, aimed at advanced graduate students and other people interested in the study of logic and related areas. With approximately 50 participants, 6 Tutorials were held.

    Outstanding names of the international scientific community took part in the event in Paraty, which counted with the participation of about 180 researchers from several academic and teaching institutions from São Paulo State, from other Brazilian states and from several countries as, for instance, Argentina, Belgium, Colombia, United States of America, The Netherlands, Italy, Mexico, Poland, Uruguay and Venezuela, exceeding in numbers all the previously held Brazilian Logic Conferences and Latin-American Symposia on Mathematical Logic.

    The event was sponsored by the Centre for Logic, Epistemology and the History of Science, Brazilian Logic Society, Fundo de Apoio ao Ensino, à Pesquisa e à Extensão (FAEPEX-UNICAMP/Brazil), The State of São Paulo Research Foundation (FAPESP/Brazil), The National Council for Scientific and Technological Development (CNPq/Brazil), Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES/Brazil), Association for Symbolic Logic and National Science Foundation (NSF/USA).

    This special issue of CLE e-Prints contains extended abstracts of works presented at the conference, whose publication as pre-prints has been explicitly authorized by its authors.

    Walter A. Carnielli
    Marcelo E. Coniglio
    Itala M. Loffredo D'Ottaviano
    Chairs

  • Vol 8 No 5 (2008)

    Quasi-spaces and the foundation of quantum mechanics
    (Graciela Domenech, Federico Holik, Décio Krause)

  • Vol 8 No 4 (2008)

    Scientific theories, models and the semantic approach.
    (Décio Krause, Otávio Bueno)

  • Vol 8 No 3 (2008)

    On mathematics
    (Richard L. Epstein)

  • Vol 8 No 2 (2008)

    Falsity preservation
    (Wagner de Campos Sanz)

  • Vol 8 No 1 (2008)

    A paraconsistent approach to quantum computing
    (Juan C. Agudelo, Walter Carnielli)

  • Vol 7 No 5 (2007)

    Logics of deontic inconsistency
    (Marcelo E. Coniglio)

  • Vol 7 No 4 (2007)

    Logics of deontic inconsistency
    (Marcelo E. Coniglio)

  • Vol 7 No 3 (2007)

    "Cogito ergo sum non machina!" About Gödel's first incompleteness theorem and turing machines
    (Ricardo Pereira Tassinari, Itala M. Loffredo D'Ottaviano)

26 - 50 of 90 items << < 1 2 3 4 > >>