A semantical analysis of the calculi \(C_n\)

DOI10.1305/ndjfl/1093888132zbMath0349.02022OpenAlexW2086832424MaRDI QIDQ1234675

Newton C. A. Da Costa, Elias H. Alves

Publication date: 1977

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093888132

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General logic (03B99)

Related Items (37)

Adaptive Fregean set theory ⋮ Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics ⋮ AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY ⋮ A paraconsistent relational data model ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Lindenbaum-type logical structures ⋮ Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic ⋮ Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 ⋮ Higher-Order Modal Logics: Automation and Applications ⋮ Tree-like proof systems for finitely-many valued non-deterministic consequence relations ⋮ Paraconsistent disjunctive deductive databases ⋮ Looting Liars Masking Models ⋮ Inferential Semantics, Paraconsistency, and Preservation of Evidence ⋮ A Model-Theoretic Analysis of Fidel-Structures for mbC ⋮ On Discourses Addressed by Infidel Logicians ⋮ A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS ⋮ Non Truth-Functional Many-Valuedness ⋮ Towards an Efficient Prover for the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>C</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math> Paraconsistent Logic ⋮ Limits for paraconsistent calculi ⋮ Why Paraconsistent Logics? ⋮ A Survey of Annotated Logics ⋮ Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics ⋮ Paraconsistent logic programming ⋮ An epistemic approach to paraconsistency: a logic of evidence and truth ⋮ Algebraic Valuations as Behavioral Logical Matrices ⋮ Analytical tableaux for da Costa's hierarchy of paraconsistent logics C_n, 1≤n<ω ⋮ Behavioral algebraization of da Costa's C-systems ⋮ On the Philosophy and Mathematics of the Logics of Formal Inconsistency ⋮ Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗ ⋮ Valuation semantics for first-order logics of evidence and truth ⋮ First-order logics of evidence and truth with constant and variable domains ⋮ Paraconsistent Logical Consequence ⋮ Paraconsistent logic and model theory ⋮ Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)

This page was built for publication: A semantical analysis of the calculi \(C_n\)