Write in a clean editor, then format for Journal of Symbolic Logic in one click — DocuGuru applies the official Cambridge University Press template with numbered references and exports a submission-ready PDF plus the editable LaTeX source. Free to start.
Journal of Symbolic Logic is a peer-reviewed journal published by Cambridge University Press, covering Computability, Logic, AI Algorithms, Advanced Algebra and Logic, Advanced Topology and Set Theory.
| Publisher | Cambridge University Press |
|---|---|
| Reference style | Numbered Numbered — [1], [2] in the text [1] A. Smith, B. Jones, and C. Lee, A representative article title, Journal of Symbolic Logic 12 (2023) 45–58.
Formats any DOI in the closest standard style — Journal of Symbolic Logic has no published style definition, so this is an approximation. No sign-up. |
| Publishes research in | Computability, Logic, AI Algorithms Advanced Algebra and Logic Advanced Topology and Set Theory Logic, Reasoning, and Knowledge History and Theory of Mathematics |
| ISSN | 0022-4812 |
| Citation impact (2-yr) | 0.32 |
| h-index | 154 |
| i10-index | 2,483 |
| Total citations | 146,862 |
| Top institutions publishing here | Hebrew University of Jerusalem |
| Journal website | www.cambridge.org |
| You get | A submission-ready PDF and the editable LaTeX source — ready to submit. |
Citations each year’s papers have accumulated so far — the most recent years are still building up.
Abstract This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gärdenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourrón and…
The purpose of the present paper is to give a formulation of the simple theory of types which incorporates certain features of the calculus of λ-conversion. A complete incorporation of the calculus of λ-conversion into the theory of types is impossible if we require that λ x and juxtaposition shall retain their respective meanings as…
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
Preface Part I. Introduction to Category Theory: Part II. Cartesian Closed Categories and Calculus: Part III. Type Theory and Toposes: Part IV. Representing Numerical Functions in Various Categories Bibliography Author index Subject index.
The present paper attempts to state and prove a completeness theorem for the system S5 of [1], supplemented by first-order quantifiers and the sign of equality. We assume that we possess a denumerably infinite list of individual variables a, b, c, …, x, y, z, …, x m , y m , z m ,…
