An algebraic analysis of implication in non-distributive logics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F23%3A73621055" target="_blank" >RIV/61989592:15310/23:73621055 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/00216224:14310/23:00134050

Výsledek na webu

<a href="https://academic.oup.com/logcom/article/33/1/47/6615451" target="_blank" >https://academic.oup.com/logcom/article/33/1/47/6615451</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1093/logcom/exac041" target="_blank" >10.1093/logcom/exac041</a>

Jazyk výsledku

angličtina

Název v původním jazyce

An algebraic analysis of implication in non-distributive logics

Popis výsledku v původním jazyce

In this paper, we introduce the concept of a (lattice) skew Hilbert algebra as a natural generalization of Hilbert algebras. This notion allows a unified treatment of several structures of prominent importance for mathematical logic, e.g. (generalized) orthomodular lattices, and MV-algebras, which admit a natural notion of implication. In fact, it turns out that skew Hilbert algebras play a similar role for (strongly) sectionally pseudocomplemented posets as Hilbert algebras do for relatively pseudocomplemented ones. We will discuss basic properties of closed, dense and weakly dense elements of skew Hilbert algebras and their applications, and we will provide some basic results on their structure theory.

Název v anglickém jazyce

An algebraic analysis of implication in non-distributive logics

Popis výsledku anglicky

In this paper, we introduce the concept of a (lattice) skew Hilbert algebra as a natural generalization of Hilbert algebras. This notion allows a unified treatment of several structures of prominent importance for mathematical logic, e.g. (generalized) orthomodular lattices, and MV-algebras, which admit a natural notion of implication. In fact, it turns out that skew Hilbert algebras play a similar role for (strongly) sectionally pseudocomplemented posets as Hilbert algebras do for relatively pseudocomplemented ones. We will discuss basic properties of closed, dense and weakly dense elements of skew Hilbert algebras and their applications, and we will provide some basic results on their structure theory.

Druh

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

CEP obor

—

OECD FORD obor

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

Projekt

<a href="/cs/project/GF20-09869L" target="_blank" >GF20-09869L: Ortomodularita z různých pohledů</a><br>

Návaznosti

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

Rok uplatnění

2023

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

JOURNAL OF LOGIC AND COMPUTATION

ISSN

0955-792X

e-ISSN

1465-363X

Svazek periodika

33

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

43

Strana od-do

47-89

Kód UT WoS článku

000815515700001

EID výsledku v databázi Scopus

2-s2.0-85159586489