Independence of each axiom in a set of axioms and complete sets of axioms of Boolean algebraNINOMIYA, Tomoko; MUKAIDONO, Masao.Proceedings - International Symposium on Multiple-Valued Logic. 2002, pp 185-191, issn 0195-623X, isbn 0-7695-1462-6, 7 p.Conference Paper

On sequence of the period doubling bifurcation in the Rossler modelsALEKSEEV, V. V; HARRASOV, M. H.Teoretičeskaâ i matematičeskaâ fizika. 1991, Vol 88, Num 1, pp 96-103, issn 0564-6162Article

Inductive types and type constraints in the second-order lambda calculusMENDLER, N. P.Annals of pure and applied logic. 1991, Vol 51, Num 1-2, pp 159-172, issn 0168-0072, 14 p.Conference Paper

Kripke-style models for typed lambda calculusMITCHELL, J. C; MOGGI, E.Annals of pure and applied logic. 1991, Vol 51, Num 1-2, pp 99-124, issn 0168-0072, 26 p.Conference Paper

On the syntactico-semantical completeness of first-order fuzzy logic. I: Syntax and semanticsNOVAK, V.Kybernetika. 1990, Vol 26, Num 1, pp 47-66, issn 0023-5954, 20 p.Article

Some improvements to Turner's algorithm for bracket abstractionBUNDER, M. W.The Journal of symbolic logic. 1990, Vol 55, Num 2, pp 656-669, issn 0022-4812, 14 p.Article

A first approach to abstract modal logicsFONT, J. M; VERDU, V.The Journal of symbolic logic. 1989, Vol 54, Num 3, pp 1042-1062, issn 0022-4812Article

A general treatment of equivalent modalitiesBELLISSIMA, F; MIROLLI, M.The Journal of symbolic logic. 1989, Vol 54, Num 4, pp 1460-1471, issn 0022-4812Article

Definability with bounded number of bound variablesIMMERMAN, N; KOZEN, D.Information and computation (Print). 1989, Vol 83, Num 2, pp 121-139, issn 0890-5401Article

Intensional logic and two-sorted type theoryZIMMERMANN, T. E.The Journal of symbolic logic. 1989, Vol 54, Num 1, pp 65-77, issn 0022-4812Article

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

A non-typability result in the system FcoROZIERE, P.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1989, Vol 309, Num 13, pp 799-802, issn 0764-4442Article

BCK-combinators and linear λ-terms have typesHINDLEY, J. R.Theoretical computer science. 1989, Vol 64, Num 1, pp 97-105, issn 0304-3975, 9 p.Article

Completeness proofs for propositional logic with polynomial-time connectivesCROSSLEY, J. N; SCOTT, P. J.Annals of pure and applied logic. 1989, Vol 44, Num 1-2, pp 39-52, issn 0168-0072Conference Paper

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

Approximate truth and Łukasiewicz logicWESTON, T. S.Notre Dame journal of formal logic. 1988, Vol 29, Num 2, pp 229-234, issn 0029-4527Article

Preliminary notes on a new modal syllogisticENGLEBRETSEN, G.Notre Dame journal of formal logic. 1988, Vol 29, Num 3, pp 381-395, issn 0029-4527Article

On the methodology of possible worlds semantics. I: Correspondence theoryPEARCE, D; WANSING, H.Notre Dame journal of formal logic. 1988, Vol 29, Num 4, pp 482-496, issn 0029-4527Article

On defining sentential connectivesJURCIC, J.Notre Dame journal of formal logic. 1987, Vol 28, Num 2, pp 189-199, issn 0029-4527Article

Rudiments of a theory of referenceHILL, C. S.Notre Dame journal of formal logic. 1987, Vol 28, Num 2, pp 200-219, issn 0029-4527Article

Semantical antinomies in the logic of sense and denotationANDERSON, C. A.Notre Dame journal of formal logic. 1987, Vol 28, Num 1, pp 99-114, issn 0029-4527Article

Survey of generalizations of Urquhart semanticsBULL, R. A.Notre Dame journal of formal logic. 1987, Vol 28, Num 2, pp 220-237, issn 0029-4527Article

Page / 159