Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: fom - 10 - a fundamental demorgan algebra
Replies: 1   Last Post: Dec 11, 2012 9:33 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
fom

Posts: 1,968
Registered: 12/4/12
Re: fom - 10 - CORRECTED - a fundamental demorgan algebra
Posted: Dec 11, 2012 9:33 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply



Given that the 20-element ortholattice
has been constructed from the lines
of our affine geometry, the 16
functions of our original
connectivity algebra form the
extensional basis of the construction.

However, the namespace of the
ortholattice has been obtained in
such a way that

NTRU has been replaced with NOT

The next construction embeds a
DeMorgan algebra into the lattice
so that the four-atom Boolean block
has an independent interpretation
that is isomorphic to the free
Boolean lattice on two generators
associated with truth-functional
logic.


Without negation, it is
difficult to convey the four
forms

Ax, Ax-, Ex, Ex-

The namespace is formulated so that

ALL corresponds with Ax
NO corresponds with Ax-
SOME corresponds with Ex
OTHER corresponds with Ex-


We fix the relationships of
these names, relative to the
use of negation, by taking
ALL and SOME as fixed and
NO and OTHER as conjugate.

This choice reflects the fixing
of an object type from an arbitrary
domain on the basis of negative
properties presumed to partition
the arbitrary domain rather than
positive properties that might
be impredicative.

This DeMorgan transformation
is made precise by the
subdirectly irreducible DeMorgan
algebra on four elements whose
involution is given by


ALL --> ALL
NO --> OTHER
OTHER --> NO
SOME --> SOME


It helps to visualize this as a lattice,
with the exchanging elements positioned
as if reflecting through a line.



OTHER

/ \
/ \
/ \
/ \

SOME ALL

\ /
\ /
\ /
\ /

NO



The product of this algebra with
itself has sixteen elements.


We now correllate those line
names used for the four-atom
Boolean block with the elements
of the 16-element DeMorgan lattice.


Self-conjugate pairs:


FIX --> (SOME,ALL)

FLIP --> (ALL,SOME)

LET --> (ALL,ALL)

DENY --> (SOME,SOME)


Conjugate pairs:


NOR --> (OTHER,SOME)
NAND --> (NO,SOME)

AND --> (OTHER,ALL)
OR --> (NO,ALL)

NIF --> (ALL,OTHER)
IMP --> (ALL,NO)

NIMP --> (SOME,OTHER)
IF --> (SOME,NO)

LEQ --> (OTHER, NO)
XOR --> (NO, OTHER)

TRU --> (NO,NO)
NOT --> (OTHER,OTHER)





Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.