An Algebraic View of Super-Belnap Logics

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F17%3A00477279" target="_blank" >RIV/67985807:_____/17:00477279 - isvavai.cz</a>

Result on the web

<a href="http://dx.doi.org/10.1007/s11225-017-9739-7" target="_blank" >http://dx.doi.org/10.1007/s11225-017-9739-7</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s11225-017-9739-7" target="_blank" >10.1007/s11225-017-9739-7</a>

Result language

angličtina

Original language name

An Algebraic View of Super-Belnap Logics

Original language description

The Belnap–Dunn logic (also known as First Degree Entailment, or FDE) is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger logics in the same language, called super-Belnap logics here. We give an overview of several results on these logics which have been proved in recent works by Přenosil and Rivieccio. We present Hilbert-style axiomatizations, describe reduced matrix models, and give a description of the lattice of super-Belnap logics and its connections with graph theory. We adopt the point of view of Abstract Algebraic Logic, exploring applications of the general theory of algebraization of logics to the super-Belnap family. In this respect we establish a number of new results, including a description of the algebraic counterparts, Leibniz filters, and strong versions of super-Belnap logics, as well as the classification of these logics within the Leibniz and Frege hierarchies.

Czech name

—

Czech description

—

Type

J_imp - Article in a specialist periodical, which is included in the Web of Science database

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Center of excellence - Institute for theoretical computer science (CE-ITI)</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2017

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Studia Logica

ISSN

0039-3215

e-ISSN

—

Volume of the periodical

105

Issue of the periodical within the volume

6

Country of publishing house

NL - THE KINGDOM OF THE NETHERLANDS

Number of pages

36

Pages from-to

1051-1086

UT code for WoS article

000415716400002

EID of the result in the Scopus database

2-s2.0-85026908823