About: Association for Symbolic Logic

An Entity of Type: Learned society, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

International organization focused on logic

Property	Value
dbo:abbreviation	ASL
dbo:description	organisation internationale spécialisée en logique (fr) Organisation von Logikern (de) international organization focused on logic (en) organització internacional de lògica (ca)
dbo:headquarter	dbr:Storrs,_Connecticut
dbo:leaderFunction	dbr:Association_for_Symbolic_Logic__PersonFunction__1 dbr:Association_for_Symbolic_Logic__PersonFunction__2 dbr:Association_for_Symbolic_Logic__PersonFunction__3 dbr:Association_for_Symbolic_Logic__PersonFunction__4
dbo:purpose	Research,Inquiry
dbo:thumbnail	wiki-commons:Special:FilePath/Association_for_Symbolic_Logic_Logo.svg?width=300
dbo:type	dbr:Learned_society
dbo:wikiPageExternalLink	http://aslonline.org http://aslonline.org/journals/the-journal-of-symbolic-logic/ http://logicandanalysis.org/ https://aslonline.org/ http://aslonline.org/journals/the-bulletin-of-symbolic-logic/ http://aslonline.org/journals/the-review-of-symbolic/
dbo:wikiPageWikiLink	dbr:Academic_journal dbr:Ehud_Hrushovski dbr:Richard_Shore dbc:Learned_societies_of_the_United_States dbr:International_organization dbr:Dana_Scott dbc:Mathematical_logic_organizations dbc:Philosophy_organizations dbr:Penelope_Maddy dbr:Storrs,_Connecticut dbr:Leon_Henkin dbr:Saharon_Shelah dbr:Philosophical_logic dbr:Thomas_Jech dbr:W._Hugh_Woodin dbr:Alex_Wilkie dbr:Abraham_Robinson dbr:J._Barkley_Rosser dbr:Willard_Van_Orman_Quine dbr:Book dbc:Philosophical_logic dbr:Research dbr:Bohuslav_Balcar dbr:Ernest_Nagel dbr:Menachem_Magidor dbr:Learned_society dbr:Solomon_Feferman dbr:Alasdair_Urquhart dbr:Donald_A._Martin dbr:Charles_Parsons_(philosopher) dbr:William_Craig_(philosopher) dbr:Kurt_Gödel dbr:Alonzo_Church dbr:Haskell_Curry dbr:Inquiry dbr:Alfred_Tarski dbr:Zlil_Sela dbr:Stephen_Cole_Kleene dbr:George_Boolos dbr:American_Mathematical_Society dbr:American_Philosophical_Association dbr:Mathematical_logic dbr:Michael_D._Morley dbr:Moti_Gitik dbr:Ulrich_Kohlenbach dbr:Ruth_Barcan_Marcus dbr:Hilary_Putnam dbr:John_R._Steel dbr:Jonathan_Pila dbr:Joseph_R._Shoenfield dbr:Gerald_Sacks dbr:Curt_John_Ducasse dbr:Frederic_Fitch dbr:Lou_van_den_Dries dbr:Sergei_Starchenko dbc:Organizations_established_in_1936 dbr:Carol_Karp dbr:Rod_Downey dbr:Antonio_Montalbán dbr:Cooper_Harold_Langford dbr:Robert_Vaught dbr:Yiannis_Moschovakis dbr:Alexander_Kechris dbr:John_P._Burgess dbr:Journal_of_Symbolic_Logic dbr:Ilijas_Farah dbr:Joris_van_der_Hoeven dbr:Gregory_Hjorth dbr:Matthias_Aschenbrenner dbr:Julia_F._Knight dbr:Julia_Knight dbr:Open-access_journal dbr:Stevo_Todorcevic dbr:Adrien_Deloro dbr:Byunghan_Kim dbr:Denis_Hirschfeldt dbr:Dilip_Raghavan dbr:Eric_Jaligot dbr:Grigor_Sargsyan dbr:Inessa_Epstein dbr:Isaac_Goldbring dbr:Itay_Ben_Yaacov dbr:Joseph_Mileti dbr:Matteo_Viale dbr:Mingzhong_Cai dbr:Nathan_Segerlind dbr:Nathanaël_Mariaule dbr:Omer_Ben-Neria dbr:Rene_Schipperus dbr:Slawomir_Solecki dbr:Uri_Andrews dbr:Wojciech_Moczydlowski dbr:Ya'acov_Peterzil dbr:Martino_Lupini
dbp:abbreviation	ASL (en)
dbp:formation	1936 (xsd:integer)
dbp:headquarters	dbr:Storrs,_Connecticut
dbp:leaderName	dbr:Phokion_G._Kolaitis dbr:Natasha_Dobrinen Reed Solomon (en) Russell G. Miller (en)
dbp:leaderTitle	President (en) Vice President (en) Co-Secretary-Treasurer (en)
dbp:name	Association for Symbolic Logic (en)
dbp:purpose	dbr:Research dbr:Inquiry
dbp:type	dbr:Learned_society
dbp:website	http://aslonline.org
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Use_dmy_dates dbt:Infobox_organization dbt:Issn dbt:Short_description
dct:subject	dbc:Learned_societies_of_the_United_States dbc:Mathematical_logic_organizations dbc:Philosophy_organizations dbc:Philosophical_logic dbc:Organizations_established_in_1936
gold:hypernym	dbr:Organization
schema:sameAs	http://viaf.org/viaf/142787442
rdf:type	owl:Thing dul:Agent dul:SocialPerson wikidata:Q24229398 wikidata:Q43229 dbo:Agent schema:Organization
rdfs:label	Association for Symbolic Logic (en) Association for Symbolic Logic (de) Association for Symbolic Logic (es) Association for Symbolic Logic (fr) Асоціація символьної логіки (uk)
owl:sameAs	freebase:Association for Symbolic Logic yago-res:Association for Symbolic Logic http://viaf.org/viaf/142787442 http://d-nb.info/gnd/1000449-X wikidata:Association for Symbolic Logic dbpedia-de:Association for Symbolic Logic dbpedia-fr:Association for Symbolic Logic dbpedia-es:Association for Symbolic Logic dbpedia-uk:Association for Symbolic Logic dbpedia-global:Association for Symbolic Logic
skos:closeMatch	http://www.grid.ac/institutes/grid.422968.3
prov:wasDerivedFrom	wikipedia-en:Association_for_Symbolic_Logic?oldid=1285075661&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Association_for_Symbolic_Logic_Logo.svg
foaf:homepage	http://aslonline.org http://aslonline.org
foaf:isPrimaryTopicOf	wikipedia-en:Association_for_Symbolic_Logic
foaf:name	Association for Symbolic Logic (en)
is dbo:award of	dbr:Saharon_Shelah dbr:Moti_Gitik dbr:Lou_van_den_Dries dbr:Greg_Hjorth dbr:Joris_van_der_Hoeven
is dbo:publisher of	dbr:Journal_of_Symbolic_Logic
is dbo:wikiPageDisambiguates of	dbr:ASL_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Karp_Prize dbr:Karp_Prize dbr:J._Log._Anal. dbr:J_Log_Anal dbr:Bull._Symb._Log. dbr:Bull_Symb_Log dbr:Bulletin_of_Symbolic_Logic dbr:10.2178 dbr:10.4115 dbr:Journal_of_Logic_and_Analysis dbr:The_Bulletin_of_Symbolic_Logic dbr:Karp_prize dbr:Association_for_symbolic_logic dbr:Rev._Symb._Log. dbr:Rev_Symb_Log dbr:Review_of_Symbolic_Logic dbr:The_Review_of_Symbolic_Logic
is dbo:wikiPageWikiLink of	dbr:Yuri_Matiyasevich dbr:Stephen_Cook dbr:Ehud_Hrushovski dbr:Torkel_Franzén dbr:Peano_axioms dbr:Herbert_Enderton dbr:ASL_(disambiguation) dbr:Saharon_Shelah dbr:Gödel's_incompleteness_theorems dbr:Alex_Wilkie dbr:Stathis_Zachos dbr:Index_of_philosophy_articles_(A–C) dbr:Menachem_Magidor dbr:Turing_jump dbr:Computability_theory dbr:Alan_Turing_Year dbr:Alasdair_Urquhart dbr:Index_of_logic_articles dbr:Abstract_algebraic_logic dbr:Carolyn_Talcott dbr:Kurt_Gödel dbr:Alfred_Tarski dbr:Zlil_Sela dbr:Kripke–Platek_set_theory dbr:Louise_Hay_(mathematician) dbr:Stephen_Cole_Kleene dbr:Model_theory dbr:Michael_D._Morley dbr:Minimal_model_(set_theory) dbr:Ulrich_Kohlenbach dbr:BSL dbr:Ruth_Barcan_Marcus dbr:Joseph_R._Shoenfield dbr:Burton_Dreben dbr:List_of_philosophical_organizations dbr:Stevo_Todorčević dbr:Lou_van_den_Dries dbr:Jaakko_Hintikka dbr:Ronald_Jensen dbr:Carol_Karp dbr:Greg_Hjorth dbr:Lottery_paradox dbr:Algebraic_semantics_(mathematical_logic) dbr:List_of_set_theory_topics dbr:Rod_Downey dbr:Andrzej_Grzegorczyk dbr:Conference_Board_of_the_Mathematical_Sciences dbr:Shmuel_Weinberger dbr:Marcia_Groszek dbr:Tuna_Altınel dbr:Roland_Wiggins dbr:Joseph_Sgro dbr:Journal_of_Symbolic_Logic dbr:R._R._Rockingham_Gill dbr:Outline_of_logic dbr:Joris_van_der_Hoeven dbr:Jon_Michael_Dunn dbr:Rick_Stevens dbr:John_Truss dbr:Workshop_on_Logic,_Language,_Information_and_Computation dbr:Matthias_Aschenbrenner dbr:Marian_Pour-El dbr:Julia_F._Knight dbr:Richard_Zach dbr:List_of_mathematics_awards dbr:Verónica_Becher dbr:Scandinavian_Logic_Society dbr:Itala_D'Ottaviano dbr:Gödel_Lecture dbr:Karp_Prize dbr:Computability_in_Analysis_and_Physics dbr:J._Log._Anal. dbr:J_Log_Anal dbr:Bull._Symb._Log. dbr:Bull_Symb_Log dbr:Bulletin_of_Symbolic_Logic dbr:10.2178 dbr:10.4115 dbr:Journal_of_Logic_and_Analysis dbr:The_Bulletin_of_Symbolic_Logic dbr:Karp_prize dbr:Association_for_symbolic_logic dbr:Rev._Symb._Log. dbr:Rev_Symb_Log dbr:Review_of_Symbolic_Logic dbr:The_Review_of_Symbolic_Logic
is dbp:awards of	dbr:Moti_Gitik dbr:Lou_van_den_Dries dbr:Joris_van_der_Hoeven
is dbp:publisher of	dbr:Journal_of_Symbolic_Logic
is foaf:primaryTopic of	wikipedia-en:Association_for_Symbolic_Logic