History and Philosophy of Logic 26 (2):75-91 (2005)
De Morgan's Formal Logic, which was published on virtually the same day in 1847 as Boole's The Mathematical Analysis of Logic, contains a logic of complex terms (LCT) which has been sadly neglected. It is surprising to find that LCT contains almost a full theory of Boolean algebra. This paper will: (1) provide some background to LCT; (2) outline its main features; (3) point out some gaps in it; (4) compare it with Boole's algebra; (5) show that it is a lattice-theoretical formulation of Boolean algebra; (6) discuss some issues of historical priority; and (7) conclude with the puzzle of LCT's lack of influence
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Citations of this work BETA
No citations found.
Similar books and articles
Chains and Antichains in Interval Algebras.M. Bekkali - 1994 - Journal of Symbolic Logic 59 (3):860-867.
On Essentially Low, Canonically Well-Generated Boolean Algebras.Robert Bonnet & Matatyahu Rubin - 2002 - Journal of Symbolic Logic 67 (1):369-396.
The Logic of Experimental Questions.R. I. G. Hughes - 1982 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1982:243 - 256.
Construction of Monadic Three-Valued Łukasiewicz Algebras.Luiz Monteiro, Sonia Savini & Julio Sewald - 1991 - Studia Logica 50 (3-4):473 - 483.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
Some Remarks on Openly Generated Boolean Algebras.Sakaé Fuchino - 1994 - Journal of Symbolic Logic 59 (1):302-310.
A Model in Which Every Boolean Algebra has Many Subalgebras.James Cummings & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (3):992-1004.
Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank.Rod Downey & Carl G. Jockusch Jr - 1999 - Journal of Symbolic Logic 64 (1):45-52.
Added to index2010-08-10
Total downloads10 ( #427,468 of 2,158,909 )
Recent downloads (6 months)1 ( #353,777 of 2,158,909 )
How can I increase my downloads?