Most cited
This page lists all time most cited articles for this title. Please use the publication date filters on the left if you would like to restrict this list to recently published content, for example to articles published in the last three years. The number of times each article was cited is displayed to the right of its title and can be clicked to access a list of all titles this article has been cited by.
- Cited by 1
Peter Gärdenfors. Knowledge in flux. Modeling the dynamics of epistemic states. Bradford books. The MIT Press, Cambridge, Mass., and London, 1988, xi + 262 pp. - Carlos E. Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: partial meet contraction and revision functions. The journal of symbolic logic, vol. 50 (1985), pp. 510–530.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1479-1481
-
- Article
- Export citation
- Cited by 1
Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-286
-
- Article
- Export citation
- Cited by 1
On the relative consistency of set theory1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-290
-
- Article
- Export citation
- Cited by 1
HYBRID PARTIAL TYPE THEORY
- Part of:
-
- Published online by Cambridge University Press:
- 29 May 2023, pp. 1-43
-
- Article
-
- You have access
- HTML
- Export citation
- Cited by 1
Evert W. Beth. Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Synthese library. D. Reidel Publishing Company, Dordrecht, Holland, and Gordon and Breach, New York, 1962, XIV + 170 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 235-236
-
- Article
- Export citation
- Cited by 1
Giovanni Giorgi. A proposito di alcune discussioni recenti sui problemi della logicu deduttiva. Bollettino della Unione Matematica Italiana, sor. 3 vol. 3 (1948), pp. 256–259.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 141
-
- Article
- Export citation
- Cited by 1
On the possibility of a Σ21 well-ordering of the Baire space
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 396-398
-
- Article
- Export citation
- Cited by 1
A generalization of the antilogism
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-95
-
- Article
- Export citation
- Cited by 1
Meager nowhere-dense games (IV): n-tactics (continued)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 603-605
-
- Article
- Export citation
- Cited by 1
GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS
-
- Published online by Cambridge University Press:
- 08 September 2017, pp. 860-892
-
- Article
- Export citation
- Cited by 1
A note on valuation definable expansions of fields
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 739-743
-
- Article
- Export citation
- Cited by 1
Promptness does not imply superlow cuppability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1264-1272
-
- Article
- Export citation
- Cited by 1
THE TURING DEGREES BELOW GENERICS AND RANDOMS
-
- Published online by Cambridge University Press:
- 17 April 2014, pp. 171-178
-
- Article
- Export citation
- Cited by 1
HIGHER DIMENSIONAL CARDINAL CHARACTERISTICS FOR SETS OF FUNCTIONS II
- Part of:
-
- Published online by Cambridge University Press:
- 28 February 2022, pp. 1421-1442
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
D. E. Muller. Application of Boolean algebra to switching circuit design and to error detection. Transactions of the Institute of Radio Engineers Professional Group on Electronic Computers, vol. EC-3 (1954), pp. 6–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 195
-
- Article
- Export citation
- Cited by 1
Leonard Bloomfield. Linguistic aspects of science. International encyclopedia of unified science, vol. 1, no. 4. The University of Chicago Press, Chicago1939, viii + 59 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-119
-
- Article
- Export citation
- Cited by 1
L. Chwistek and W. Hetper. New foundation of formal metamathematics. The journal of symbolic logic, vol. 3 (1938), pp. 1–36.
-
- Published online by Cambridge University Press:
- 17 August 2023, pp. 120-121
-
- Article
-
- You have access
- Export citation
- Cited by 1
Nicolas Rouche. Recherche d'une algèbre logique continue. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 90–99. - Wolfe Mays. Cybernetic models and thought processes. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 103–110. - Henryk Greniewski. Logique et cybernétique. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 117–119. - M. O. Rabin and D. Scott. Finite automata and their decision problems. IBM journal of research and development, vol. 3 (1959), pp. 114–125. - J. C. Shepherdson. The reduction of two-way automata to one-way automata. IBM journal of research and development, vol. 3 (1959), pp. 198–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-164
-
- Article
- Export citation
- Cited by 1
H. Gaifman. Infinite Boolean polynomials I.Fundamenta mathematicae, vol. 54 (1964), pp. 229–250. (See Errata, ibid., vol. 57 no. 1 (1965), p. 117.) - A. W. Hales. On the non-existence of free complete Boolean algebras. Fundamenta mathematicae, vol. 54 (1964), pp. 45–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
-
- Article
- Export citation
- Cited by 1
Robert Fets. Principes de logistique, premier volume. Mimeographed. Institut Supérieur de Philosophie, Louvain1939, 129 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 38
-
- Article
- Export citation