逻辑学

符号逻辑协会

Association for Symbolic Logic

ASL

类型 C 美国 1936 成立教育与科研

国际计算逻辑联合会

International Federation for Computational Logic

IFCoLog

类型 C 英国教育与科研

国际TRIZ协会

International TRIZ Association

MATRIZ

类型 C 波兰 1997 成立科技与工业

普遍逻辑协会

Logica Universalis Association

LUA

类型 C 教育与科研

自动推理协会

Association for Automated Reasoning

AAR

类型 D 瑞典教育与科研

逻辑、语言与信息协会

Association of Logic, Language and Information

FoLLI

类型 D 1991 成立科技与工业

欧洲计算机科学逻辑协会

European Association for Computer Science Logic

EACSL

类型 D 德国 1992 成立科技与工业

欧洲模糊逻辑与技术学会

European Society for Fuzzy Logic and Technology

EUSFLAT

类型 D 捷克 1998 成立科技与工业

论辩研究国际学会

International Society for the Study of Argumentation

ISSA

类型 D 荷兰 1986 成立教育与科研

斯堪的纳维亚逻辑学会

Scandinavian Logic Society

SLS

类型 D 瑞典 2012 成立教育与科研

逻辑与宗教协会

Logic and Religion Association

LARA

类型 E 波兰 2021 成立教育与科研

知识表示与推理原理

Principles of Knowledge Representation and Reasoning

KR

类型 E 科技与工业

相关国际组织