Page 1 Next

Displaying 1 – 20 of 171

Showing per page

A glimpse of deductive systems in algebra

Dumitru Buşneag, Sergiu Rudeanu (2010)

Open Mathematics

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.

A note on the distribution of angles associated to indefinite integral binary quadratic forms

Dragan Đokić (2019)

Czechoslovak Mathematical Journal

To each indefinite integral binary quadratic form Q , we may associate the geodesic in through the roots of quadratic equation Q ( x , 1 ) . In this paper we study the asymptotic distribution (as discriminant tends to infinity) of the angles between these geodesics and one fixed vertical geodesic which intersects all of them.

Currently displaying 1 – 20 of 171

Page 1 Next