Association for Symbolic Logic
GPTKB entity
AI-created image
Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:learned_society
|
| gptkbp:abbreviation |
gptkb:ASL
|
| gptkbp:field |
gptkb:logic
|
| gptkbp:focus |
promotion of research in symbolic logic
|
| gptkbp:founded |
1936
|
| gptkbp:headquarters_location |
gptkb:United_States
|
| gptkbp:membership |
international
|
| gptkbp:officialLanguage |
English
|
| gptkbp:organizes |
annual meetings
logic conferences |
| gptkbp:publishes |
gptkb:Journal_of_Symbolic_Logic
gptkb:Bulletin_of_Symbolic_Logic gptkb:Review_of_Symbolic_Logic |
| gptkbp:website |
https://aslonline.org/
|
| gptkbp:bfsParent |
gptkb:Journal_of_Symbolic_Logic
|
| gptkbp:bfsLayer |
4
|
| https://www.w3.org/2000/01/rdf-schema#label |
Association for Symbolic Logic
|