Schema
Schema The word schema comes from the Greek word "σχ ... refers to a loosely described plan, a schema usually refers to specific, well documented, and ... are used as the plural form of "schema". The word schema can represent any of several different ...
http://en.wikipedia.org/wiki/Schema - 6k - Cached - Similar pages

Dynamic logic
Dynamic logic In digital electronics, dynamic logic is sometimes used to refer to a ... of design assumptions also known as clocked logic, used to distinguish this type of logic from static logic. This article is about dynamic logic ...
http://en.wikipedia.org/wiki/Dynamic_logic - 31k - Cached - Similar pages

T-schema
T-schema The T-schema (also known as Convention T) is the ... of truth over logical operators. The T-schema is often expressed in natural language, but ... readily admit formalisation in many-sorted predicate logic or modal logic; such a formalisation is called a ...
http://en.wikipedia.org/wiki/T-schema - 1k - Cached - Similar pages

Infinitary logic
Infinitary logic Those unfamiliar with mathematical logic or the concept of ordinals are advised ... to consult those articles first. An infinite logic is a logic that allows infinitely long statements and infinitely ... and completeness that are equivalent in finite logic sometimes are not so in infinite ...
http://en.wikipedia.org/wiki/Infinitary_logic - 14k - Cached - Similar pages

Epistemic logic
Epistemic logic Epistemic logic is a subfield of modal logic that is concerned with reasoning about knowledge ... areas. The basic modal operator of epistemic logic, usually written K, can be read as ... features with alethic modal logics . For example, schema T (as it is commonly called), < ...
http://en.wikipedia.org/wiki/Epistemic_logic - 3k - Cached - Similar pages

Conversion (logic)
Conversion (logic) In traditional logic conversion is a form of immediate inference ... instance violating the rules of distribution. The schema of conversion is: Original Proposition Converse (A ... P None See also Contraposition Obversion Transposition (logic)
http://en.wikipedia.org/wiki/Conversion_(logic) - 6k - Cached - Similar pages

Axiom schema
Axiom schema In symbolic logic, it is sometimes inconvenient or impossible to ... of axioms. For this reason, an axiom schema is used. Formally, an axiom schema is a set (usually infinite) of well ... is constructed recursively. A well known axiom schema is the axiom schema of replacement. ...
http://en.wikipedia.org/wiki/Axiom_schema - 1k - Cached - Similar pages

Linear logic
Linear logic In mathematical logic, linear logic is a type of substructural logic that denies the structural rules of weakening ... usual logics such as classical or intuitionistic logic where the governing judgement is of ...
http://en.wikipedia.org/wiki/Linear_logic - 19k - Cached - Similar pages

Hoare logic
Hoare logic Hoare logic (also known as Floyd–Hoare logic) is a formal system developed by the ... computer programs with the rigour of mathematical logic. Hoare acknowledges earlier contributions from Robert Floyd ... for flowcharts. The central feature of Hoare logic is the Hoare triple. A triple ...
http://en.wikipedia.org/wiki/Hoare_logic - 8k - Cached - Similar pages

Talk:Axiom schema of replacement
Talk:Axiom schema of replacement The term "mapping" should be ... definition, since mappings are central to formal logic in general, which is theoretically a prerequisite ... this article without a background in formal logic. What I think is the main problem ... much discussion of the concept in formal logic. So I've rewritten Mapping; what do ... s all good. Thus in the axiom schema of replacement, one must assume this ...
http://en.wikipedia.org/wiki/Talk:Axiom_schema_of_replacement - 50k - Cached - Similar pages