Reduced axioms for the propositional logics induced by basic algebras

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F18%3A73590271" target="_blank" >RIV/61989592:15310/18:73590271 - isvavai.cz</a>
Result on the web
<a href="https://link.springer.com/article/10.1007%2Fs00500-017-2628-1" target="_blank" >https://link.springer.com/article/10.1007%2Fs00500-017-2628-1</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00500-017-2628-1" target="_blank" >10.1007/s00500-017-2628-1</a>

Result language
angličtina
Original language name
Reduced axioms for the propositional logics induced by basic algebras
Original language description
A certain logic induced by basic algebras was studied by the first author and, for the particular case of the so-called commutative basic algebras, axiom system was established by Botur and Halaš. The second author the just mentioned axiom system essentially reduced. The aim of this paper is to reduce the original axiom system from and to show that it is the best possible reduction in the sense that the remaining axioms are independent.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics

Project
<a href="/en/project/GF15-34697L" target="_blank" >GF15-34697L: New perspectives on residuated posets</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Similar results(10)