Help


[permalink] [id link]
+
Page "Intuitionistic logic" ¶ 6
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

Examples and include
Examples of such courts include the New Jersey Court of Errors and Appeals ( which existed from 1844 to 1947 ), the Connecticut Supreme Court of Errors ( which has been renamed the Connecticut Supreme Court ), the Kentucky Court of Errors ( renamed the Kentucky Supreme Court ), and the Mississippi High Court of Errors and Appeals ( since renamed the Supreme Court of Mississippi ).
Examples include Web accessibility a set of guidelines and two accessible web portals designed for people developing reading skills are peepo. com — try typing a letter with your keyboard for more — and peepo. co. uk with enhanced graphics, unique style controls and improved interactivity ( requires an SVG supported browser ).
Examples of assistive technology for visually impairment include the Canadian currency tactile feature, which a system of raised dots in one corner, based on Braille cells but not standard Braille.
Examples of ATC include: NeuroPage which prompt users about meetings, Wakamaru, which provides companionship and reminds users to take medicine and calls for help if something is wrong, and telephone Reassurance systems.
Examples include alcohols and amines which contain O-H or N-H fragments.
Examples of Lewis acids include all metal cations, and electron-deficient molecules such as boron trifluoride and aluminium trichloride.
Examples of present-day abjads are the Arabic and Hebrew scripts ; true alphabets include Latin, Cyrillic, and Korean hangul ; and abugidas are used to write Tigrinya, Amharic, Hindi, and Thai.
Examples of true annuals include corn, wheat, rice, lettuce, peas, watermelon, beans, zinnia and marigold.
Examples of this type of communication include radio and traditional television programs such as the news.
Examples of category-theoretic statements which require choice include:
Examples of other diseases of the motor neuron that should not be confused with MND include spinobulbar muscular atrophy, spinal muscular atrophy, Charcot-Marie-Tooth disease, and many others.
Examples include optic ataxia ( lack of coordination between visual inputs and hand movements, resulting in inability to reach and grab objects.
Examples include one presented to Warner in 1904, another to Australian Captain M. A.
Examples include materials such as brass, pewter, phosphor bronze and amalgam.
Examples of substitutional alloys include bronze and brass, in which some of the copper atoms are substituted with either tin or zinc atoms.
Examples of Web-based Applets include:
Examples include lanthionine, 2-aminoisobutyric acid, dehydroalanine, and the neurotransmitter gamma-aminobutyric acid.
Examples include electron-transfer.
Examples of journeys to the realm include " Thomas the Rhymer " and the fairy tale " Childe Rowland ", the latter being a particularly negative view of the land.
Examples include the past tense and the plural morphemes.
Examples of allotropes include:
Examples include red-green color blindness and Fragile X syndrome.
Examples of prayer which are unique to Luke include Jesus's prayers at the time of his baptism (), his praying all night before choosing the twelve (), and praying for the transfiguration ().
Examples include the U. S. M901 ITV ( Improved TOW Vehicle ) and the Norwegian NM142, both on an M113 chassis, several Soviet ATGM launchers based on the BRDM reconnaissance car, the British FV438 Swingfire and FV102 Striker and the German Raketenjagdpanzer series built on the chassis of the HS 30 and Marder IFV.
Examples of pre-packed American meals include various casserole type dishes such as Hamburger Helper, as well as bakeable and microwaveable foods such as Hot Pockets, frozen pizzas, frozen burritos, and various types of TV dinner meals.

Examples and only
Examples of purely Coptic literature are the works of Saint Anthony and Saint Pachomius, who only spoke Coptic, and the sermons and preachings of Saint Shenouda the Archmandrite, who chose to only write in Coptic.
Examples of PCCs that are derivatives of submachine guns but are rifles under Title I ( Gun Control Act ) include the HK USC ( derived from the HK. 45ACP UMP submachine gun ), the HK94 ( derived from the MP5 ), pistol-caliber AR-15s ( such as the Bushmaster Carbon 15 9 mm Carbine ), semi-automatic only versions of the Thompson by Auto-Ordnance and the FN PS90 ( derived from the FN P90 SMG ).
Examples of important natural hazards that are pertinent to geology ( as opposed those that are mainly or only pertinent to meteorology ) are:
Examples include staged multi-caches ; underwater caches, caches located 50 feet ( 15 m ) up a tree, caches found only after long offroad drives, caches on high mountain peaks, caches located in challenging environments ( such as Antarctica or north of the Arctic Circle ), and magnetic caches attached to metal structures and / or objects.
Examples are at,, and ( the middle track at Totnes is only used in summer, by First Great Western services between London Paddington and Newquay ).
Examples include barite ( BaSO < sub > 4 </ sub >), celestine ( SrSO < sub > 4 </ sub >), and anglesite ( PbSO < sub > 4 </ sub >); anhydrite is not part of the barite group, as the smaller Ca < sup > 2 +</ sup > is only in eight-fold coordination.
Examples include the flags of Monaco and of Indonesia, which differ only slightly in proportion ; of the Netherlands and of Luxembourg, which differ in proportion as well as in the tint of blue used ; and of Romania and of Chad, which differ only in the tint of blue.
Examples of purely Coptic literature are the works of Abba Antonius and Abba Pachomius, who spoke only Coptic, and the sermons and preachings of Abba Shenouda, who chose to write only in Coptic.
Examples include the possession of antlers by only male deer, and the brighter coloration of many male birds, in comparison with females of the same species.
Examples of Samba fusions with popular Caribbean music is samba-rap, samba-rock, and samba-reggae, all of which were efforts to not only entertain, but also to unify all Blacks throughout the Americas culturally and politically via song.
Examples include the rise of the notion of efficiency in terms of human productivity, a term originally applied only to machines, and the challenge of traditional norms.
Examples of normally-closed valves are sampling valves, which are only opened while a sample is taken.
Examples of perfect complements include left shoes compared to right shoes: the consumer is no better off having several right shoes if she has only one left shoe-additional right shoes have zero marginal utility without more left shoes, so bundles of goods differing only in the number of right shoes they includes-however many-are equally preferred.
# Video game soundtracks are often released after a game's release, usually consisting of the background music from the game's levels, menus, title screens, promo material ( such as entire songs that only segments of which were used in the game ), cut-screens and occasionally sound-effects used in the game ( Examples: Sonic Heroes, The Legend of Zelda: Ocarina of Time )
Examples of contemporary Maoist movements most notably include the Shining Path in Peru, the Naxalite insurgency in India, and the Communist Party of Nepal ( Maoist ); the latter of which is the only current Maoist party holding power through a democratic process.
Examples include the Barbary Macaque, the Atlas Bear ( Africa's only species of bear ; now extinct ), the Barbary Leopard, the Barbary stag, Barbary Sheep, the Barbary Lion ( extinct in the wild ), the Atlas Mountain Badger, the North African Elephant ( extinct ), the African Aurochs ( extinct ), Cuvier's Gazelle, the Northern Bald Ibis, Dippers, the Atlas mountain viper, the Atlas Cedar, the European Black Pine, and the Algerian Oak.
Examples of such environmental modifications include using the bed for sleep or sex only, not for activities such as reading or watching television ; waking up at the same time every morning, including on weekends ; going to bed only when sleepy and when there is a high likelihood that sleep will occur ; leaving the bed and beginning an activity in another location if sleep does not result in a reasonably brief period of time after getting into bed ( commonly ~ 20 min ); reducing the subjective effort and energy expended trying to fall asleep ; avoiding exposure to bright light during nighttime hours, and eliminating daytime naps.
Examples include Wu Zetian ( the only female emperor in the Chinese history ).
Examples of empty intentions can be signitive intentions-intentions that only imply or refer to their objects.
Examples of epitomes providing the only record of now lost works include:

0.145 seconds.