is.\*:("NDJFAM")
Results 1 to 25 of 441
Selection :
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