Displaying similar documents to “On systems of congruences on principal filters of orthomodular implication algebras”

The axioms for implication in orthologic

Ivan Chajda (2008)

Czechoslovak Mathematical Journal

Similarity:

We set up axioms characterizing logical connective implication in a logic derived by an ortholattice. It is a natural generalization of an orthoimplication algebra given by J. C. Abbott for a logic derived by an orthomodular lattice.

The Role of Halaš Identity in Orthomodular Lattices

Ivan Chajda (2014)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

We prove that a certain identity introduced by R. Halaš for classifying basic algebras can be used for characterizing orthomodular lattices in the class of ortholattices with antitone involutions on every principal filter.

A glimpse of deductive systems in algebra

Dumitru Buşneag, Sergiu Rudeanu (2010)

Open Mathematics

Similarity:

The concept of a deductive system has been intensively studied in algebraic logic, per se and in connection with various types of filters. In this paper we introduce an axiomatization which shows how several resembling theorems that had been separately proved for various algebras of logic can be given unique proofs within this axiomatic framework. We thus recapture theorems already known in the literature, as well as new ones. As a by-product we introduce the class of pre-BCK algebras. ...