ARTICLES

Filter  
Active filters 0
Remove
  

Refine your searches by:

Collections
Mathematics
Technology
Education
Computing
Pure sciences
Physical
Computing
Architecture and Urbanism
Research
Civil Engineering
all records (64)

Languages
English
Spanish
Portuguese
German
French

Countries
Indonesia
USA
Brazil
Italy
Ukraine
Australia
Chile
Colombia
Denmark
Spain
all records (58)

Years
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
all records (24)

Filter  
 
2.221  Articles
1 of 223 pages  |  10  records  |  more records»
Purpose: This research makes an application to simplify the Boolean function using Quine-McCluskey, because length of the Boolean function complicates the digital circuit, so that it can be simplified by finding other functions that are equivalent and mor... see more

Given a boolean algebra A, we say when A verifies the Drewnowski condition.  In thepaper we prove that if a boolean algebra verifies the Drewnowski condition then A has the Vitali-Hahn-Saks property. Also other related questions are investigated.

In this paper, we introduce and investigate new types of Alexandroff spaces using well known types of posets; under the conditions that the corresponding poset is complete lattice, distributive lattice and Boolean Algebra. We present some results about th... see more

It can be said that Formal Logic begun by studying an idealization ofthe statements ’if p, then q’, something coming from long ago in both Greek andScholastic Philosophy. Nevertheless, only in the XX Century it arrived at a stage offormalization once in 1... see more

In this paper, we introduce and investigate new types of Alexandroff spaces using well known types of posets; under the conditions that the corresponding poset is complete lattice, distributive lattice and Boolean Algebra. We present some results about th... see more

We provide simple algebraic proofs of two important facts, due to Zakharyaschev and Esakia, about Grzegorczyk algebras.

In this paper, we define the notion of PC-lattice, as a generalization of finite positive implicative BCK-algebras with condition (S) and bounded commutative BCK-algebras. We investiate some results for Pc-lattices being a new class of BCK-lattices. Speci... see more

We introduce a notion of dimension of an algebraic lattice and, treating such a lattice as the congruence lattice of an algebra, we introduce the dimension of an algebra, too. We define a star-product as a special kind of subdirect product. We obtain the ... see more

A C- algebra is the algebraic form of the 3-valued conditional logic, which was introduced by F. Guzman and C.C. Squier in 1990. In this paper, some equivalent conditions for a C- algebra to become a boolean algebra in terms of congruences are given. It i... see more

1 of 223 pages  |  10  records  |  more records»