Concepedia

Paraconsistent Predicate Logic

Paraconsistent Predicate Logic is a formal logical system that extends paraconsistent logic by incorporating quantifiers and predicates, enabling reasoning over inconsistent domains without trivialization while preserving the expressive power of first-order logic.

7

Publications

358

Citations

11

Authors

7

Institutions

Publications per year

2017–2026

1

Parents

Publications

7

A Hierarchy of Classical and Paraconsistent Logics

Eduardo Alejandro Barrio, Federico Pailos, Damián Szmuc · Journal of Philosophical Logic · 2019 · 85 citations · Full text

, , +11

Depth relevance of some paraconsistent logics

Ross T. Brady · Studia Logica · 1984 · 69 citations

, , +11

The completeness and compactness of a three-valued first-order logic

Ítala M. Loffredo D’Ottaviano · Repositorio Institucional UN - Biblioteca Digital · 1985 · 66 citations · Full text

, , +11

The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics

Richard Routley · Studia Logica · 1984 · 58 citations

, , +16

An encompassing framework for Paraconsistent Logic Programs

João Alcântara, Carlos Viegas Damásio, Luı́s Moniz Pereira · Journal of Applied Logic · 2004 · 32 citations

, , +14

1–5 of 7

Authors

11

  1. LM
    Luı́s Moniz Pereira

    Universidade Nova de Lisboa, Portugal

    1 publications · 32 citations

    1

    h-index

  2. RT
    Ross T. Brady

    La Trobe University, Australia

    1 publications · 69 citations

    1

    h-index

  3. ÍM
    Ítala M. Loffredo D’Ottaviano

    Universidade Estadual de Campinas (UNICAMP), Brazil

    1 publications · 66 citations

    1

    h-index

  4. JM
    Jair Minoro Abe

    Universidade Paulista, Brazil

    1 publications · 26 citations

    1

    h-index

  5. EA
    Eduardo Alejandro Barrio

    Universidad de Buenos Aires, Argentina

    1 publications · 85 citations

    1

    h-index

1–5 of 11

Institutions

7

  1. Universidade Nova de Lisboa

    Lisbon, Portugal

    1 h-index

    3 publications

    96 citations

  2. Consejo Nacional de Investigaciones Científicas y Técnicas

    Buenos Aires, Argentina

    1 h-index

    3 publications

    255 citations

  3. Universidade Estadual de Campinas (UNICAMP)

    Campinas, Brazil

    1 h-index

    1 publications

    66 citations

  4. University of Victoria

    Victoria, Canada

    1 h-index

    1 publications

    58 citations

  5. Universidad de Buenos Aires

    Buenos Aires, Argentina

    1 h-index

    3 publications

    255 citations

  6. La Trobe University

    Melbourne, Australia

    1 h-index

    1 publications

    69 citations

  7. Australian National University

    Canberra, Australia

    1 h-index

    1 publications

    58 citations

1–7 of 7

Venues

  1. Studia Logica

    2 publications · 127 citations

    2

    h-index

  2. Repositorio Institucional UN - Biblioteca Digital

    Repository · 1 publications · 66 citations

    1

    h-index

  3. Notre Dame Journal of Formal Logic

    1 publications · 22 citations

    1

    h-index

  4. Journal of Philosophical Logic

    1 publications · 85 citations

    1

    h-index

  5. Journal of Applied Logic

    1 publications · 32 citations

    1

    h-index

1–5