Ockham algebra

Ockham algebra

In mathematics, an Ockham algebra is a bounded distributive lattice with a dual endomorphism. They were introduced by Berman (1977), and were named after William of Ockham by Urquhart (1979).

Examples of Ockham algebras include Boolean algebras, De Morgan algebras, Stone algebras, and Kleene algebras.

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • William of Ockham — Full name William of Ockham Born c. 1288 Ockham, England Died 1347 or 1348 Munich, Holy Roman Empire …   Wikipedia

  • List of Boolean algebra topics — This is a list of topics around Boolean algebra and propositional logic. Contents 1 Articles with a wide scope and introductions 2 Boolean functions and connectives 3 Examples of Boolean algebras …   Wikipedia

  • De Morgan algebra — In mathematics, a De Morgan algebra is a structure A = (A, ∨, ∧, 0, 1, ¬) such that: (A, ∨, ∧, 0, 1) is a bounded distributive lattice, and ¬ is a De Morgan involution: ¬(x ∧ y) =… …   Wikipedia

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • Mathematikgeschichte — Die Geschichte der Mathematik reicht zurück bis ins Altertum. Inhaltsverzeichnis 1 Mathematik der alten Ägypter und Babylonier 1.1 Ägypten 1.2 Babylon 2 Mathematik der Antike 3 Ch …   Deutsch Wikipedia

  • Mathematikhistoriker — Die Geschichte der Mathematik reicht zurück bis ins Altertum. Inhaltsverzeichnis 1 Mathematik der alten Ägypter und Babylonier 1.1 Ägypten 1.2 Babylon 2 Mathematik der Antike 3 Ch …   Deutsch Wikipedia

  • History of logic — Philosophy ( …   Wikipedia

  • Geschichte der Mathematik — Die Geschichte der Mathematik reicht zurück bis ins Altertum. Inhaltsverzeichnis 1 Mathematik der alten Ägypter und Babylonier 1.1 Ägypten 1.2 Babylon 2 Mathem …   Deutsch Wikipedia

  • epistemology — epistemological /i pis teuh meuh loj i keuhl/, adj. epistemologically, adv. epistemologist, n. /i pis teuh mol euh jee/, n. a branch of philosophy that investigates the origin, nature, methods, and limits of human knowledge. [1855 60; < Gk… …   Universalium

  • Ciencia medieval — Dios creando el universo a través de principios geométricos. Frontispicio de la Bible Moralisée, 1215 …   Wikipedia Español

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”