Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Association for Symbolic Logic · Vinony

🌐English

English Deutsch Español Français Nederlands Svenska Русский 中文

EntityQ743648· pop 5· linked from 153 articles

Association for Symbolic Logic

Also known as ASL

international organization focused on logic

Wikidata facts

Official website: www.aslonline.org

Sources (3)

wikidata.org
ipac.svkkl.cz
docs.openalex.org

via Wikidata · CC0

Available in 5 languages

Español
Français
Deutsch
Ukrainian

via Wikidata sitelinks · CC0

Connections

Stevo Todorčević

Julia F. Knight

Categories

Learned societies of the United States Mathematical logic organizations Organizations established in 1936 Philosophical logic Philosophy organizations

Sources

wikipedia.externallinksexternallink

Alexander S. Kechris

Entity

Martin Heidegger

International Standard Serial Number

mathematical logic

international organization

Willard Van Orman Quine

computability theory

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

first-order logic

Entitydist 0.45

Entitydist 0.48

Association for Information Systems

Organizationdist 0.48

categorical logic

Entitydist 0.49

imperative logic

Entitydist 0.55

Companydist 0.55

Peter B. Andrews

Entitydist 0.55

International Association for Philosophy of Law and Social Philosophy

Entitydist 0.56

Category:Mathematical axioms

Entitydist 0.57

Category:Axioms of set theory

Entitydist 0.57

color symbolism

Entitydist 0.57

specification pattern

Entitydist 0.59

What links here153 pages

computability theory

Ehud Hrushovski

Matthias Aschenbrenner

Ruth Barcan Marcus

Shmuel Weinberger

Menachem Magidor

second-order logic

Journal of Symbolic Logic

Julia F. Knight

Heinrich Behmann