Facts and the choice of logical foundationsRANTALA, V.Notre Dame journal of formal logic. 1984, Vol 25, Num 4, pp 347-353, issn 0029-4527Article

Read on relevance: a rejoinderBURGESS, J. P.Notre Dame journal of formal logic. 1984, Vol 25, Num 3, pp 217-223, issn 0029-4527Article

Generalized quantifiers and the square of oppositionBROWN, M.Notre Dame journal of formal logic. 1984, Vol 25, Num 4, pp 303-322, issn 0029-4527Article

Some results on quantifiersWESTERSTÅHL, D.Notre Dame journal of formal logic. 1984, Vol 25, Num 2, pp 152-170, issn 0029-4527Article

Intermediate β-r.e. degrees and the half-jumpHOMER, S.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 790-796, issn 0022-4812Article

Sentences implying their own provabilityGUASPARI, D.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 777-789, issn 0022-4812Article

Logics containing K4. IIFINE, K.The Journal of symbolic logic. 1985, Vol 50, Num 3, pp 619-651, issn 0022-4812Article

Simplified morassesVELLEMAN, D.The Journal of symbolic logic. 1984, Vol 49, Num 1, pp 257-271, issn 0022-4812Article

On the interpretation of combinators with weak reductionSHABUNIN, L. V.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 558-563, issn 0022-4812Article

What is mathematical fuzzy logic : What is fuzzy logicHAJEK, Petr.Fuzzy sets and systems. 2006, Vol 157, Num 5, pp 597-603, issn 0165-0114, 7 p.Article

Cuts, consistency statements and interpretationsPUDLAK, P.The Journal of symbolic logic. 1985, Vol 50, Num 2, pp 423-441, issn 0022-4812Article

Characterizing weak compactnessSTANLEY, L. J.Annals of pure and applied logic. 1984, Vol 26, Num 1, pp 89-99, issn 0168-0072Article

Deux remarques à propos de la propriété de recouvrement = Two results on the covering propertyPOIZAT, B.The Journal of symbolic logic. 1984, Vol 49, Num 3, pp 803-807, issn 0022-4812Article

Some recent developments in higher recursion theoryFRIEDMAN, S. D.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 629-642, issn 0022-4812Article

The nature of reflexive paradoxes. IGODDARD, L; JOHNSTON, M.Notre Dame journal of formal logic. 1983, Vol 24, Num 4, pp 491-508, issn 0029-4527Article

Une théorie de Galois imaginaire = An imaginary Galois theoryPOIZAT, B.The Journal of symbolic logic. 1973, Vol 48, Num 4, pp 1151-1170, issn 0022-4812Article

A new proof for Craig's theoremBELLOT, P.The Journal of symbolic logic. 1985, Vol 50, Num 2, pp 395-396, issn 0022-4812Article

Functors and ordinal notations. IV: The howard ordinal and the functorVAUZEILLES, J.The Journal of symbolic logic. 1985, Vol 50, Num 2, pp 331-338, issn 0022-4812Article

A minimal degree which collapses ω₁CARLSON, T; KUNEN, K; MILLER, A. W et al.The Journal of symbolic logic. 1984, Vol 49, Num 1, pp 298-300, issn 0022-4812Article

Mechanizing logic. II: Automated map logic method for relational arguments on paper and by computerRYBAK, J; RYBAK, J.RYBAK, J; RYBAK, J.Notre Dame journal of formal logic. 1984, Vol 25, Num 3, pp 265-282, issn 0029-4527Article

Questions about quantifiersVAN BENTHEM, J.The Journal of symbolic logic. 1984, Vol 49, Num 2, pp 443-466, issn 0022-4812Article

A natural extension of natural deductionSCHROEDER-HEISTER, P.The Journal of symbolic logic. 1984, Vol 49, Num 4, pp 1284-1300, issn 0022-4812Article

A pragmatic theory of locally standard grammarSWEET, A. M.Notre Dame journal of formal logic. 1984, Vol 25, Num 4, pp 364-382, issn 0029-4527Article

An undecidable problem in finite combinatoricsCOMPTON, K. J.The Journal of symbolic logic. 1984, Vol 49, Num 3, pp 842-850, issn 0022-4812Article

La nature of reflexive paradoxes. IIGODDARD, L.Notre Dame journal of formal logic. 1984, Vol 25, Num 1, pp 27-58, issn 0029-4527Article