A family of genuine and non-algebraisable C-systems
From MaRDI portal
Publication:5000136
DOI10.1080/11663081.2021.1885167OpenAlexW3130620399MaRDI QIDQ5000136
Miguel Pérez-Gaspar, Aldo Figallo Orellano, Mauricio Osorio
Publication date: 6 July 2021
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2021.1885167
Related Items
Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 ⋮ Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
Cites Work
- Limits for paraconsistent calculi
- Constructive negations and paraconsistency
- Non-deterministic semantics for logics with a consistency operator
- Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\)
- \(C_ 1\) is not algebraizable
- An algebraic approach to non-classical logics
- Kripke-type semantics for \(\mathrm{CG}_3'\)
- Paraconsistent logic: consistency, contradiction and negation
- Finite limitations on Dummett's LC
- Revisiting \(\mathbb Z\)
- On paraconsistent extensions of \(C_1\)
- On the theory of inconsistent formal systems
- Non-deterministic Multiple-valued Structures
- Logics with Common Weak Completions
- Algebraizable logics
- Algebraic Semantics for Paraconsistent Nelson's Logic
- Logics of Formal Inconsistency
- Two Genuine 3-Valued Paraconsistent Logics
- Cut-free sequent calculi for C-systems with generalized finite-valued semantics
- Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item