Implication in finite posets with pseuducomplemented sections

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F22%3A73613053" target="_blank" >RIV/61989592:15310/22:73613053 - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/article/10.1007/s00500-022-07052-5" target="_blank" >https://link.springer.com/article/10.1007/s00500-022-07052-5</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00500-022-07052-5" target="_blank" >10.1007/s00500-022-07052-5</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Implication in finite posets with pseuducomplemented sections
Popis výsledku v původním jazyce
It is known that relatively pseudocomplemented lattices serve as an algebraic semantics of intuitionistic logic. We extend here the concept of relative pseudocomplementation to non-distributive lattices and then to posets with top element where everx section is pseudocomplemented. We show that such a poset can be considered as an algebraic semantics for certain kind of more general intuitionistic logic. We introduce an "unsharp" version of implication to which can be adjoint a new "unsharp" version of conjunction such that these operators complete the poset in "unsharp" residuated poset.
Název v anglickém jazyce
Implication in finite posets with pseuducomplemented sections
Popis výsledku anglicky
It is known that relatively pseudocomplemented lattices serve as an algebraic semantics of intuitionistic logic. We extend here the concept of relative pseudocomplementation to non-distributive lattices and then to posets with top element where everx section is pseudocomplemented. We show that such a poset can be considered as an algebraic semantics for certain kind of more general intuitionistic logic. We introduce an "unsharp" version of implication to which can be adjoint a new "unsharp" version of conjunction such that these operators complete the poset in "unsharp" residuated poset.

Druh
J<sub>imp</sub> - Č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í
2022
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ů

Podobné výsledky(10)