On systems of congruences on principál filters of orthomodular implication algebras

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F07%3A00004721" target="_blank" >RIV/61989592:15310/07:00004721 - isvavai.cz</a>
Alternative codes found
RIV/61989592:15310/07:00005653
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
On systems of congruences on principál filters of orthomodular implication algebras
Original language description
Orthomodular implication algebras (with or without compatibility condition) are a natural generalization of Abbott?s implication algebras, an implication reduct of the classical propositional logic. In the paper deductive systems (=congruence kernels) ofsuch algebras are described by means of their restrictions to principal filters having the structure of orthomodular lattices.
Czech name
O systémech kongruencí na hlavních filtrech ortomodulárních implikačních algeber
Czech description
Ortomodulární implikační algebry (s podmínkou kompatibility nebo bez ní) jsou přirozeným zobecněním Abbottových implikačních algeber, tj. implikačního reduktu klasické výrokové logiky. V článku jsou popsány deduktivní systémy (=kongruenční jádra) takových algeber pomocí jejich restrikcí na hlavní filtry a mající strukturu ortomodulárního svazu.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

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

Similar results(10)