Journal of Symbolic Logic - Concepedia

Concepedia

Venue (Journal)

Journal of Symbolic Logic

14.7K

Publications

145.2K

Citations

389

Concepts

About

Journal of Symbolic Logic is a journal.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	117	1.1K	65.3K
2	Humanities	39	93	8.2K
3	Education	26	69	4.5K
4	Business	15	20	1.5K
5	Arts	8	8	497

Journal of Symbolic Logic

×

14.7K

Publications

145.2K

Citations

Showing yearly statistics from 2000-2026.

	Year	Citations
On the logic of theory change: Partial meet contraction and revision functions Carlos E. Alchourrón, Peter Gärdenfors, David Makinson Journal of Symbolic Logic EngineeringContraction FunctionsAutomated ReasoningPhilosophy Of LogicFormal Methods	1985	3.2K
A formulation of the simple theory of types Alonzo Church Journal of Symbolic Logic Automated ReasoningType TheoryMathematical FoundationsModel TheoryType System	1940	1.9K
Princeton Mathematical Series Journal of Symbolic Logic Get Access LinkHumanitiesAnalytic Number TheoryPrinceton Mathematical Series	1948	1.4K
Introduction to Higher Order Categorical Logic. J. L. Bell, J. Lambek, Philip Scott Journal of Symbolic Logic Automated ReasoningHigher Category TheoryType TheoryPreface PartFirst-order Logic	1989	1.1K
A completeness theorem in modal logic Saul A. Kripke Journal of Symbolic Logic EngineeringSubstructural LogicAutomated ReasoningMulti-sorted LogicProof Complexity	1959	1.1K
Charles W. Morris. Foundations of the theory of signs. International encyclopedia of unified science, vol. 1, no. 2. The University of Chicago Press, Chicago1938, vii + 59 pp. C. H. Langford Journal of Symbolic Logic Sign LanguageHumanitiesGet Access LinkSymbolic InteractionSymbol Use	1938	959
Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165 pp. - C. Smoryński. D.1. The incompleteness theorems. Pp. 821–865. - Helmut Schwichtenberg. D.2. Proof theory: some applications of cut-elimination. Pp. 867–895. - Richard Statman. D.3. Herbrand's theorem and Gentzen's notion of a direct proof. Pp. 897–912. - Solomon Feferman. D.4. Theories of finite type related to mathematical practice. Pp. 913–971. - A. S. Troelstra. D.5. Aspects of constructive mathematics. Pp. 973–1052. - Michael P. Fourman. D.6. The logic of topoi. Pp. 1053–1090. - Henk P. Barendregt. D.1. The type free lambda calculus. Pp. 1091–1132. - Jeff Paris and Leo Harrington. D.8. A mathematical incompleteness in Peano arithmetic. Pp. 1133–1142. William A. Howard Journal of Symbolic Logic	1984	837
Completeness in the theory of types Leon Henkin Journal of Symbolic Logic EngineeringIncompletenessAutomated ReasoningType TheoryConstructive Logic	1950	835
The relative efficiency of propositional proof systems Stephen Cook, Robert A. Reckhow Journal of Symbolic Logic Frege SystemsEngineeringAutomated ReasoningProof ComplexityVerification	1979	818
A note on the Entscheidungsproblem Alonzo Church Journal of Symbolic Logic EngineeringHigher-order LogicHistory Of LogicSymbolic ComputationNon-monotonic Logic	1936	791

Page 1