Searching: "Logic"

1. Matching logic [62%] (Philosophy) [Logic] Matching logic is a family of formal systems that were created ...
2. Plastic Logic [62%] (Company) [Companies] [Companies (Engineering)] [Electronic paper technology] These daylight readable displays are designed to be lightweight, thin and ...
3. Spectra Logic [62%] (Company) [Computer storage companies] [Computer hardware companies] Spectra Logic Corporation is a computer data storage company based in ...
4. Cirrus Logic [62%] (Company) [Graphics hardware companies] [Fabless semiconductor companies] American fabless semiconductor company ...
5. Indian logic [62%] (Philosophy) [Indian philosophy] [History of logic] Development of Indian logic ...
6. Affect logic [62%] (Medicine) [Psychotherapy] Affect logic or affect-logic is a biopsychosocial notion, introduced in 1988 ...
7. Dialectical logic [62%] (Philosophy) [Philosophical logic] [Philosophical methodology] System of laws of thought ...
8. Logic literature [62%] (Category) [Logic] ...
9. Polish Logic [62%] (Philosophy) [History of logic] ...
10. Logic Lane [62%] (Philosophy) [History of logic] Cobbled lane in Oxford, England ...
11. Dominant logic [62%] (Social) [Organizational theory] [Strategic management] Dominant logic relates to the main means a company uses to ...
12. Free logic [62%] (Philosophy) [Non-classical logic] Form of logic ...
13. Informal logic [62%] (Philosophy) [Logic] Branch of logic ...
14. Intensional logic [62%] (Philosophy) [Predicate logic] [Philosophical logic] [Non-classical logic] Intensional logic is an approach to predicate logic that extends first-order ...
15. Interpretability logic [62%] (Philosophy) [Interpretation (philosophy)] [Provability logic] Interpretability logics comprise a family of modal logics that extend provability ...
16. Many-sorted logic [62%] (Philosophy) [Systems of formal logic] Hierarchical typed logic ...
17. Non-classical logic [62%] (Philosophy) [Philosophy of logic] [History of logic] [Non-classical logic] Formal systems of logic that significantly differ from standard logical systems ...
18. Topical logic [62%] (Philosophy) [Logic] Reasoning from commonplace topoi ...
19. Deontic logic [62%] (Philosophy) [Philosophical logic] [Modal logic] Field of philosophical logic ...
20. Deviant logic [62%] (Philosophy) [Non-classical logic] Class of non-classical logics ...
21. Finite-valued logic [62%] (Philosophy) [Many-valued logic] [Logic] Logic with discrete truth values ...
22. Guarded logic [62%] (Philosophy) [Modal logic] Guarded logic is a choice set of dynamic logic involved in ...
23. Higher-order logic [62%] (Philosophy) [Systems of formal logic] [Predicate logic] Formal system of logic ...
24. Infinitary logic [62%] (Philosophy) [Non-classical logic] [Systems of formal logic] Logic that allows infinitely long proofs ...
25. Noncommutative logic [62%] (Philosophy) [Substructural logic] Noncommutative logic is an extension of linear logic that combines the ...
26. Provability logic [62%] (Philosophy) [Proof theory] [Modal logic] [Provability logic] Provability logic is a modal logic, in which the box (or ...
27. Second-order logic [62%] (Philosophy) [Systems of formal logic] Form of logic that allows quantification over predicates ...
28. Substructural logic [62%] (Philosophy) [Non-classical logic] [Substructural logic] Branch of non-classical logic ...
29. Infinite-valued logic [62%] (Philosophy) [Many-valued logic] [Logic] Many-valued logic in which truth values comprise a continuous range ...
30. Relevance logic [62%] (Philosophy) [Paraconsistent logic] [Non-classical logic] [Substructural logic] Relevance logic , also called relevant logic , is a kind ...
31. Port-Royal Logic [62%] (Philosophy) [Term logic] [History of logic] Textbook on logic ...
32. Affine logic [62%] (Philosophy) [Substructural logic] Affine logic is a substructural logic whose proof theory rejects the ...
33. Multimodal logic [62%] (Philosophy) [Modal logic] A multimodal logic is a modal logic that has more than ...
34. Strict logic [62%] (Philosophy) [Substructural logic] ...
35. Classical logic [62%] (Philosophy) [Logic] [History of logic] [Classical logic] Class of formal logics ...
36. Connexive logic [62%] (Philosophy) [Non-classical logic] Connexive logic is a class of non-classical logics designed to exclude ...
37. Hybrid logic [62%] (Philosophy) [Modal logic] Hybrid logic refers to a number of extensions to propositional modal ...
38. Logic Spectacles [62%] (Philosophy) [Concepts in logic] ...
39. Multiple-conclusion logic [62%] (Philosophy) [Logic] Mathematical logic ...
40. Dialogical logic [62%] (Philosophy) [Logic] Dialogical logic (also known as the logic of dialogues ) was ...
41. Imperative logic [62%] (Philosophy) Imperative logic is the field of logic concerned with imperatives ...
42. Philosophical logic [62%] (Philosophy) [Philosophical logic] [Philosophy of logic] Application of logical methods to philosophical problems ...
43. Universal logic [62%] (Philosophy) [Logic] Subfield of logic that studies the features common to all logical ...
44. Many-valued logic [62%] (Philosophy) [Many-valued logic] Propositional calculus in which there are more than two truth values ...
45. Kettle logic [62%] (Philosophy) [Dream] [Informal fallacies] Using multiple, jointly inconsistent arguments to defend a point ...
46. Schrödinger logic [62%] (Philosophy) [Logic] [Non-classical logic] Schrödinger logics are a kind of non-classical logic in which the ...
47. Logic games [62%] (Philosophy) [Logic] LSAT question type ...
48. Logic families [62%] (Category) [Computer memory] [Central processing unit] [Logic in computer science] ...
49. Emitter-coupled logic [62%] (Computing) [Logic families] Integrated circuit logic family ...
50. PMOS logic [62%] (Computing) [Egyptian inventions] [Arab inventions] [Logic families] Family of digital circuits ...
51. Logic family [62%] (Computing) [Logic families] Either of two concepts in computer engineering ...
52. Four-phase logic [62%] (Computing) [Logic families] Four-phase logic is a type of, and design methodology for dynamic ...
53. Diode–transistor logic [62%] (Computing) [Logic families] Class of digital circuits ...
54. Current-mode logic [62%] (Computing) [Logic families] Differential digital logic family ...
55. Dynamic logic [62%] (Computing) [Logic families] Digital electronics; Design methodology for combinatorial logic integrated circuits ...
56. Transistor–transistor logic [62%] (Computing) [Logic families] [Digital electronics] Class of digital circuits ...
57. Diode logic [62%] (Computing) [Logic families] Logical AND and OR with diodes ...
58. Logic Theorist [62%] (Computing) [Theorem proving software systems] [History of artificial intelligence] 1956 computer program written by Allen Newell, Herbert A. Simon and ...
59. High-threshold logic [62%] (Computing) [Logic families] ...
60. Temporal logic [62%] (Philosophy) [Philosophy of time] For instance, one may wish to say that whenever a request ...
61. Logic translation [62%] (Philosophy) [Logic] Translation of a text into a logical system ...
62. Symbios Logic [62%] (Company) [Defunct computer hardware companies] In 2004 its name was changed to Engenio Information Technologies, Inc ...
63. Conditional logic [62%] (Philosophy) [Modal logic] [Non-classical logic] [Philosophical logic] Family of logics for natural-language and counterfactual conditionals ...
64. Propositional logic [62%] (Computing) [Classical logic] [Boolean algebra] [Propositional calculus] Branch of logic ...
65. Constructive logic [62%] (Computing) [Systems of formal logic] [Constructivism (mathematics)] [Non-classical logic] Constructive logic is a family of logics where proofs must be ...
66. ARK Logic [62%] (Company) [Graphics hardware companies] [Fabless semiconductor companies] [Defunct computer hardware companies] ...
67. LSI Logic [62%] (Company) [Defunct computer hardware companies] [Fabless semiconductor companies] [Computer storage companies] The intention was to have the masterslices manufactured by external semiconductor ...
68. Many-valued logic [62%] (Computing) [Mathematics] In a fairly broad interpretation of many-valued logic, logical calculi (cf ...
69. Paraconsistent logic [62%] (Computing) [Mathematics] A relation of logical consequence, $ \vdash $, on a set ...
70. Domino logic [62%] (Computing) [Logic families] CMOS-based evolution of the dynamic logic techniques ...
71. Independence-friendly logic [62%] (Philosophy) [Non-classical logic] [Philosophical logic] [Systems of formal logic] Extension of classical first-order logic ...
72. Non-monotonic logic [62%] (Philosophy) [Reasoning] [Non-classical logic] [Belief revision] Formal logic whose entailment relation is not monotonic ...
73. NMOS logic [62%] (Computing) [Egyptian inventions] [Arab inventions] [Logic families] Form of digital logic family in integrated circuits ...
74. Virage Logic [62%] (Company) [Defunct computer hardware companies] [Computer memory companies] [Fabless semiconductor companies] ...
75. Dependence logic [62%] (Philosophy) [Systems of formal logic] Extension of first-order logic with atoms expressing variable dependencies ...
76. High-speed transceiver logic [50%] (Engineering) [Digital electronics] High-speed transceiver logic or HSTL is a technology-independent standard for signaling ...
77. Molecular logic gate [50%] (Chemistry) [Supramolecular chemistry] [Nanoelectronics] [Molecular machines] A molecular logic gate is a molecule that performs a logical ...
78. Archive for Mathematical Logic [50%] (Computing) [Mathematical logic] [Mathematics journals] ...
79. World Logic Day [50%] (Philosophy) [Logic] International day proclaimed by UNESCO ...
80. Transparent intensional logic [50%] (Philosophy) [Philosophical logic] Transparent intensional logic (frequently abbreviated as TIL ) is a logical ...
81. Scandinavian Logic Society [50%] (Organization) [Organizations] [Organizations (Philosophy)] [Philosophy organizations] Scandinavian academic organization that focuses on logic ...
82. Dynamic epistemic logic [50%] (Computing) [Belief revision] [Artificial intelligence] Dynamic epistemic logic (DEL) is a logical framework dealing with knowledge ...
83. Epistemic modal logic [50%] (Computing) [Artificial intelligence] [Modal logic] Epistemic modal logic is a subfield of modal logic that is ...
84. Logic of graphs [50%] (Computing) [Finite model theory] [Graph theory] Logical formulation of graph properties ...
85. Majority logic decoding [50%] (Computing) [Error detection and correction] Generally , an odd number.The repetition codes can detect up to ...
86. Markov logic network [50%] (Computing) [Markov networks] [Bayesian statistics] A Markov logic network ( MLN ) is a probabilistic logic ...
87. Monadic second-order logic [50%] (Computing) [Mathematical logic] In the variant considered over structures such as graphs and in ...
88. Multi-adjoint logic programming [50%] (Computing) [Programming languages] Sub-field of logic programming ...
89. Outline of logic [50%] (Computing) [Mathematics-related lists] [Mathematical logic] [Outlines] Overview of and topical guide to logic ...
90. Predicate functor logic [50%] (Computing) [Predicate logic] [Mathematical axioms] [Algebraic logic] Algebraization of first-order logic ...
91. Probabilistic logic network [50%] (Computing) [Non-classical logic] [Probabilistic arguments] [Artificial intelligence] Conceptual, mathematical and computational approach ...
92. Protocol composition logic [50%] (Computing) [Cryptography] Proof method for the security of cryptographic protocols ...
93. Pure inductive logic [50%] (Computing) [Mathematical logic] Pure inductive logic ( PIL ) is the area of mathematical ...
94. Institutional logic [62%] (Social) [Social constructionism] [Sociological theories] Institutional logic is a core concept in sociological theory and organizational ...
95. Animal Logic [62%] (Company) [Visual effects companies] Australian animation and visual effects studio ...
96. Logic level [62%] (Engineering) [Digital electronics] Finite states of a digital signal ...
97. A System of Logic [62%] (Philosophy) [Philosophy of science] 1843 book by John Stuart Mill ...
98. History of logic [62%] (Category) [History of philosophy] [History of mathematics] [Logic] ...
99. Is Logic Empirical? [62%] (Philosophy) [Empiricism] [Logic literature] " Is Logic Empirical? " is the title of two articles ...
100. Sum of Logic [62%] (Philosophy) [Scholasticism] [History of logic] [Term logic] Textbook on logic (1323) by William of Ockham ...
101. Brazilian logic [62%] (redirect)
102. Conceptions of logic [62%] (Philosophy) [Logic] He begins with the assumption of the empiricist philosophers, that all ...
103. Horn logic [62%] (redirect)
104. Logic and dialectic [62%] (Philosophy) ...
105. Logic and rationality [62%] (Philosophy) [Reasoning] [Logic] Fundamental concepts in philosophy ...
106. Logic of argumentation [62%] (Philosophy) [Arguments] [Logic] The logic of argumentation (LA) is a formalised description of the ...
107. Logic of class [62%] (Philosophy) [Logic] The logic of class is a branch of logic that distinguishes ...
108. Moisil logic [62%] (redirect)
109. History of logic [62%] (Philosophy) [Logic] [History of logic] The history of logic deals with the study of the development ...
110. Logic in China [62%] (Philosophy) [History of logic] From until . This largely coincides with the period during which ...
111. Science of Logic [62%] (Philosophy) [Philosophy books] [Logic literature] Work by Georg Wilhelm Friedrich Hegel ...
112. High-Logic [62%] (Company) [Vector graphics editors] [Digital typography] High-Logic , founded in 1997 by Erwin Denissen, is a privately ...
113. Clocked logic [62%] (redirect)
114. Static logic [62%] (redirect)
115. Avance Logic [62%] (redirect)
116. Algebra of logic [62%] (Computing) [Mathematics] The development of the algebra of logic was an attempt to ...
117. Meta-logic [62%] (Computing) [Mathematics] This, in general, leads to the use of a logic different ...
118. The Game of Logic [62%] (Philosophy) [Logic] 1886 book by Lewis Carroll ...
119. Timeline of mathematical logic [50%] (Computing) [Mathematical logic] [Mathematics timelines] [History of mathematics] A timeline of mathematical logic ; see also history of logic. ...
120. Concurrent constraint logic programming [50%] (Computing) [Logic programming] [Concurrent computing] [Programming paradigms] Concurrent constraint logic programming is a version of constraint logic programming ...

Too many hits. No search in content will be processed.

More results