Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3

DOI10.12775/llp.2022.019zbMath1530.03109OpenAlexW4281479073MaRDI QIDQ6107287

Aldo Figallo Orellano, Miguel Pérez-Gaspar, Everardo Bárcenas

Publication date: 3 July 2023

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2022.019

zbMATH Keywords

paraconsistent logicsfirst-order logicsfidel semantics

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Definability and quantifier elimination for \(J_ 3\)-theories
• A semantical analysis of the calculi \(C_n\)
• Kripke-type semantics for \(\mathrm{CG}_3'\)
• Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
• Paraconsistent logic: consistency, contradiction and negation
• Revisiting \(\mathbb Z\)
• ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
• Paraconsistency and Sette’s calculus P1
• An axiomatic approach to CG′3 logic
• Logics with Common Weak Completions
• Brief study of G'₃ logic
• Stable inference as intuitionistic validity
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Elimination of Quantifiers on Łukasiewicz Logics
• A family of genuine and non-algebraisable C-systems
• On the system CB1 and a lattice of the paraconsistent calculi
• Sette’s calculus P1 and some hierarchies of paraconsistent systems
• Monteiro's algebraic notion of maximal consistent theory for Tarskian logics