Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Zeroth-order_logic> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- Zeroth-order_logic abstract "Zeroth-order logic is first-order logic without quantifiers. A finitely axiomatizable zeroth-order logic is isomorphic to a propositional logic. Zeroth-order logic with axiom schema is a more expressive system than propositional logic. An example is given by the system Primitive recursive arithmetic, or PRA.".
- Zeroth-order_logic wikiPageID "14677737".
- Zeroth-order_logic wikiPageRevisionID "589517745".
- Zeroth-order_logic hasPhotoCollection Zeroth-order_logic.
- Zeroth-order_logic subject Category:Propositional_calculus.
- Zeroth-order_logic subject Category:Systems_of_formal_logic.
- Zeroth-order_logic type Ability105616246.
- Zeroth-order_logic type Abstraction100002137.
- Zeroth-order_logic type Cognition100023271.
- Zeroth-order_logic type Know-how105616786.
- Zeroth-order_logic type Logic105664069.
- Zeroth-order_logic type Method105660268.
- Zeroth-order_logic type PsychologicalFeature100023100.
- Zeroth-order_logic type System105661996.
- Zeroth-order_logic type SystemsOfFormalLogic.
- Zeroth-order_logic comment "Zeroth-order logic is first-order logic without quantifiers. A finitely axiomatizable zeroth-order logic is isomorphic to a propositional logic. Zeroth-order logic with axiom schema is a more expressive system than propositional logic. An example is given by the system Primitive recursive arithmetic, or PRA.".
- Zeroth-order_logic label "Klasyczny rachunek zdań".
- Zeroth-order_logic label "Zeroth-order logic".
- Zeroth-order_logic label "零阶逻辑".
- Zeroth-order_logic sameAs Klasyczny_rachunek_zdań.
- Zeroth-order_logic sameAs m.09x6yj.
- Zeroth-order_logic sameAs Q8069651.
- Zeroth-order_logic sameAs Q8069651.
- Zeroth-order_logic sameAs Zeroth-order_logic.
- Zeroth-order_logic wasDerivedFrom Zeroth-order_logic?oldid=589517745.
- Zeroth-order_logic isPrimaryTopicOf Zeroth-order_logic.