Archives

  • Vol. 8 No. 2 (1991)

    Multisets, Quasi-Sets and Weyl's Aggregates
    Décio Krause

    On da Costa Algebras
    José Seoane, L. P. de Alcantara

    The Construction of the Calculi Cn of da Costa
    Elias H. Alves, Giovanni S. Queiroz

    Quasivarieties of Wajsberg Algebras
    Hernando Gaitan

    On S4 as the "Logic of Justified Knowledge ''
    Javier Legris

  • Vol. 8 No. 1 (1991)

    One Logic or Many Logics? ( Epstein's Set-Assignment Semantics for Logical Calculi)
    Stanislaw Krajewski

    Curry's Paradox and Modus Ponens
    Igor Urbas

    Global Discharge Conditions for Natural Deduction Systems
    E.G.K. López -Escobar

    A Weak Paraconsistent Conditional Logic
    Zhang Qingyu

    On Sequents and Tableaux for Many-Valued Logics
    Walter A. Carnielli

  • Vol. 7 No. 1/2 (1990)

    On the Development of Paraconsistent Logic and da Costa's Work
    Itala M. Loffredo D’Ottaviano

    Mechanical Proof Procedures for Many-Valued Lattice-Based Logic Programming
    V. S. Subrahmanian

    N-Normal Factors in Finite Symmetric Heyting Algebras
    Adriana C. Galli, Marta Sagastume

    Rationality, Consistency and Truth
    Steven French

    On the Length of Proofs of Set Theoretical Statements in Zermelo-Fraenkel Set Theory and Kelley-Morse Theory of Classes
    Manuel Corrada

    Algebraization of Paraconsistent Logic P¹
    R.A. Lewin, I.F. Mikenberg, M.G. Schwarze

  • Vol. 6 No. 2 (1989)

    Kemels in N-Normal Symmetric Heyting Algebras
    A. Galli, M. Sagastume

    Relational Semantics for all Lewis, Lemmon and Feys'Modal Logics, most notably for systems between SO.3° and S1
    Richard Sylvan

    Routley-Meyer Type Semantics for Urquhart's C
    José M. Méndez

    Tait-Systems for Fragments of Lm
    Joachim Columbus

  • Vol. 6 No. 1 (1989)

    An Overview of Paraconsistent Logic in the 80's
    Newton C.A. da Costa, Diego Marconi

    Overlapping Types in Higher Order Predicate Calculus Based on Combinatory Logic
    M.W Bunder

    Some Results in Some Subsystems and in an Extension of Cn
    M.W Bunder

    The Logic of Inconsistency
    M.W Bunder

    Prospects for Decent Relevant Factorisation Logics
    Igor Urbas, Richard Sylvan

  • Vol. 5 No. 2 (1988)

    Multiply Modal Extensions of Da Costa's Cn , Logical Relativism, and the Imaginary
    Gert-Jan C. Lokhorst

    Extra-Logical Inferences
    E.G.K. López-Escobar

    Paraconsistent Foundations for Logic Programming
    Howard A. Blair, V. S. Subrahmanian

    New Systems of Predicate Deontic Logic
    Newton C.A. da Costa

  • Vol. 5 No. 1 (1988)

    Order of Strength Relations Between Formal Systems with Applications to Mathematics
    M. W. Bunder

    Against Demarcation
    Marcos Barbosa de Oliveira

    Paraconsistency and Subsystems of the System J1 of Arruda and Da Costa
    Igor Urbas

    Multisets and Algebra of Relevance Logic
    Chis Brink

  • Vol. 4 No. 2 (1987)

    Weak Entailment and 3-Valued Logic
    Chris Brink

    A Simple Proof of Consistency for a Naive Axiom of Propositional Comprehension
    John Slaney

    Some Relations Between Modal and Paraconsistent Logic
    Araujo A. L., Alves E. H., Guerzoni J.A. D.

    Popper on Induction
    Marcos Barbosa de Oliveira

  • Vol. 4 No. 1 (1987)

    Paraconsistency ,Paracompleteness and Intentional Contradictions
    Hristo Smolenov

    New Semantics for Some Many-Valued Logics
    George K. Gargov

    Philosophy, Politics and Pluralism: I. Relevant Modellings and Arguments
    Richard Sylvan

  • Vol. 3 No. 2 (1986)

    Tautologies that, with an Unrestricted Comprehension Axiom, Lead to Inconsistency or Triviality
    M. W. Bunder

    Modal Equivalential Logics
    Jacek Malinowski

    Freeing the Bound Variable: The influence of Context of Reference in First-Order Derivations
    David Isles

    The Conditional and Compounding of errors
    E. G.K. López-Escobar, I. M. L. D'Ottaviano

  • Vol. 3 No. 1 (1986)

    Relatedness Logic and Entailment
    Gary Isemiger

    On Two Systems of Stanislaw Jaskowski
    Max Urchs

    Situation Semantics for Non-Fregean Logic
    Ryszard Wójcicki

    Corrections to "A Formal Meta -Theory in Wich Gödel's First But Not His Second Incompleteness Theorem Can Be Proved"
    M. W. Bunder

    A Semamantical Study of Some Propositional Calculi
    Andréa Loparic

  • Vol. 2 No. 1 (1983)

    Individual Actions Are Very Seldon Obligatory
    D. Makinson

    BCK And Related Algebras And Their Correspoding Logics
    M. W. Bunder

    A Paradox of Relevant Implication
    S. Read

    On Arruda and Da Costa's Logics J1 to J5
    M. W. Bunder

    Valuations in Temporal Logic
    A. M. Loparic, C. A. Mortari

    A Rejoinder to Routley, Routley, Meyer and Martin
    B. J. Copeland

    What Do The Antinomies Teach Us?
    U. Petersen

  • Vol. 1 No. 1 (1982)

    Statement of purpose

    The Filosophical Import of Paraconsistent Logic
    N.C.A. da Costa

    A Natural Deduction Systems for some Intermediate Logics
    E.G.K. Lopez- Escobar

    A Formal Metatheory in Wich Gödel's First But not His Second Incompleteness Theorem Can Be Proved
    M.W Bunder

    On the Philosophical Bases of Relevants Logics Semantics
    R and V. Routley, R.K Meyer and E.P Martin