Results 201 to 210 of about 792 (225)

The Semantics of First Degree Entailment

Nous, 1972
We argue that the semantics of the first degree paradox-free implication system FD supports the claim it is superior to strict implication as an analysis of entailment at the first degree level. The semantics also reveals that Disjunctive Syllogism, A & (,.A v B) -AB, far from being a paradigmatic entailment, is invalid, and allows the illegitimate ...
R. Routley, V. Routley
exaly   +2 more sources

First-Degree Entailment and Structural Reasoning

Synthese Library, 2019
In this paper it is shown how the logic of first-degree entailment of Anderson and Belnap can be represented by a variety of deductively equivalent binary (Fmla-Fmla) consequence systems, up to a system with transitivity as the only inference rule. Some possible extensions of these systems are briefly considered as well.
Yaroslav Shramko, Shramko Yaroslav
exaly   +2 more sources

Towards Tractable Approximations to Many-Valued Logics: The Case of First Degree Entailment [PDF]

, 2022
FDE is a logic that captures relevant entailment between implication-free formulae and admits of an intuitive informational interpretation as a 4-valued logic in which “a computer should think”. However, the logic is co-NP complete, and so an idealized model of how an agent can think. We address this issue by shifting to signed formulae where the signs
D’Agostino, Marcello, Solares-Rojas, Alejandro   +1 more
core   +4 more sources

Correspondence analysis and automated proof-searching for first degree entailment

European Journal of Mathematics, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yaroslav Petrukhin, Vasily Shangin
exaly   +2 more sources

Variable Domain First-Order First-Degree Entailment and Some of Its Children

Studia Logica
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Henrique Antunes, Abilio Rodrigues, Rodrigues Abilio   +2 more
exaly   +2 more sources

First Degree Entailment

, 2008
Graham Priest
core   +4 more sources

Negation in the Logic of First Degree Entailment and Tonk

, 2011
Shahid Rahman
openaire   +3 more sources

Removing the Oddity in First Degree Entailment

Thought: A Journal of Philosophy, 2019
I discuss an old problem with first degree entailment (FDE), namely the unintuitive way disjunctions and conjunctions between statements with values B and N are defined. I supply a solution to this problem that involves a modification of FDE that leaves the philosophical motivation for the logic unharmed.
openaire   +1 more source

Default Rules in the Logic of First-Degree Entailments

2019
Monotonicity is a property of the consequence relation of classical logic, which has been questioned for a range of reasons, some of which we overview. Default logic, which is a non-monotonic logic, was introduced to model defeasible conclusions that may be justified by default rules. In this paper, we scrutinize certain features of non-monotonicity of
openaire   +1 more source

First degree entailments

Mathematische Annalen, 1963
Anderson, A. R., Belnap, N. D. jun.
openaire   +1 more source