Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Categorical_logic> ?p ?o }
Showing triples 1 to 90 of
90
with 100 triples per page.
- Categorical_logic abstract "Categorical logic is a branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor. The categorical framework provides a rich conceptual background for logical and type-theoretic constructions. The subject has been recognisable in these terms since around 1970.".
- Categorical_logic wikiPageExternalLink ~jbell.
- Categorical_logic wikiPageExternalLink bookinfo.html.
- Categorical_logic wikiPageExternalLink catlogprime.pdf.
- Categorical_logic wikiPageExternalLink awodey.
- Categorical_logic wikiPageExternalLink catlog.
- Categorical_logic wikiPageExternalLink HistofCatLog.pdf.
- Categorical_logic wikiPageID "1063799".
- Categorical_logic wikiPageLength "7386".
- Categorical_logic wikiPageOutDegree "53".
- Categorical_logic wikiPageRevisionID "680084851".
- Categorical_logic wikiPageWikiLink Beta_reduction.
- Categorical_logic wikiPageWikiLink Cartesian_closed_categories.
- Categorical_logic wikiPageWikiLink Cartesian_closed_category.
- Categorical_logic wikiPageWikiLink Category:Categorical_logic.
- Categorical_logic wikiPageWikiLink Category:Monoidal_categories.
- Categorical_logic wikiPageWikiLink Category:Systems_of_formal_logic.
- Categorical_logic wikiPageWikiLink Category:Theoretical_computer_science.
- Categorical_logic wikiPageWikiLink Category_(mathematics).
- Categorical_logic wikiPageWikiLink Category_of_sets.
- Categorical_logic wikiPageWikiLink Category_theory.
- Categorical_logic wikiPageWikiLink Charles_Wells_(mathematician).
- Categorical_logic wikiPageWikiLink Commutative_diagram.
- Categorical_logic wikiPageWikiLink Dana_Scott.
- Categorical_logic wikiPageWikiLink Diagram_chasing.
- Categorical_logic wikiPageWikiLink Effective_topos.
- Categorical_logic wikiPageWikiLink Equational_logic.
- Categorical_logic wikiPageWikiLink Equivalence_of_categories.
- Categorical_logic wikiPageWikiLink Fibred_category.
- Categorical_logic wikiPageWikiLink Francis_William_Lawvere.
- Categorical_logic wikiPageWikiLink Full_subcategory.
- Categorical_logic wikiPageWikiLink Functor.
- Categorical_logic wikiPageWikiLink Hemel_Hempstead.
- Categorical_logic wikiPageWikiLink Higher-order_logic.
- Categorical_logic wikiPageWikiLink History_of_topos_theory.
- Categorical_logic wikiPageWikiLink Impredicative.
- Categorical_logic wikiPageWikiLink Impredicativity.
- Categorical_logic wikiPageWikiLink Interpretation_(logic).
- Categorical_logic wikiPageWikiLink Intuitionistic_logic.
- Categorical_logic wikiPageWikiLink Joachim_Lambek.
- Categorical_logic wikiPageWikiLink John_Lane_Bell.
- Categorical_logic wikiPageWikiLink Lambda_calculus.
- Categorical_logic wikiPageWikiLink Martin_Hyland.
- Categorical_logic wikiPageWikiLink Mathematical_logic.
- Categorical_logic wikiPageWikiLink Mathematics.
- Categorical_logic wikiPageWikiLink Metalogic.
- Categorical_logic wikiPageWikiLink Michael_Barr_(mathematician).
- Categorical_logic wikiPageWikiLink Michael_Makkai.
- Categorical_logic wikiPageWikiLink Model_theory.
- Categorical_logic wikiPageWikiLink P.J._Scott.
- Categorical_logic wikiPageWikiLink Peter_J._Freyd.
- Categorical_logic wikiPageWikiLink R.A.G._Seely.
- Categorical_logic wikiPageWikiLink Robert_Rosebrugh.
- Categorical_logic wikiPageWikiLink Simply_typed_lambda_calculus.
- Categorical_logic wikiPageWikiLink Stephen_H._Schanuel.
- Categorical_logic wikiPageWikiLink Stephen_Schanuel.
- Categorical_logic wikiPageWikiLink Subcategory.
- Categorical_logic wikiPageWikiLink System_F.
- Categorical_logic wikiPageWikiLink Theoretical_computer_science.
- Categorical_logic wikiPageWikiLink Theory_(mathematical_logic).
- Categorical_logic wikiPageWikiLink Topos.
- Categorical_logic wikiPageWikiLink Type_theory.
- Categorical_logic wikiPageWikiLink Universal_property.
- Categorical_logic wikiPageWikiLink Untyped_lambda_calculus.
- Categorical_logic wikiPageWikiLink William_Lawvere.
- Categorical_logic wikiPageWikiLinkText "Categorical Logic".
- Categorical_logic wikiPageWikiLinkText "Categorical logic".
- Categorical_logic wikiPageWikiLinkText "categorical logic".
- Categorical_logic wikiPageWikiLinkText "categorical".
- Categorical_logic hasPhotoCollection Categorical_logic.
- Categorical_logic wikiPageUsesTemplate Template:About.
- Categorical_logic wikiPageUsesTemplate Template:Citation_needed.
- Categorical_logic wikiPageUsesTemplate Template:Cite_book.
- Categorical_logic wikiPageUsesTemplate Template:Portal.
- Categorical_logic wikiPageUsesTemplate Template:Reflist.
- Categorical_logic subject Category:Categorical_logic.
- Categorical_logic subject Category:Systems_of_formal_logic.
- Categorical_logic subject Category:Theoretical_computer_science.
- Categorical_logic hypernym Branch.
- Categorical_logic type Area.
- Categorical_logic type Organisation.
- Categorical_logic type Area.
- Categorical_logic comment "Categorical logic is a branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor. The categorical framework provides a rich conceptual background for logical and type-theoretic constructions. The subject has been recognisable in these terms since around 1970.".
- Categorical_logic label "Categorical logic".
- Categorical_logic sameAs Lógica_categórica.
- Categorical_logic sameAs m.042t5p.
- Categorical_logic sameAs Q18376327.
- Categorical_logic sameAs Q18376327.
- Categorical_logic wasDerivedFrom Categorical_logic?oldid=680084851.
- Categorical_logic isPrimaryTopicOf Categorical_logic.