PlanetMath:

(more info)

Math for the people, by the people.

Main Menu

Encyclopedia by subject

03G25 - Mathematical logic and foundations :: Algebraic logic :: Other algebras related to logic

consequence operator owned by rspuzio consequence operator determined by a class of subsets owned by rspuzio consequence operator is determined by its fixed points owned by rspuzio finiteness of $C_\cup$ and $C_{\cap}$ owned by rspuzio operations on consequence operators owned by rspuzio proof that $C_\cup$ and $C_\cap$ are consequence operators owned by rspuzio superfluity of the third defining property for finite consequence operator owned by rspuzio
Show empty categories:
[ up \| top ]