First-order logics of evidence and truth with constant and variable domains
type: Item
instance of: scholarly article
title: First-order logics of evidence and truth with constant and variable domains
author: Abilio Rodrigues
author: H. Antunes
published in: Logica Universalis
publication date: 2022-10-18T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 7603235
zbMATH Keywords: logics of evidence and truth
zbMATH Keywords: paraconsistency
zbMATH Keywords: Kripke models
zbMATH Keywords: variable domains
MaRDI profile type: Publication
full work available at URL: s11787-022-00306-8
OpenAlex ID: W4283364852
cites work: Constructible falsity and inexact predicates
cites work: Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
cites work: First degree entailments
cites work: Valuation semantics for first-order logics of evidence and truth
cites work: Paraconsistency and its Philosophical Interpretations
cites work: How a Computer Should Think
cites work: Q3206928
cites work: Paraconsistent logic: consistency, contradiction and negation
cites work: Q4440555
cites work: On the Philosophy and Mathematics of the Logics of Formal Inconsistency
cites work: An epistemic approach to paraconsistency: a logic of evidence and truth
cites work: Logics of Formal Inconsistency
cites work: ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
cites work: Recovery operators, paraconsistency and duality
cites work: Q4287778
cites work: On the theory of inconsistent formal systems
cites work: A semantical analysis of the calculi \(C_n\)
cites work: Q5596218
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond
cites work: A mathematical introduction to logic.
cites work: Paraconsistent logic, evidence, and justification
cites work: Propositional calculus for contradictory deductive systems
cites work: Q3028982
cites work: Q3893900
cites work: Q3342543
cites work: Q5677463
cites work: Q3367515
cites work: 40 years of FDE: an introductory overview
cites work: New Essays on Belnap-­Dunn Logic
cites work: Handbook of philosophical logic. Vol. 6
cites work: Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
cites work: On the strong semantical completeness of the intuitionistic predicate calculus
cites work: Constructivism in mathematics. An introduction. Volume II
DOI: 10.1007/S11787-022-00306-8
description: scientific article; zbMATH DE number 7603235