On generalized implication algebras


Janez Ušan, Branimir Šešelja




U radu se definiše algebra sa jednom $n$-arnom operacijom, u oznaci $\langle A,\mathcal J\rangle$ i naziva se generalisana implikativna algebra. Za operaciju $\mathcal J$ zahteva se da zadovoljava uopštene zakone sažimanja, kvazi-komutativnosti i izmene (Definicija 1). U nastavku se pokazuje da su osobine koje takva algebra ima slične osobinama binarnih implikativnih algebri definisanim u [1]. Na osnovu definicije generalisanog poretka, pokazuje se da se u generalisanim implikativnim algebrama može definisati relacija koja zadovoljava uslove tog poretka, tj. da se te algebre mogu parcijalno urediti (Teorem 1).