Strict logic

Strict logic

Strict logic is essentially synonymous with relevant logic, though it can be characterized proof-theoretically as

* ordinary logic without weakening, or
* linear logic with contraction.

ee also

* Substructural logic


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Logic in Islamic philosophy — Logic (Arabic: Mantiq ) played an important role in early Islamic philosophy. Islamic law placed importance on formulating standards of argument, which gave rise to a novel approach to logic in Kalam, as seen in the method of qiyas . This… …   Wikipedia

  • logic — ► NOUN 1) reasoning conducted or assessed according to strict principles of validity. 2) the ability to reason correctly. 3) (the logic of) the course of action following as a necessary consequence of. 4) a system or set of principles underlying… …   English terms dictionary

  • Strict conditional — In logic, a strict conditional is a material conditional that is acted upon by the necessity operator from modal logic. For any two propositions p and q, the formula p ightarrow q says that p materially implies q while Box (p ightarrow q) says… …   Wikipedia

  • Logic — For other uses, see Logic (disambiguation). Philosophy …   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

  • logic — noun 1 system of reasoning ADJECTIVE ▪ formal ▪ mathematical ▪ deductive, inductive ▪ Aristotelian, classical ▪ …   Collocations dictionary

  • strict implication — noun A material implication that is acted upon by the necessity operator from modal logic. Syn: strict conditional Ant: material implication …   Wiktionary

  • strict implication — In the modal logic of C. I. Lewis, if it is not possible that p and not q, then p is said to strictly imply q . See also strict implication, paradox of …   Philosophy dictionary

  • strict — adj. Strict is used with these nouns: ↑adherence, ↑censorship, ↑code, ↑condition, ↑confidentiality, ↑confines, ↑conformity, ↑control, ↑convention, ↑criterion, ↑curfew, ↑ …   Collocations dictionary

  • logic — noun 1》 reasoning conducted or assessed according to strict principles of validity.     ↘the quality of being justifiable by reason.     ↘(the logic of) the course of action following as a necessary consequence of. 2》 a system or set of… …   English new terms dictionary

Share the article and excerpts

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