13629 results in The Journal of Symbolic Logic
Notice of the Third International Congress for Logic, Methodology and Philosophy of Science
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 523-524
- Print publication:
- 02 September 1966
-
- Article
- Export citation
W. W. Tait. Functionals defined by transfinite recursion. The journal of symbolic logic, vol. 30 (1965), pp. 155–174.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 509-510
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Bolesław Sobociński. A contribution to the axiomatization of Lewis' system S5. Notre Dame journal of formal logic, vol. 3 (1962), pp. 51–63. - Bolesław Sobociński. On the generalized Brouwerian axioms.Notre Dame journal of formal logic, vol. 3 (1962), pp. 123–128. - Bolesław Sobociński. A note on modal systems.Notre Dame journal of formal logic, vol. 4 (1963), pp. 155–157. - Ivo Thomas. Solutions of five modal problems of Sobociński.Notre Dame journal of formal logic, vol. 3 (1962), pp. 199–200. - Ivo Thomas. S1° and Brouwerian axioms.Notre Dame journal of formal logic, vol. 4 (1963), pp. 151–152. - Ivo Thomas. S1° and generalized Si-axioms.Notre Dame journal of formal logic, vol. 4 (1963), pp. 153–154. - Ivo Thomas. A final note on S1° and the Brouwerian axioms.Notre Dame journal of formal logic, vol. 4 (1963), pp. 231–232. - Ivo Thomas. Modal systems in the neighbourhood of T.Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. 59–61. - Ivo Thomas. Ten modal models. The journal of symbolic logic, vol. 29 no. 3 (1964), pp. 125–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 498-500
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Lars Svenonius. ℵ0-categoricity in first-order predicate calculus. Theoria (Lund), vol. 25 (1959), pp. 82–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 504
- Print publication:
- 02 September 1966
-
- Article
- Export citation
G. A. Šéstopal. O čislé prostyh bazisov bulévyh funkcij. Doklady Akadémii Nauk SSSR, vol. 140 (1961), pp. 314–317. - G. A. Šestopal. On the number of simple bases of Boolean functions. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 2 no. 5 (1961), pp. 1215–1219. - S. V. Áblonskij. O supérpoziciáh funkcij v Рκ (On superpositions of functions in Ρκ). Problémy kibérnétiki, vol. 9 (1963), pp. 337–340. - V. V. Martynúk. Isslédovanié nékotoryh klassov funkcij v mnogoznačnyh logikah (Investigation of some classes of functions in multivalued logics). Problémy kibérnétiki, vol. 3(1960), pp. 49–60. - É. Ú. Zaharov and S. V. Áblonskij. O nékotoryh svojstvah suščéstvénnyh funkcij iz Рκ (On some properties of essential functions from Рκ). Problémy kibérnétiki, vol. 12 (1964), pp. 247–252.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 501-502
- Print publication:
- 02 September 1966
-
- Article
- Export citation
John Myhill. Recursive equivalence types and combinatorial functions. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 46–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 510-511
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Lars Svenonius. A theorem on permutations in models. Theoria (Lund), vol. 25 (1959), pp. 173–178.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 505
- Print publication:
- 02 September 1966
-
- Article
- Export citation
W. V. Quine. Logic as a source of syntactical insights. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 1–5. - Irina Lynch, W. V. Quine. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 254–255.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 496-497
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Short definitions of the ordinals1
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 409-414
- Print publication:
- 02 September 1966
-
- Article
- Export citation
A. Grzegorczyk. A note on the theory of prepositional types. Fundamenta mathematicae, vol. 54 (1964), pp. 27–29.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 502-503
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Connexive implication
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 415-433
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Elections
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 289
- Print publication:
- June 1966
-
- Article
-
- You have access
- Export citation
Francesca Rivetti Barbò. L'antinomia del mentitore nel pensiero contemporaneo, da Peirce a Tarski. Studi - testi - bibliografia. Pubblicazioni dell'Università Cattolica del Sacro Cuore, serie terza, scienze filosofiche, 5. Vita e Pensiero, Milano1961, XLIII + 744 pp. - Charles Sanders Peirce. Ristampa di un brano da 283, con versione italiana a fronte. Ivi, pp. 334–339. - Charles Sanders Peirce. Ristampa di un breve commento da Collected papers 2.352, con versione italiana a fronte. Ivi, pp. 338, 339. - Charles Sanders Peirce. Ristampa di un brano di The regenerated logic (2812), con versione italiana a fronte. Ivi, pp. 338–341. - Charles Sanders Peirce. Insolubilia. Ristampa di 2813, con versione italiana a fronte. Ivi, pp. 340–343. - Ernst Schröder. Ristampa di un brano di 4210, con versione italiana a fronte. Ivi, pp. 342–345. - Bertrand Russell. Les paradoxes de la logique. Ristampa di brani di 11114, con versione italiana a fronte. Ivi, pp. 346–353. - Bertrand Russell. Mathematical logic as based on the theory of types. Ristampa di brani di 11116, con versione italiana a fronte. Ivi, pp. 352–363. - Alfred North Whitehead e Bertrand Russell. Ristampa di brani del l'introduzione del 1941, con versione italiana a fronte. Ivi, pp. 362–371. - Bertrand Russell. The philosophy of logical atomism. Ristampa di un brano di 11125, con versione italiana a fronte. Ivi, pp. 370–375. - Bertrand Russell. Logical atomism. Ristampa di un brano di XXV 333(2), conversione italiana a fronte. Ivi, pp. 376, 377. - Ludwig Wittgenstein. Ristampa di 3.33–3.333 e 4.442 da 2812, testo tedesco, con versione italiana a fronte dal G. C. M. Colombo. Ivi, pp. 376–379. - Frank Plumpton Ramsey. The foundations of mathematics. Ristampa di brani di 2955, con versione italiana a fronte. Ivi, pp. 378–385. - Frank Plumpton Ramsey. Mathematical logic. Ristampa di un brano di 2958, con versione italiana a fronte. Ivi, pp. 386–389. - Alfred Tarski. Der Wahrheitsbegriff in den formalisierten Sprachen. Ristampa di 28516. Ivi, pp. 392–674 (pagine pari), 674–677. - Alfred Tarski. Il concetto di verità nei linguaggi formalizzati. Versione italiana del medesimo. Ivi, pp. 393–675 (pagine dispari). - A paradossi e antinomie l'autrice, docente nell'universita cattolicadel Sacro cuore di Milano, ha gia dedicato, tra il 1957 ed il 1961, almeno cinque articoli. Segue ora questo libro.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-284
- Print publication:
- June 1966
-
- Article
- Export citation
A. A. Markov. O konstruktivnyh funkciáh (On constructive functions). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Maté-matičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 315–348.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 258
- Print publication:
- June 1966
-
- Article
- Export citation
Setsuo Saito. Truth value assignment in predicate calculus of first order. Notre Dame journal of formal logic, vol. 4 no. 3 (1963), pp. 216–223.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 268
- Print publication:
- June 1966
-
- Article
- Export citation
Alfred Tarski. Il concetto di verità nei linguaggi formalizzati. A cura di Francesca Rivetti Barbò. Vita e Pensiero, Milano1963, pp. VIII, 391–677, 1*-43*.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 284
- Print publication:
- June 1966
-
- Article
- Export citation
H. J. Keisler. A complete first-order logic with infinitary predicates. Fundamenta mathematicae, vol. 52 (1963), pp. 177–203.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 269
- Print publication:
- June 1966
-
- Article
- Export citation
K. Menger. The algebra of functions: past, present, future. Rendiconti di matematica, vol. 20 (1961), pp. 409–430. - Karl Menger. Function algebra and propositional calculus. Self-organizing systems 1962, edited by Marshall C. Yovits, George T. Jacobi, and Gordon D. Goldstein, Spartan Books, Washington, D.C., 1962, pp. 525–532. - Karl Menger and Martin Schultz. Postulates for the substitutive algebra of the 2-place functors in the 2-valued calculus of propositions. Notre Dame journal of formal logic, vol. 4 no. 3 (1963), pp. 188–192. - Robert E. Seall. Truth-valued fluents and qualitative laws. Philosophy of science, vol. 30 (1963), pp. 36–10.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 272
- Print publication:
- June 1966
-
- Article
- Export citation
N. A. Šanin. О konstruktivnom ponimanii matématičéskih suždénij (On the constructive interpretation of mathematical judgments). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 226–311.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-258
- Print publication:
- June 1966
-
- Article
- Export citation
F. M. Sioson. Equational bases of Boolean algebras. The journal of symbolic logic, vol. 29 no. 3 (1964), pp. 115–124.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
- Print publication:
- June 1966
-
- Article
- Export citation