Sciweavers

Top Ranked Papers of 2016 on Computer Networks | NDJFL

All ConferencesANCSANOREWSNIMIMCSIMDSNCANDJFLNETWORKS ... Explore NDJFL 2016 »

165

click to vote

NDJFL
2016

111views Computer Networks» more NDJFL 2016»

Boolean Algebras in Visser Algebras

9 years 9 months ago

Download www.mscs.mu.edu

We generalize the double negation construction of Boolean algebras in Heyting algebras, to a double negation construction of the same in Visser algebras (also known as basic algeb...

Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg

claim paper

Read More »

All Subjects

Algorithms

Applied Computing

Artificial Intelligence

Computational Geometry

Distributed And Parallel Computing

Information Technology

Natural Language Processing

Programming Languages

Theoretical Computer Science

VLSI

Computer Networks

NDJFL 2016 »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers