4,278 Hits in 3.8 sec

Author index volume 85 (1997)

1997 Annals of Pure and Applied Logic  
(3) (1) (2) (1) 47-68 (3) 243-282 (1) 69-86 (1) l-46 (1) l-46 (1) 47-68 (2) 157-192 193-242 l-46 Elsevier Science B.V.  ... 
doi:10.1016/s0168-0072(97)89607-8 fatcat:kr73bgrjqrcglj6zrih4wqdhuy

Author index volume 87 (1997)

1997 Annals of Pure and Applied Logic  
(2) [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] (3) (2) (3) (2) (3) 241-267 (2) 145-149 (3) 187-208 (2) 151-165 (3) 241-267 (2) (2) Elsevier Science  ... 
doi:10.1016/s0168-0072(97)80526-x fatcat:fjmg2gnzs5avnoxlprnr5r3i54


D. van Dalen
1986 Annals of Pure and Applied Logic  
MASTER INDEX TO VOLUMES 11-30" Abraham, U., Aronszajn trees on K, and X, Abraham, U., M. Rubin and S.  ...  Kaufmann and M. Makkai, Stationary logic 13 (1978) 171-224 Barwise, J., M. Kaufmann and M.  ... 
doi:10.1016/0168-0072(86)90027-8 fatcat:r7qblmmvnzdvjfg534p2d7jfqi

Master Index to Volumes 51–60

1993 Annals of Pure and Applied Logic  
Master Index to Volumes 51-60 ABRAHAM, U. and SHELAH, S., A A: well-order of the reals and incompactness of L(Q"") 59 ( GITIK, M., The strength of the failure of the Singular Cardinal Hypothesis 51  ...  subsystems of second-order arithmetic MAREK, W., NERODE, A. and REMMEL, J., How complicated is the set of stable models of a recursive logic program?  ... 
doi:10.1016/0168-0072(93)90081-n fatcat:izewemprtbcm3gozu2y4c4roia

Bibliography on Realizability

Lars Birkedal
1999 Electronical Notes in Theoretical Computer Science  
Abadi and L. Cardelli. A Theory of Objects. Springer Verlag, 1996. 2] M. Abadi and G.D. Plotkin. A per model of polymorphism and recursive t ypes. In  ...  Cook and A. Urquhart. Functional interpretations of feasibly constructive arithmetic. Annals of Pure and Applied L ogic, 63:103{200, 1993. 49] T. Coquand, C. Gunter, and G. Winskel.  ...  Some free constructions in realizability and proof theory. Journal of Pure and Applied A lgebra, 103:117{148, 1995. 42] A. Carboni, P.J. Freyd, and A. Scedrov.  ... 
doi:10.1016/s1571-0661(04)00103-3 fatcat:jpr3su4qxfgwremm5yjfgwbgai

Master index to volumes 41-50

1990 Annals of Pure and Applied Logic  
Courcelle, B., The monadic second-order logic of graphs IV: definability properties of equational graphs Crossley, J.N. and Scott, P.J., Completeness proofs for propositional logic with polynomial-time  ...  Hodes, H., Three-valued logics: an introduction, a comparison of various logical lexica, and some philosophical remarks Hodges, W., Hodkinson, I.M. and Macpherson, D., Omega-categoricity, relative  ... 
doi:10.1016/0168-0072(90)90061-6 fatcat:inapyhmvyffpzkhhdq4qje4ahi


2005 Historia Mathematica  
Readers are invited to send reprints, autoabstracts, corrections, additions, and notices of publications that have been overlooked.  ...  A triple numbering system is used: the first number indicates the volume, the second the issue number, and the third the sequential number within that issue.  ...  The indefinability of truth in the "Wahrheitsbegriff," Annals of Pure and Applied Logic 126 (1-3) (2004), 27-37.  ... 
doi:10.1016/ fatcat:jpycq5xl2zexnby2h453ddkpp4

Recent Publications

Cassius J. Keyser
1920 The American mathematical monthly  
(undemonstrated) propositions admit of rigorous demonstration by means of purely logical concepts and propositions.  ...  “Pure logic, and pure mathematics (which is the same thing), aims at being true, in Leibnizian phraseology, in all possible worlds, not only in this higgledy-piggledy job-lot of a world in which chance  ... 
doi:10.1080/00029890.1920.11985937 fatcat:ax52tpajfrhadmptvp2gcyowiq

On The Nature of Applied Mathematics

R. S. Burington
1949 The American mathematical monthly  
The techniques of logic and pure mathematics applied may disclose much more than might be anticipated from a brief examination of the premises P involved.  ...  On the nature of pure mathematics and its role in applied mathematics.  ... 
doi:10.1080/00029890.1949.11999367 fatcat:jlor7t3rdnc6jhdols7srvgm7q

Linearizing intuitionistic implication

Patrick Lincoln, Andre Scedrov, Natarajan Shankar
1993 Annals of Pure and Applied Logic  
Scedrov and N. Shankar, Linearizing intuitionistic implication, Annals of Pure and Applied Logic 60 (1993) 151-177.  ...  An embedding of the implicational propositional intuitionistic logic (IIL) into the nonmodal fragment of intuitionistic linear logic (IMALL) is given.  ...  Scedrov, and N. Shankar, Decision problems for propositional linear logic, Ann. Pure Appl. Logic 56 (1992) 239-311. Special Volume dedicated to the memory of John Myhill. [26] P. Lincoln, A.  ... 
doi:10.1016/0168-0072(93)90041-b fatcat:bczpla63ijclhnkfdhegaywyim


1975 Historia Mathematica  
John of Gergonne's 1815 article "Application de la methode des moindre quarrQs B l'interpolation des suites," Annales des Math6matiques Pures et Appliqu&s 6, 242-252.  ...  INTENSIONAL LOGICS. J LUKASIEWICZ. MODAL LOGICS. PHILOSOPHY OF LOGIC. SEMANTICS.  ... 
doi:10.1016/0315-0860(75)90062-2 fatcat:wkfxjegzfrgkjmcbmfodnclfzu

The Encyclopedia of Neutrosophic Researchers, 2nd Volume

Florentin Smarandache
2018 Figshare  
This is the second volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor's invitation.  ...  In the past years, the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate  ...  Attempting to construct a new theory of knowledge from a purely neutrosophic point of view.  ... 
doi:10.6084/m9.figshare.7076483.v1 fatcat:lywimpsh35hevfonzos5pxzvse

Yuri, Logic, and Computer Science [chapter]

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
2010 Lecture Notes in Computer Science  
Annals of Pure and Applied Logic 78 (1996), 111-125 Kleine-Büning (ed.)  ...  Annals of Pure and Applied Logic 32 (1986), 265-280 We prove that the three extensions of first-order logic by means of positive, monotone and inflationary inductions have the same expressive power in  ... 
doi:10.1007/978-3-642-15025-8_1 fatcat:ehjpkiqxzbh55k7waxqwzfhw6y

Recent Publications

G. A. Miller, M. B. Porter, R. D. Carmichael, Edward L. Dodd
1923 The American mathematical monthly  
The first number of The Quarterly Journal of Pure and Applied Mathematics, volume 49, appeared in October, 1920; the fourth number issued in March, 1923, contained a paper “Singly infinite class number  ...  and Applied Science (2 volumes, Ginn, 1907-1909) by the same authors.  ... 
doi:10.1080/00029890.1923.11986262 fatcat:ymcbq63x4rhtlk77qurlbmlovm

Gödel on Deduction [article]

Kosta Dosen, Milos Adzic
2016 arXiv   pre-print
This is an examination, a commentary, of links between some philosophical views ascribed to G\"odel and general proof theory.  ...  It is inquired whether this centrality of deduction could also be kept in the intensional logic of concepts whose building G\"odel seems to have taken as the main task of logic for the future.  ...  Church, A set of postulates for the foundation of logic, Annals of Mathematics, vol. 33 (1932), pp. 346-366 [Church 1933] ——–, A set of postulates for the foundation of logic, Annals of Mathematics  ... 
arXiv:1604.02757v4 fatcat:d2czdsij7fb3fbctr4uvrdtw3i
« Previous Showing results 1 — 15 out of 4,278 results