Logic gate (13780 bytes)
1: ... prize]] in physics, for the first electronic AND gate in [[1924]].
5: == Logic gates built from relays and switches ==
6: ...ses. In this article, the various types of logic gate are illustrated with drawings of their relay-and-...
35: ...rcuit and.png|left|Switch circuit diagram for AND gate]]
36: The first example is the [[logical and|AND]] gate, whose [[truth table]] is shown opposite.

Inverter (logic gate) (595 bytes)
3: ... also called NOT gate. The [[truth table]] of the gate is as follows:

Mr Logic (1880 bytes)
1: '''Mr Logic''' (first name Lawrence) is a character in [[VIZ]...
3: Here is an example; Mr Logic is in charge of the till at the local Off-Licence...
7: :'''Mr Logic:''' I shall commence by pointing out to you that...
11: :'''Mr Logic:''' Indeed, undoubtedly so. However your reques...
13: ... to "break every bone in [his] body", causing Mr. Logic to point out that given the number of bones in th...

Logic (20099 bytes)
1: ...ions for its determination. It is thus seen that logic plays an important role in [[epistemology]] in th...
3: ... However, such prescriptions are not essential to logic itself; rather, they are an application. How peop...
5: ...ments, would currently be seen as contrasted with logic, in some sense; as is ''dialectic'' in most of it...
7: ==Scope of logic==
8: ...ctions serve to help formalize different forms of logic as a science. Here are some of the more importan...

DJ Logic (757 bytes)
1: '''DJ Logic''' (born Jason Kibler) is a [[turntablist]] activ...
5: Kibler tours often with his own group,Project Logic and has recorded or performed with [[Vernon Reid]...
8: *''Project Logic'' (1999)
12: *Official site: [http://www.djlogic.com/]

Logic Express (1992 bytes)
1: ...[[Apple Computer|Apple]] and based on [[Logic Pro|Logic Pro 6]]. Apple announced its [[existence]] on [[1...
3: ...mputer, Inc., 2004a). The [[retail]] [[price]] of Logic Express 6 is expected to be 299 [[United States d...
5: ...interface]] was designed to be similar to that of Logic Pro 6, to make it easy for users to use both prog...
7: ...Takeover|took over]] a company called [[Emagic]]. Logic Express is an [[Causality|effect]] of that takeov...
11: ...nuary 16, 2004 from http://www.apple.com/software/logicexpress/

Substructural logic (2584 bytes)
1: ...ctural logics are [[relevant logic]] and [[linear logic]].
7: ...he standard interpretation of this string is as [[Logical conjunction|conjunction]]: we expect to read
41: ...t out of [[relevant logic|relevant (or relevance) logic]]s, on the ground that ''B'' is clearly irrelevan...
45: [[Category:Logic]]

Brazilian logic (172 bytes)
1: ...tent Mathematics'', to a system R# of [[relevance logic]].

Game of logic (233 bytes)
1: The '''games of logic''' are a supergroup of [[mathematical game]]s, [[...

Paraconsistent logic (4606 bytes)
1: A '''paraconsistent logic''' is a [[logic]] which gracefully deals with [[contradiction]]s....
5: ...ssatisfaction with the consistency of [[classical logic]].
6: ... provide formal reasons for questioning classical logic. Consider the [[liar paradox]] (where "<''L''>" ...
12: ...ussell's paradox]] of set theory and higher-order logics come up against similar problems.)<br>
13: ...mply meaningless. Understandably, paraconsistent logicians are wary to accept this line; after all, "Thi...

Control logic (182 bytes)
1: '''Control logic''' is the part of a [[software architecture]] tha...

Provability logic (1046 bytes)
1: [[Category:Modal logic]]
2: ...ogic]]s present natural extensions of provability logic.
6: ...anford.edu/entries/logic-provability/ Provability logic], from the Stanford Encyclopaedia of Philosophy.
7: *George Boolos, '''The Logic of Provability'''. Cambridge University Press, 19...
8: ...aridz/ Giorgi Japaridze] and Dick de Jongh, ''The logic of Provability''. In: '''Handbook of Proof Theory...

Interpretability logic (795 bytes)
1: [[Category:Modal logic]]
2: ...vativity, [[cointerpretability]], [[tolerance (in logic)|tolerance]], [[cotolerance]], arithmetic complex...
7: ...aridz/ Giorgi Japaridze] and Dick de Jongh, ''The Logic of Provability''. In '''Handbook of Proof Theory'...

Computability logic (2472 bytes)
1: ...cal logic is a special fragment of computability logic.
3: ... such a game-playing machine means, computability logic provides a generalization of the [[Church-Turing ...
5: ...turn out to be natural fragments of computability logic.
7: ...tic theory of interactive computation. By turning logic from a theory of truth into a theory of computabi...
11: ...computability logic''. Annals of Pure and Applied Logic 123 (2003), pages 1-99.

Linear logic (11687 bytes)
1: ...[[classical logic|classical]] or [[intuitionistic logic]] where the governing judgement is of ''truth'', ...
8: ... a quart of milk", etc.). The failure of ordinary logic to accurately model this activity is due to the n...
12: ...88; instead of &#8835;) and a different notion of logical entailment.
14: Linear logic was proposed by the [[France|French]] [[mathemati...
18: The logical [[connective]]s are re-examined in this resourc...

Pretzel Logic (4854 bytes)
2: ...n="center" bgcolor="orange" colspan="3"|''Pretzel Logic''
4: |align="center" colspan="3"|[[Image:Pretzel_Logic_album.jpg|225px|Album cover]]
32: |valign="top"|<small>''Pretzel Logic''<br />([[1974]])</small>
36: '''''Pretzel Logic''''' is a [[Steely Dan]] [[album]] originally rel...
40: ...of 1973’s ''[[Countdown to Ecstasy]]'', ''Pretzel Logic'' included some of the most sophisticated pop mu...

Syntax (logic) (1141 bytes)
3: ...ning the properly formed formulas ([[WFF]]s) of a logical system.

Emagic Logic (535 bytes)
1: '''Emagic Logic''' is a [[music sequencer|music sequencing]] [[ap...

Second-order logic (9189 bytes)
1: ...han only in [[term]] positions, as in first-order logic), and quantifiers [[free variables and bound vari...
7: ...l [[real number]]s, one can assert in first-order logic the existence of an additive inverse of each real...
11: but one needs second-order logic to assert the least-upper-bound property of the r...
18: ...econd-order logic is not reducible to first-order logic==
20: ...tempt to reduce second-order logic to first-order logic in the following way. Expand the domain from the...

Non-Aristotelian logic (1011 bytes)
3: ...s opposed to [[Aristotle]]'s two-valued system of logic.
7: * [[Fuzzy logic]]
8: * [[Modal logic]]
9: * [[Paraconsistent logic]]
10: * [[Quantum logic]]

<< Prev 20 Result Pages:   1  2  3  4  5  6  7  8  9  10  Next 20 >>