About: Association for Symbolic Logic

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Association for Symbolic Logic Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q43229, within Data Space : el.dbpedia.org associated with source document(s)

The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Alonzo Church. The current president of the ASL is Julia F. Knight.

Attributes	Values
rdf:type	Thing organisation schema:Organization dul:Agent dul:SocialPerson agent wikidata:Q24229398 wikidata:Q43229
rdfs:label	Association for Symbolic Logic (en)
rdfs:comment	The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Alonzo Church. The current president of the ASL is Julia F. Knight. (en)
sameAs	Association for Symbolic Logic Association for Symbolic Logic Association for Symbolic Logic
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Infobox_organization dbt:Reflist dbt:Short_description dbt:Issn dbt:Logic-stub
foaf:homepage	http://aslonline.org
Subject	Philosophical logic Philosophy organizations Learned societies of the United States Organizations established in 1936 Mathematical logic organizations
Link from a Wikipage to an external page	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/ http://aslonline.org
abbreviation	ASL
purpose	Research,Inquiry
foaf:name	Association for Symbolic Logic (en)
skos:closeMatch	http://www.grid.ac/institutes/grid.422968.3
thumbnail	wiki-commons:Special:FilePath/Association_for_Symbolic_Logic_Logo.svg?width=300
foaf:depiction
gold:hypernym	Organization
schema:sameAs	http://viaf.org/viaf/142787442
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Association_for_Symbolic_Logic?oldid=1061969029&ns=0
Wikipage page ID	3770438 (xsd:integer)
page length (characters) of wiki page	10183 (xsd:nonNegativeInteger)
Wikipage revision ID	1061969029 (xsd:integer)
Link from a Wikipage to another Wikipage	Greg Hjorth Willard Van Orman Quine William Craig (philosopher) Abraham Robinson Academic journal Alasdair Urquhart Alex Wilkie Alexander S. Kechris Alfred Tarski Alonzo Church American Mathematical Society American Philosophical Association Bohuslav Balcar Book Saharon Shelah Sergei Starchenko Stephen Cole Kleene Carol Karp Philosophical logic Philosophy organizations Frederic Fitch George Boolos Gerald Sacks Jonathan Pila Joris van der Hoeven Joseph R. Shoenfield Journal of Symbolic Logic Julia F. Knight Learned societies of the United States Organizations established in 1936 Donald A. Martin Kurt Gödel Leon Henkin Michael D. Morley Zlil Sela Charles Parsons (philosopher) Curt John Ducasse Dana Scott Philosophical logic Robert Lawson Vaught Rod Downey Cooper Harold Langford Ehud Hrushovski Hilary Putnam Moti Gitik Open access Solomon Feferman W. Hugh Woodin Ernest Nagel Ilijas Farah Penelope Maddy Ruth Barcan Marcus dbr:Antonio_Montalbán Haskell Curry Inquiry International organization John P. Burgess

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (71 GB total memory, 2 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software