Pascal and Francis Bibliographic Databases

Help

Search results

Your search

is.\*:("NDJFAM")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 441

  • Page / 18
Export

Selection :

  • and

An arithmetical ompleteness theorem for pre-permutationsTUTTAS, F.Notre Dame journal of formal logic. 1993, Vol 34, Num 1, pp 84-89, issn 0029-4527Article

The grounds for the model-theoretic account of the logical propertiesGARCIA-CARPINTERO SANCHEZ-MIGUEL, M.Notre Dame journal of formal logic. 1993, Vol 34, Num 1, pp 107-131, issn 0029-4527Article

An alternative rule of disjunction in modal logicWILLIAMSON, T.Notre Dame journal of formal logic. 1992, Vol 33, Num 1, pp 89-100, issn 0029-4527Article

Pure second-order logicDENYER, N.Notre Dame journal of formal logic. 1992, Vol 33, Num 2, pp 220-224, issn 0029-4527Article

The admissibility of γ in R4MARES, E. D; MEYER, R. K.Notre Dame journal of formal logic. 1992, Vol 33, Num 2, pp 197-206, issn 0029-4527Article

A simple axiomatizable theory of truthAZZOUNI, J.Notre Dame journal of formal logic. 1991, Vol 32, Num 3, pp 458-485, issn 0029-4527Article

Minimal satisfaction classes with an application to rigid models of Peano ArithmeticKOSSAK, R; SCHMERL, J. H.Notre Dame journal of formal logic. 1991, Vol 32, Num 3, pp 392-398, issn 0029-4527Article

Why is conjunctive simplification invalid ?THOMPSON, B. E. R.Notre Dame journal of formal logic. 1991, Vol 32, Num 2, pp 248-254, issn 0029-4527Article

A fully logical inductive logicNOLT, J.Notre Dame journal of formal logic. 1990, Vol 31, Num 3, pp 415-436, issn 0029-4527, 22 p.Article

A new proof of the fixed-point theorem of provability logicREIDHAAR-OLSON, L.Notre Dame journal of formal logic. 1990, Vol 31, Num 1, pp 37-43, issn 0029-4527, 7 p.Article

A strengthening of Scott's ZF¬= resultPOLLARD, S.Notre Dame journal of formal logic. 1990, Vol 31, Num 3, pp 369-370, issn 0029-4527, 2 p.Article

An equivalent of the axiom of choice in finite models of the powerset axiomABIAN, A; AMIN, W. A.Notre Dame journal of formal logic. 1990, Vol 31, Num 3, pp 371-374, issn 0029-4527, 4 p.Article

Modal definability in enriched languagesGORANKO, V.Notre Dame journal of formal logic. 1990, Vol 31, Num 1, pp 81-105, issn 0029-4527, 25 p.Article

The Fraenkel-Mostowski method, revisitedBRUNNER, N.Notre Dame journal of formal logic. 1990, Vol 31, Num 1, pp 64-75, issn 0029-4527, 12 p.Article

The nonaxiomatizability of L(Qκ12) by finitely many schemataSHELAH, S; STEINHORN, C.Notre Dame journal of formal logic. 1990, Vol 31, Num 1, pp 1-13, issn 0029-4527, 13 p.Article

Multiset theoryBLIZARD, W. D.Notre Dame journal of formal logic. 1989, Vol 30, Num 1, pp 36-66, issn 0029-4527Article

On an unsound proof of the existence of possible worldsMENZEL, C.Notre Dame journal of formal logic. 1989, Vol 30, Num 4, pp 598-603, issn 0029-4527Article

«Pathologies» in two syntactic categories of partial mapsMONTAGNA, F.Notre Dame journal of formal logic. 1989, Vol 30, Num 1, pp 105-116, issn 0029-4527Article

Monadic ˛11-theories of ˛11-propertiesDOETS, K.Notre Dame journal of formal logic. 1989, Vol 30, Num 2, pp 224-240, issn 0029-4527, 17 p.Article

FormativesENGLEBRETSEN, G.Notre Dame journal of formal logic. 1989, Vol 30, Num 3, pp 382-389, issn 0029-4527Article

A different approach to deontic logic: deontic logic viewed as a variant of dynamic logicMEYER, J.-J. C.Notre Dame journal of formal logic. 1988, Vol 29, Num 1, pp 109-136, issn 0029-4527Article

Relevance and disjunctive syllogismLAVERS, P.Notre Dame journal of formal logic. 1988, Vol 29, Num 1, pp 34-44, issn 0029-4527Article

The problem of counterpossiblesCOHEN, D. H.Notre Dame journal of formal logic. 1988, Vol 29, Num 1, pp 91-101, issn 0029-4527Article

A unified approach to relative interpolationDUCCHART, D.Notre Dame journal of formal logic. 1988, Vol 29, Num 3, pp 412-419, issn 0029-4527Article

An ¬¬almost clasical'' period-based tense logicWHITE, M. J.Notre Dame journal of formal logic. 1988, Vol 29, Num 3, pp 438-453, issn 0029-4527Article

  • Page / 18