### Abstract

We investigate mathematical structures that provide natural semantics for families of (quantified) non-classical logics featuring special unary connectives, known as recovery operators, that allow us to 'recover' the properties of classical logic in a controlled manner. These structures are known as topological Boolean algebras, which are Boolean algebras extended with additional operations subject to specific conditions of a topological nature. In this study we focus on the paradigmatic case of negation. We demonstrate how these algebras are well-suited to provide a semantics for some families of paraconsistent Logics of Formal Inconsistency and paracomplete Logics of Formal Undeterminedness. These logics feature recovery operators used to earmark propositions that behave 'classically' when interacting with non-classical negations. We refer to the companion paper for more information.

### License

BSD License

### Topics

- Logic/General logic

### Session Topological_Semantics

- boolean_algebra
- boolean_algebra_operators
- boolean_algebra_infinitary
- conditions_positive
- conditions_positive_infinitary
- conditions_negative
- conditions_negative_infinitary
- conditions_relativized
- conditions_relativized_infinitary
- logics_consequence
- logics_operators
- logics_negation
- logics_quantifiers
- logics_quantifiers_example
- logics_LFI
- logics_LFU

## Cite

×

Topological_Semantics-AFP

    @article{Topological_Semantics-AFP,
      author  = {David Fuenmayor},
      title   = {Topological semantics for paraconsistent and paracomplete logics},
      journal = {Archive of Formal Proofs},
      month   = {December},
      year    = {2020},
      note    = {\url{https://isa-afp.org/entries/Topological_Semantics.html},
                 Formal proof development},
      ISSN    = {2150-914x},
    }

Download

## Download

× Download latest

Older releases:

- Sep 13, 2023 : Isabelle2023
- Oct 27, 2022 : Isabelle2022
- Dec 14, 2021 : Isabelle2021-1
- Feb 23, 2021 : Isabelle2021
- Dec 22, 2020 : Isabelle2020