A Model-Theoretic Analysis of Fidel-Structures for mbC

DOI10.1007/978-3-030-25365-3_10zbMath1469.03072OpenAlexW2998052091MaRDI QIDQ3305664

Aldo Figallo Orellano, Marcelo E. Coniglio

Publication date: 10 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://philpapers.org/rec/ECOAMA

zbMATH Keywords

model theorylogics of formal inconsistencyparaconsistent logicsBirkhoff decomposition theoremFidel structures

Mathematics Subject Classification ID

Lattices of varieties (08B15) Equational classes, universal algebra in model theory (03C05) Paraconsistent logics (03B53) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-deterministic semantics for logics with a consistency operator
• A note on naive set theory in LP
• A semantical analysis of the calculi \(C_n\)
• The logic of paradox
• Paraconsistent logic: consistency, contradiction and negation
• The many valued and nonmonotonic turn in logic
• ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
• A propositional calculus for inconsistent deductive systems
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• Algebraizable logics
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Logics of Formal Inconsistency
• None of the Above: The Catuṣkoṭi in Indian Buddhist Logic
• REMARKS ON NAIVE SET THEORY BASED ONLP
• Subdirect unions in universal algebra

This page was built for publication: A Model-Theoretic Analysis of Fidel-Structures for mbC