Journal of Symbolic Logic

E641944

academic journal logic journal

The Journal of Symbolic Logic is a leading peer-reviewed academic journal covering research in mathematical logic and its applications.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (3)

Label	Occurrences
Journal of Symbolic Logic canonical	2
J. Symb. Log.	1
The Journal of Symbolic Logic	1

How this entity was disambiguated

This entity first appeared as the object of triple T7104884 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Journal of Symbolic Logic
Context triple: [Association for Symbolic Logic, publishes, Journal of Symbolic Logic]

A. Association for Symbolic Logic
The Association for Symbolic Logic is an international scholarly organization devoted to the advancement of research and education in logic, including mathematical, philosophical, and computational aspects.
B. New Foundations for Mathematical Logic
New Foundations for Mathematical Logic is W.V.O. Quine’s influential essay proposing an alternative set theory, known as "New Foundations," aimed at resolving paradoxes while preserving a broad, intuitive universe of sets.
C. “Logic, Semantics, Metamathematics”
“Logic, Semantics, Metamathematics” is a landmark collection of Alfred Tarski’s foundational papers that helped shape modern logic, model theory, and the formal study of truth.
D. A Survey of Symbolic Logic
A Survey of Symbolic Logic is an influential early 20th-century work that systematically presents and analyzes the foundations and methods of symbolic (mathematical) logic.
E. Lectures on the Logic of Arithmetic
Lectures on the Logic of Arithmetic is an educational work by Mary Everest Boole that explores the foundations and teaching of arithmetic through logical and psychological principles.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Journal of Symbolic Logic
Target entity description: The Journal of Symbolic Logic is a leading peer-reviewed academic journal covering research in mathematical logic and its applications.

A. Association for Symbolic Logic
The Association for Symbolic Logic is an international scholarly organization devoted to the advancement of research and education in logic, including mathematical, philosophical, and computational aspects.
B. New Foundations for Mathematical Logic
New Foundations for Mathematical Logic is W.V.O. Quine’s influential essay proposing an alternative set theory, known as "New Foundations," aimed at resolving paradoxes while preserving a broad, intuitive universe of sets.
C. “Logic, Semantics, Metamathematics”
“Logic, Semantics, Metamathematics” is a landmark collection of Alfred Tarski’s foundational papers that helped shape modern logic, model theory, and the formal study of truth.
D. A Survey of Symbolic Logic
A Survey of Symbolic Logic is an influential early 20th-century work that systematically presents and analyzes the foundations and methods of symbolic (mathematical) logic.
E. Lectures on the Logic of Arithmetic
Lectures on the Logic of Arithmetic is an educational work by Mary Everest Boole that explores the foundations and teaching of arithmetic through logical and psychological principles.
F. None of above. chosen

Statements (46)

Predicate	Object
instanceOf	academic journal ⓘ logic journal ⓘ
abbreviation	J. Symb. Log. ⓘ linked to: Journal of Symbolic Logic JSL ⓘ
associatedOrganization	Association for Symbolic Logic ⓘ
associatedWith	Alan Turing ⓘ Alfred Tarski ⓘ Alonzo Church ⓘ Kurt Gödel ⓘ
countryOfPublication	United States ⓘ linked to: United States of America
covers	original research articles ⓘ reviews ⓘ survey articles ⓘ
discipline	logic ⓘ mathematics ⓘ philosophy ⓘ
eissn	1943-5886 ⓘ
field	foundations of mathematics ⓘ mathematical logic ⓘ model theory ⓘ philosophical logic ⓘ proof theory ⓘ recursion theory ⓘ set theory ⓘ theoretical computer science ⓘ
firstIssueYear	1936 ⓘ
format	online ⓘ print ⓘ
foundedIn	1936 ⓘ
hasCategory	Academic journals established in 1936 ⓘ Logic journals ⓘ Mathematics journals ⓘ
hasPublisherPartner	Cambridge University Press ⓘ
hasWebsite	https://www.cambridge.org/core/journals/journal-of-symbolic-logic ⓘ
issn	0022-4812 ⓘ
language	English ⓘ
notableFor	historically influential papers in logic ⓘ research in mathematical logic ⓘ
peerReviewed	true ⓘ
publicationFrequency	quarterly ⓘ
publishedBy	Association for Symbolic Logic ⓘ
publisher	Association for Symbolic Logic ⓘ
targetAudience	mathematicians ⓘ philosophers ⓘ researchers in logic ⓘ theoretical computer scientists ⓘ

How these facts were elicited

Referenced by (4)

Full triples — surface form annotated when it differs from this entity's canonical label.

Association for Symbolic Logic → publishes → Journal of Symbolic Logic ⓘ

Association for Symbolic Logic → publishes → The Journal of Symbolic Logic ⓘ

linked to: Journal of Symbolic Logic

ASL → publishes → Journal of Symbolic Logic ⓘ

Journal of Symbolic Logic → abbreviation → J. Symb. Log. ⓘ