First-order logics of evidence and truth with constant and variable domains

DOI10.1007/S11787-022-00306-8MaRDI QIDQ2084569zbMATH OpenOpenAlexFDO

Authors Abilio Rodrigues, H. Antunes

Publication date 18 October 2022

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-022-00306-8

zbMATH Keywords

Kripke modelslogics of evidence and truthparaconsistencyvariable domains

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53)

Recommendations

• Valuation semantics for first-order logics of evidence and truth
• First-order justification logic with constant domain semantics
• On formal aspects of the epistemic approach to paraconsistency
• Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
• Dynamic logics of evidence-based beliefs

Cites work

• 40 years of FDE: an introductory overview
• A mathematical introduction to logic.
• A semantical analysis of the calculi \(C_n\)
• An epistemic approach to paraconsistency: a logic of evidence and truth
• Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
• Constructible falsity and inexact predicates
• Constructivism in mathematics. An introduction. Volume II
• First degree entailments
• Handbook of philosophical logic. Vol. 6
• How a Computer Should Think
• scientific article; zbMATH DE number 4016868 (Why is no real title available?)
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3875243 (Why is no real title available?)
• scientific article; zbMATH DE number 3700797 (Why is no real title available?)
• scientific article; zbMATH DE number 551010 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 3315182 (Why is no real title available?)
• scientific article; zbMATH DE number 3412605 (Why is no real title available?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Logics of formal inconsistency
• Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
• Nearly every normal modal logic is paranormal
• New essays on Belnap-Dunn logic
• On the philosophy and mathematics of the logics of formal inconsistency
• On the strong semantical completeness of the intuitionistic predicate calculus
• On the theory of inconsistent formal systems
• On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency
• Paraconsistency and its philosophical interpretations
• Paraconsistent logic, evidence, and justification
• Paraconsistent logic: consistency, contradiction and negation
• Propositional calculus for contradictory deductive systems
• Recovery operators, paraconsistency and duality
• Two, three, four, infinity: the path to the four-valued logic and beyond
• Valuation semantics for first-order logics of evidence and truth

Cited in

(7)

• Valuation semantics for first-order logics of evidence and truth
• On Barrio, Lo Guercio, and Szmuc on logics of evidence and truth
• From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
• Normalization and cut-elimination theorems for some logics of evidence and truth
• Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa
• Variable domain first-order first-degree entailment and some of its children
• On universally free first-order extensions of Belnap-Dunn's four-valued logic and Nelson's paraconsistent logic \(N{4}\)

This page was built for publication: First-order logics of evidence and truth with constant and variable domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2084569)