The class of all 3-valued implicative expansions of Kleene's strong logic containing Anderson and Belnap's First degree entailment logic
The class of all 3-valued implicative expansions of Kleene's strong logic containing Anderson and Belnap's First degree entailment logic
[EN] We define all 3-valued implicative expansions of Kleene’s strong 3-valued matrix (with both only one and two designated values) verifying Anderson and Belnap’s First degree entailment logic, FDE. Then, the logics determined by each one of these implicative expansions are axiomatized by using a Belnap-Dunn ‘two-valued’ semantics. This semantics is ‘overdetermined’ in the case of two designated values and ‘underdetermined’ when there is only one.
Ministerio de Economía, Industria y Competitividad (España)
SI
- University of Leon Spain
11 Lógica, First degree entailment logic FDE, Lógica, 3-valued logic, Belnap-Dunn ‘twovalued’ semantics, Kleene’s strong 3-valued logic, Implicative logic
11 Lógica, First degree entailment logic FDE, Lógica, 3-valued logic, Belnap-Dunn ‘twovalued’ semantics, Kleene’s strong 3-valued logic, Implicative logic
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).0 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!