
	Where results make sense

Topic: De Morgan dual

Related Topics

Augustus De Morgan

	Science Fair Projects - Duality (mathematics)
		The prototypical example here is the duality in projective geometry: given any theorem in plane projective geometry, exchanging the terms "point" and "line" everywhere results in a new, equally valid theorem.
		In another group of dualities, the objects of one theory are translated into objects of another theory and the morphisms between objects in the first theory are translated into morphisms in the second theory, but with direction reversed.
		Using a duality of this type, every statement in the first theory can be translated into a "dual" statement in the second theory, where the direction of all arrows has to be reversed.
	www.all-science-fair-projects.com /science_fair_projects_encyclopedia/Duality_%28mathematics%29 (416 words)

	Morgan Skidder - Dual Drive (Site not responding. Last check: 2007-10-17)
		This is the lastest and greatest from Morgan Forestry.
		Morgan has abanandoned the steering which is a feature of our models in favor of a tandem drive.
		Because the hydraulic motor is attached to the walking beam and not the main frame, the torque roll of the the Morgan is trying to lift the front of the walking beam instead of the front of the machine.
	www.vannattabros.com /skidder13.html (373 words)

	De Morgan's laws - Wikipedia, the free encyclopedia
		In logic, De Morgan's laws (or De Morgan's theorem) are rules in formal logic relating pairs of dual logical operators in a systematic manner expressed in terms of negation.
		In extensions of classical propositional logic, the duality still holds (that is, to any logical operator we can always find its dual), since in the presence of the identities governing negation, one may always introduce an operator that is the De Morgan dual of another.
		In its application to the alethic modalities of possibility and necessity, Aristotle observed this case., and in the case of normal modal logic, the relationship of these modal operators to the quantification can be understood by setting up models using Kripke semantics.
	www.wikipedia.org /wiki/DeMorgans_Law (470 words)

	Conwy Morgan
		Morgan's Canon is not a principle of parsimony,[8] it was not formulated as a guide to the description of behavior, it does not dispense with mental faculties, it is not an appeal to the observable, and it is not meant to be specific to animal psychology.
		It is Morgan who was concerned with the subjective character of animal mind, who required careful introspection on the part of the animal psychologist, and for whom the scientific value of comparative psychology's data was "dependent upon the readiness with which they [the data] lend themselves to interpretation in terms of consciousness."[21]
		Between 1885 and 1900, however, the period with which we are chiefly concerned, Morgan published a number of experimental studies of animal behavior[34]and worked out the general monistic rationale[35] which led him to abandon his earlier opposition to a comparative psychology of mental evoluution.
	www.brynmawr.edu /Acads/Psych/rwozniak/morgan.html (2519 words)

	Re: Linear notation
		De Morgan certainly knew this but seems not to have liked the De Morgan dual of composition, perhaps for lack of a reasonable way of expressing it in English.
		The English for Peirce's "relative sum" L+,M, the De Morgan dual of composition, is best put as "L of all non-M" ("Alice is an enemy of all non-sons of Bob") or equally well as "non-L only of M" ("Alice is a non-enemy only of sons of Bob").
		So what De Morgan supplied in lieu of an explicit De Morgan dual of composition were these two constructs, which he notated as respectively LM' ($LM^\prime$) and L,M ($L_\prime M$).
	www.seas.upenn.edu /~sweirich/types/archive/1992/msg00001.html (1405 words)

	minimal note (Site not responding. Last check: 2007-10-17)
		"->" is implication, "~>" is dual implication, i.e.
		The polarity dual of a rule is obtained from by exchanging premise and conclusion and reversing the polarity restriction on the context.
		The De Morgan dual of a rule is obtained by exchanging premise and conclusion and replacing each connective by its De Morgan dual.
	iamwww.unibe.ch /~kai/Current/polarities.html (267 words)

	Learn more about De Morgan's laws in the online encyclopedia. (Site not responding. Last check: 2007-10-17)
		De Morgan's theorem has profound applications in electrical engineering and discrete mathematics.
		has a De Morgan dual in which, roughly speaking, conjunction and disjunction are interchanged.
		This idea can be generalised, to include the universal quantifier and existential quantifier in classical logic as De Morgan duals.
	www.onlineencyclopedia.org /d/de/de_morgan_s_laws.html (278 words)

	GOODE E-News Volume V
		Morgan, a Florida resident, denied Forrest his ninth consecutive championship.
		Last fall Morgan broke the Men's III national slalom record with 2 1/4 buoys at 41' off.
		Morgan's GOODE 9200 Limited, featuring the new T-700 carbon composite, was built six weeks ago at GOODE’s corporate headquarters in Waterford, Michigan.
	www.goode.com /e-news990813volume5.html (243 words)

	Dual Mission
		Morgan was tapped to head the parent organization in 1993, it was known mostly for its storied homeless shelter, the Bowery Mission, founded in 1879.
		Morgan set up a separate nonprofit entity with the IRS to avoid commingling his budgets.
		Morgan and his program can keep the faith, they may help spark a small reformation in care-giving more effective and humane than what government can do on its own.
	www.heritage.org /Research/Religion/ED020201b.cfm (796 words)

	Assemblymen Michael Panter and Robert Morgan (Site not responding. Last check: 2007-10-17)
		Panter and Morgan were among four Democrats who abstained on a motion to block Republican-sponsored “pay-to-play” legislation from being voted on by the Assembly on March 15th, saying they wished to send a message to their party’s leaders regarding the importance of ethics reforms.
		They also continued to call for a ban on the ability of legislators to hold dual elected offices, and said they would fight for such measures which were not contained in the 25-point plan.
		Panter and Morgan unveiled their legislation banning dual-office holding (A-2615) as well as their proposal to ban no-bid contracts, which would apply to all levels of government, including state, county, municipal and school boards.
	www.politicsnj.com /panter033104.htm (1631 words)

	Morgan Cole in dual partner hire (Site not responding. Last check: 2007-10-17)
		Southwest firm Morgan Cole has taken on a new head of banking and another IP partner to bolster its practice.
		Morgan Cole business services divisional director Bleddyn Rees said both lawyers had been taken on to grow their departments.
		The appointments come after a turbulent year for Morgan Cole, with the firm last month deciding to split from its 11-partner London insurance division Fishburn Morgan Cole, and seeing the loss of two more insurance partners, Mark Fanning and Hugh Price.
	www.legalweek.net /PrintItem.asp?id=12163 (274 words)

	Morgan Sindall plc \| Multi-skilling at Morgan Est
		Recognising the skills shortages currently facing the sector, it is taking an innovative approach to tackling the problem by embarking on an NVQ training programme aimed at creating a multi-skilled team capable of carrying out gas and water projects at the same time.
		Morgan Est was able to put this theory to the test quickly at its schemes to upgrade gas and water services for National Grid Transco and United Utilities in the Lancaster Road area of Widnes.
		Under a dual project, Morgan Est’s new multi-skilled team is laying both mains concurrently over a 6km stretch, replacing old Victorian cast iron mains with new plastic pipes and improving the quality and reliability of water and gas supplies in the area.
	www.morgansindall.co.uk /general.asp?id=981 (413 words)

	De Morgan's laws -- Facts, Info, and Encyclopedia article (Site not responding. Last check: 2007-10-17)
		This idea can be generalised to include the (Coupling that connects two rotating shafts allowing freedom of movement in all directions) universal and (A logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true) existential quantifiers in classical logic as De Morgan duals, as follows:
		To relate these quantifier dualities to the De Morgan laws, set up a (A representative form or pattern) model with some small number of elements in its domain D, such as
		Then, the quantifier dualities can be extended further to (A system of logic whose formal properties resemble certain moral and epistemological concepts) modal logic, relating the necessity and possibility operators:
	www.absoluteastronomy.com /encyclopedia/D/De/De_Morgans_Laws.htm (276 words)

	Morgan Thermal Mens Underwear (Site not responding. Last check: 2007-10-17)
		Morgan Super Long Johns Tall Ankle Length Drawer
		Morgan Super Long Johns Tall Long Sleeve Shirt
		This dual face performance garment combines polypropylene and cotton for a thermal that keeps you both warm and dry.
	www.eplanet-cybermall.com /Menswear/morgan-thermal-Underwear.asp (336 words)

	Citations: and on the logic of relations - De Morgan, syllogism, IV (ResearchIndex) (Site not responding. Last check: 2007-10-17)
		Combining the separate involutory logical and relative duals, a Gamma and a, as a single involutory (a = a) dual a Gamma = a [Pra92a, p.252] weakens the Boolean....
		Conjunction (and dually disjunction) took two forms, logical conjunction as the intersection of relations L and M and relative conjunction as their composition, notated L; M by Peirce....
		De Morgan begins his paper by categorizing Aristotle as rather too much the expositor of common language, too little the expositor of common thought.
	sherry.ifi.unizh.ch /context/37933/0 (1087 words)

	Crowell & Moring LLP \| Publications By Practice (Site not responding. Last check: 2007-10-17)
		Of course, the lasting significance of the Fort Morgan bypass case has yet to be seen because the case is not over - in a somewhat curious move, the court remanded to FERC for unspecified further proceedings.
		The Fort Morgan decision expands the inquiry from actual state regulation to potential state regulation, but there may be state law restrictions on the state commission's jurisdiction over certain entities.
		Leaving the realm of LDC bypass, the Fort Morgan case may have greater lingering significance as a bold new interpretation of the scope of the Hinshaw Amendment.
	www.crowell.com /content/resources/publications/art_mlc_ftmorgan1099.html (3034 words)

	Wadler: Call-by-value is dual to call-by-name (Site not responding. Last check: 2007-10-17)
		We consider the relation of the dual calculus of Wadler (2003) to the lambda-mu-calculus of Parigot (1992).
		Composing the translations with duality on the dual calculus yields an involutive notion of duality on the lambda-mu-calculus.
		A previous notion of duality on the lambda-mu-calculus has been suggested by Selinger (2001), but it is not involutive.
	homepages.inf.ed.ac.uk /wadler/topics/dual.html (374 words)

	Re: Call-by-value is Dual to Call-by-name (Site not responding. Last check: 2007-10-17)
		When we add control operators, there is a duality between values and stacks as well as this adjunction, and so the Kleisli and co-Kleisli categories are dual.
		The Streicher-Reus duality is only a duality at the level of judgements (that is to say, the semantic categories are dual).
		There is no CBV/CBN duality at the level of terms, unless one modifies CBN to achieve it, as Selinger did (and you have done too), by adding a type constructor that he called "disjunction", which is different from the usual CBN sum type, and would not be meaningful in the absence of control operators.
	www.seas.upenn.edu /~sweirich/types/archive/1999-2003/msg01391.html (342 words)

	LFCS Seminar
		The rules of classical logic may be formulated in pairs corresponding to De Morgan duals: rules about "and" are dual to rules about "or".
		A line of work, including that of Filinski (1989), Griffin (1990), Parigot (1992), Danos, Joinet, and Schellinx (1995), Selinger (1998,2001), and Curien and Herbelin (2000), has led to the startling conclusion that call-by-value is the de Morgan dual of call-by-name.
		This paper presents a dual calculus that corresponds to the classical sequent calculus of Gentzen (1935) in the same way that the lambda calculus of Church (1932,1940) corresponds to the intuitionistic natural deduction of Gentzen (1935).
	www.lfcs.inf.ed.ac.uk /events/theory-seminars/04.01.20.html (160 words)

	De Morgan's Laws Encyclopedia Article, History, Biography at Karr.net (Site not responding. Last check: 2007-10-17)
		De Morgan's Laws Encyclopedia Article, History, Biography at Karr.net
		Looking For de morgan's laws - Find de morgan's laws and more at Lycos Search.
		Find de morgan's laws - Your relevant result is a click away!
	www.karr.net /encyclopedia/De_Morgan%27s_laws (601 words)

	Read about De Morgan's laws at WorldVillage Encyclopedia. Research De Morgan's laws and learn about De Morgan's laws ... (Site not responding. Last check: 2007-10-17)
		In logic, De Morgan's laws (or De Morgan's theorem) are the two rules of
		Augustus De Morgan, although maybe unjustly (according to the opinion of Polish historian Bocheński in his History of Formal Logic), since they were already known to Greek logicians since
		Common uses of De Morgan's rules are in
	encyclopedia.worldvillage.com /s/b/De_Morgan%27s_laws (317 words)

	Morgan Stanley (Site not responding. Last check: 2007-10-17)
		Morgan Stanley recommends that investors independently evaluate particular investments and strategies, and encourages investors to seek the advice of a financial adviser.
		In addition to any holdings that may be disclosed above, Morgan Stanley and/or its employees not involved in the preparation of this report may have investments in securities or derivatives of securities of companies mentioned in this report, and may trade them in ways different from those discussed in this report.
		Morgan Stanley makes every effort to use reliable, comprehensive information, but we make no representation that it is accurate or complete.
	www.morganstanley.com /GEFdata/digests/20041115-mon.html (10417 words)

	eLibrary Project : Duality (mathematics) (Site not responding. Last check: 2007-10-17)
		Sitemap > D > Du > Dua > Dual > Duality > (mathematics)
		The prototypical example here is the duality (projective geometry),duality in projective geometry: given any theorem in plane projective geometry, exchanging the terms "point" and "line" everywhere results in a new, equally valid theorem.
		dual numbers, a certain associative algebra; the term "dual" here is synomymous with ''double'', and is unrelated to the notions given above.
	elibraryproject.com /info/duality/(mathematics).html (319 words)

	Wholesale Socks from Morgan (Site not responding. Last check: 2007-10-17)
		Morgan ''Tall'' Morgan Super Long Johns Shirt - $15.00 Weather Rating: VERY COLD Deluxe extra heavyweight rachel knit thermal of 50% Cotton/50% Polyester traps and retains body heat for maximum warmth.
		Morgan Morgan Men's Lite Thermal Shirt - $11.00 Weather Rating: ALL SEASON Lightweight, all season thermalwear long sleeve top provides light warmth and comfort, indoors and outdoors.
		Morgan ''Big'' Morgan NOMEX Flame Resistant Pant - $48.00 100% Nomex«, a flame resistant fiber which does not support combustion and does not melt or drip.
	beesocks.com /morgan.html (990 words)

	Crucibles Products Products and Businesses The Morgan Crucible Company plc (Site not responding. Last check: 2007-10-17)
		A crucible is a container used to melt, hold and/or carry metals and alloys within a furnace.
		They feature good oxidisation resistance and mechanical durability and are available in large sizes up to 1050mm in diameter.
		These crucibles offer large diameters, up to 1.7m which are used in specialist casting machines to make extra large aluminium castings.
	www.morgancrucible.com /pb_crucibles_products.htm (515 words)

	2CPU.com Discussion Forums - Dual P3 1.0Ghz or Dual Morgan 1.0Ghz?
		Also, do a search on Dual duron in the General Hardware forum as i posted a thread about it months ago where a few or more members posted about their dual duron system specs and faults.
		If you choose to upgrade later on, you will be limited with the dual Piii board, but you will have more room to expand with the dual AMD board.
		It can be less expensive to build a dual Xeon system than a dual PIII 1.4S GHz system and I havn't heard of any major compatibility problems with Xeons.
	forums.2cpu.com /showthread.php?threadid=27089 (974 words)

	Concurrency Abstracts (Site not responding. Last check: 2007-10-17)
		The dual of a true concurrency schedule appears to be a false concurrency automaton, a paradox we resolved in a previous paper by extending the latter to higher dimensions.
		The calculus of binary relations was introduced by De Morgan in 1860, and was subsequently greatly developed by Peirce and Schroeder.
		The symmetry is with the dual notion of state space, a poset with all nonempty meets representing choice and a bottom representing the start state.
	boole.stanford.edu /abstracts.html (9620 words)

	[No title]
		Find more information about dual recliner sofa, hideabed, futons...
		dual recliner sofa To perform all financial transactions in connection therewith including receipt and...
		Dual Recliner Swing with Canopy, Cushions and Table - Shown in recline
	www.4-furniture.info /furniture/dual-recliner.html (166 words)

	Mt Morgan Scouts.
		The first Boy Scouts in Mount Morgan formed on 23 November, 1908 with Patterson as the leader.
		Later the Mount Morgan Scouts also affiliated with the League of Boy Scouts, Queensland which became the League of Baden-Powell Boy Scouts when it affiliated with Baden-Powell Boy Scouts (as The Boy Scouts Association was then known).
		In 1924 his efforts with the Mount MOrgan Scouts were praised in the Commonwealth Parliament.
	www.netpages.free-online.co.uk /scoutaus/History-MtMorgan2.html (503 words)

Try your search on: Qwika (all wikis)