Type-free property theory, exemplification and Russell's paradoxORILIA, F.Notre Dame journal of formal logic. 1991, Vol 32, Num 3, pp 432-447, issn 0029-4527Article

On primitive recursive realizabilitiesPLISKO, Valery.Lecture notes in computer science. 2006, pp 304-312, issn 0302-9743, isbn 3-540-34166-8, 1Vol, 9 p.Conference Paper

Detecting conjunctions of global predicatesGARG, V. K; MITCHELL, J. R.Information processing letters. 1997, Vol 63, Num 6, pp 295-302, issn 0020-0190Article

The connection between predicate logic and demonic relation calculusNguyen, Thanh Tung.1992, 17 p.Report

Paires élémentaires de corps pseudo-finis : dénombrement des complétions = Elementary pairs of pseudo-finite fields : counting completionsLEJEUNE, H.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1998, Vol 326, Num 6, pp 657-660, issn 0764-4442Article

Some quantifiers require two-predicate scopesCUSHING, S.Artificial intelligence. 1987, Vol 32, Num 2, pp 259-267, issn 0004-3702Article

The reachability analysis in communicating processes founded in term transition systemPEREIRA, Juan Manuel; RODRIGUEZ, Carlos.Rapport de recherche - Informatique et mathématiques appliquées de Grenoble, ISSN: 0750-7380 ; 567. 1985, 10 p.Report

Modeling vagueness by nonstandardnessTZOUVARAS, A.Fuzzy sets and systems. 1998, Vol 94, Num 3, pp 385-396, issn 0165-0114Article

Frege's two senses of «is»MENDELSOHN, R. L.Notre Dame journal of formal logic. 1987, Vol 28, Num 1, pp 139-160, issn 0029-4527Article

The complexity of computing hard core predicatesGOLDMANN, M; NÄSLUND, M.Lecture notes in computer science. 1997, pp 1-14, issn 0302-9743, isbn 3-540-63384-7Conference Paper

On defining identitySAVELLOS, E. E.Notre Dame journal of formal logic. 1990, Vol 31, Num 3, pp 476-484, issn 0029-4527, 9 p.Article

Set abstraction ― An extension of all solutions predicate in logic programming languageYOKOMORI, T.New generation computing. 1987, Vol 5, Num 3, pp 227-248, issn 0288-3635Article

A free logic with simple and complex predicatesLAMBERT, K; BENCIVENGA, E.Notre Dame journal of formal logic. 1986, Vol 27, Num 2, pp 247-256, issn 0029-4527Article

A system of predicate logic with trans-atomic unitsBUTRICK, R.Notre Dame journal of formal logic. 1987, Vol 28, Num 3, pp 431-438, 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

Elements of intuitionistic fuzzy logic. Part IATANASSOV, K; GARGOV, G.Fuzzy sets and systems. 1998, Vol 95, Num 1, pp 39-52, issn 0165-0114Article

Logique et raisonnement mathématique Défense et illustration de la pertinence du calcul des prédicats pour une approche didactique des difficultés liées à l'implication = Logic and mathematical reasoning An essay to claim and illustrate that the predicate calculus is relevant to a didactic approach of difficulties related to conditionalsDurand-Guerrier, Viviane; Arsac, G.1996, 2 vol.,415 p., 67 pThesis

Inverse entailment and progolMUGGLETON, S.New generation computing. 1995, Vol 13, Num 3-4, pp 245-286, issn 0288-3635Article

Predicate logic for software engineeringPARNAS, D. L.IEEE transactions on software engineering. 1993, Vol 19, Num 9, pp 856-862, issn 0098-5589Article

Modified modus ponens and modal logicMATTILA, J. L.Kybernetika. 1992, Vol 28, pp 28-32, issn 0023-5954, SUPArticle

Incompleteness in intuitionistic metamathematicsMCCARTY, D. C.Notre Dame journal of formal logic. 1991, Vol 32, Num 3, pp 323-358, issn 0029-4527Article

Proof theory in the USSR 1925-1969MINTS, G.The Journal of symbolic logic. 1991, Vol 56, Num 2, pp 385-424, issn 0022-4812Article

Defining good and bad in terms of betterHANSSON, S. O.Notre Dame journal of formal logic. 1990, Vol 31, Num 1, pp 136-149, issn 0029-4527, 14 p.Article

Actuality and quantificationHAZEN, A.Notre Dame journal of formal logic. 1990, Vol 31, Num 4, pp 498-508, issn 0029-4527Article

Constructive predicate logic with strong negation and model theoryAKAMA, S.Notre Dame journal of formal logic. 1988, Vol 29, Num 1, pp 18-27, issn 0029-4527Article