You may create the page "Firstorder logic", but consider checking the search results below to see whether it is already covered.
For search help, please visit Help:Searching.
- First-order logic First-order logic is a formal logic used in mathematics , philosophy , linguistics , and computer science . first-order predicate calculus ...72 KB (10,504 words) - 20:44, 17 March 2010
- List of first-order theories In mathematical logic , a first-order theory is given by a set of axioms in some language. This entry lists some of the more common ...34 KB (5,148 words) - 23:14, 19 February 2010
- Deduction theorem (section The deduction theorem in predicate logic) In mathematical logic , the deduction theorem is a metatheorem of first-order logic It is a formalization of the common proof technique in ...14 KB (2,072 words) - 00:21, 26 February 2010
- Second-order logic (section Why second-order logic is not reducible to first-order logic) In logic and mathematics second-order logic is an extension of first-order logic , which itself is an extension of propositional logic ...21 KB (3,203 words) - 22:44, 25 February 2010
- Logic form Logic forms are simple, first-order logic knowledge representation s of natural language sentences formed by the conjunction of concept ...3 KB (365 words) - 15:24, 19 March 2009
- Zeroth-order logic (section Relation to general first-order logic) Zeroth-order logic is first-order logic without quantifier s. A finitely axiomatizable zeroth-order logic is isomorphic to a ...3 KB (394 words) - 14:53, 18 March 2010
- Lindström's theorem (section Comparing logics) In mathematical logic , Lindström's theorem states that first-order logic is the strongest logic (satisfying certain conditions, e.g. ...1 KB (166 words) - 17:21, 5 March 2010
- Predicate logic In mathematical logic , predicate logic is the generic term for symbolic formal system s like first-order logic , second-order logic , ...2 KB (204 words) - 02:36, 5 February 2010
- Extension by definitions In mathematical logic , more specifically in the proof theory of first-order theories , extensions by definitions formalize the ...8 KB (1,127 words) - 07:07, 15 December 2009
- Empty domain In first-order logic the empty domain is the empty set having no members. In traditional and classical logic domains are restrictedly ...3 KB (449 words) - 01:42, 9 August 2009
- CARINE CARINE is a first-order classical logic automated theorem prover . CARINE (C omputer A ided R easoning eng INE) is a resolution based ...6 KB (976 words) - 17:44, 28 October 2009
- Higher-order logic NOTOC_In mathematics and logic , a higher-order logic is distinguished from first-order logic in a number of ways. in first-order logic ...4 KB (449 words) - 13:43, 30 January 2010
- Mathematical logic (section First-order logic) Mathematical logic is a subfield of mathematics with close connections to computer ... logic, particularly first-order logic , and definability . ...57 KB (7,700 words) - 08:27, 16 March 2010
- Monadic predicate calculus (redirect from Monadic first-order logic) In logic , the monadic predicate calculus is the fragment of predicate calculus in ... predicate calculus is also called monadic first-order logic. ...4 KB (640 words) - 12:23, 19 September 2009
- Intensional logic Intensional logic is an approach to predicate logic that extends first-order logic , which has quantifiers that range over the individuals ...10 KB (1,295 words) - 20:42, 12 January 2010
- Common logic Common logic (CL) is a framework for a family of logic languages, based on first-order logic , intended to facilitate the exchange and ...3 KB (434 words) - 16:00, 21 October 2009
- Model theory (redirect from Model (logic)) fields , graphs , or even universes of set theory , using tools from mathematical logic . ... First-order logic : First-order logic ...31 KB (3,777 words) - 10:56, 17 March 2010
- Cylindric algebra The notion of cylindric algebra, invented by Alfred Tarski , arises naturally in the algebraization of first-order logic . propositional logic . ...3 KB (350 words) - 21:34, 21 February 2010
- Intuitionistic logic Intuitionistic logic, or constructive logic, is the symbolic logic system ... an embedding of classical first-order logic into intuitionistic ...16 KB (2,237 words) - 10:52, 7 March 2010
- Omega-logic In mathematics, ω-logic can refer to: ω-logic , an infinitary extension of first-order logic. Ω-logic , a deductive system in set theory ...234 B (28 words) - 22:40, 25 October 2009
View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)
All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc.
Privacy policy - About Wikipedia - Disclaimers - Fundraising
