Browsing by Author "Oner, Tahsin"

Now showing 1 - 3 of 3

Citation - WoS: 21
Citation - Scopus: 25
Filters of strong Sheffer stroke non-associative MV-algebras
(OVIDIUS UNIV PRESS, 2021) Tahsin Oner; Tugce Katican; Arsham Borumand Saeid; Mehmet Terziler; Katican, Tugce; Terziler, Mehmet; Saeid, Arsham Borumand; Oner, Tahsin
In this paper at first we study strong Sheffer stroke NMV-algebra. For getting more results and some classification the notions of filters and subalgebras are introduced and studied. Finally by a congruence relation we construct a quotient strong Sheffer stroke NMV-algebra and isomorphism theorems are proved.
Citation - WoS: 2
Citation - Scopus: 2
INDEPENDENCE OF COUNTABLE SETS OF FORMULAS OF THE PROPOSITIONAL LOGIC
(CHARLES BABBAGE RES CTR, 2013) Tahsin Oner; Mehmet Terziler; Oner, Tahsin; Terziler, Mehmet
In this paper we prove that every countable set of formulas of the propositional logic has at least one equivalent independent subset. We illustrate the situation by considering axioms for Boolean algebras, the proof of independence we give uses model forming.
Citation - Scopus: 3
Mathematics and Poetry · Yang–Baxter Equations Boolean Algebras and BCK-Algebras
(MDPI, 2022) Tugce Kalkan; Florin Felix Nichita; Tahsi̊n Öner; Ibrahim Senturk; Mehmet Terziler; Nichita, Florin F.; Terziler, Mehmet; Kalkan, Tugce; Oner, Tahsin; Senturk, Ibrahim
The current paper explores the potential of the areas between mathematics and poetry. We will first recall some definitions and results that are needed to construct solutions of the Yang–Baxter equation. A new duality principle is presented and Boolean coalgebras are introduced. A section on poetry dedicated to the Yang–Baxter equation is presented and a discussion on a poem related to a mathematical formula follows. The final section presents our conclusions and further information on these topics. © 2022 Elsevier B.V. All rights reserved.