SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
From MaRDI portal
Publication:5001546
DOI10.1017/S1755020319000595MaRDI QIDQ5001546
Marcelo E. Coniglio, G. T. Gomez-Pereira, Martín Figallo
Publication date: 22 July 2021
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1807.05651
model theorylogics of formal inconsistencyparaconsistent logicsfirst-order logicsthree-valued logics
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The logic of paradox
- Paraconsistent logic: consistency, contradiction and negation
- On the theory of inconsistent formal systems
- Aspects of Paraconsistent Logic
- Logics of Formal Inconsistency
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- Lattices With Involution
- Formal inconsistency and evolutionary databases
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Pragmatic truth and approximation to truth
- Definability and quantifier elimination for \(J_ 3\)-theories
- An alternative approach for quasi-truth
- ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
- Non-deterministic algebraization of logics by swap structures1
Cited In (1)
This page was built for publication: SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5001546)
