Implicational (semilinear) logics III: completeness properties

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985556%3A_____%2F18%3A00477040" target="_blank" >RIV/67985556:_____/18:00477040 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985807:_____/18:00477040

Výsledek na webu

<a href="http://dx.doi.org/10.1007/s00153-017-0577-0" target="_blank" >http://dx.doi.org/10.1007/s00153-017-0577-0</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s00153-017-0577-0" target="_blank" >10.1007/s00153-017-0577-0</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Implicational (semilinear) logics III: completeness properties

Popis výsledku v původním jazyce

This paper presents an abstract study of completeness properties of non-classical logics with respect to matricial semantics. Given a class of reduced matrix models we define three completeness properties of increasing strength and characterize them in several useful ways. Some of these characterizations hold in absolute generality and others are for logics with generalized implication or disjunction connectives, as considered in the previous papers. Finally, we consider completeness with respect to matrices with a linear dense order and characterize it in terms of an extension property and a syntactical metarule. This is the final part of the investigation started and developed in the papers (Cintula and Noguera in Arch Math Logic 49(4):417–446, 2010 and Arch Math Logic 53(3):353–372, 2016).

Název v anglickém jazyce

Implicational (semilinear) logics III: completeness properties

Popis výsledku anglicky

This paper presents an abstract study of completeness properties of non-classical logics with respect to matricial semantics. Given a class of reduced matrix models we define three completeness properties of increasing strength and characterize them in several useful ways. Some of these characterizations hold in absolute generality and others are for logics with generalized implication or disjunction connectives, as considered in the previous papers. Finally, we consider completeness with respect to matrices with a linear dense order and characterize it in terms of an extension property and a syntactical metarule. This is the final part of the investigation started and developed in the papers (Cintula and Noguera in Arch Math Logic 49(4):417–446, 2010 and Arch Math Logic 53(3):353–372, 2016).

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/GA13-14654S" target="_blank" >GA13-14654S: Neklasické výrokové a predikátové logiky: přístup založený na uspořádání</a><br>

Návaznosti

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

Rok uplatnění

2018

Kód důvěrnosti údajů

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

Název periodika

Archive for Mathematical Logic

ISSN

0933-5846

e-ISSN

—

Svazek periodika

57

Číslo periodika v rámci svazku

3-4

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

30

Strana od-do

391-420

Kód UT WoS článku

000428317500011

EID výsledku v databázi Scopus

2-s2.0-85026497280