A FINITE COMBINATORIAL PRINCIPLE WHICH IS EQUIVALENT TO THE 1-CONSISTENCY OF PREDICATIVE ANALYSISFRIEDMAN HM; MCALOON K; SIMPSON SG et al.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 109; PP. 197-230; BIBL. 30 REF.Conference Paper

MONITORS WITH ARRAYS OF CONDITION VARIABLES AND PROOF RULES HANDLING LOCAL QUANTITIESGJESSING S.1980; ; BIT; DNK; DA. 1980; VOL. 20; NO 2; PP. 137-144; BIBL. 4 REF.Article

NOMINALISM AND CONCEPTUALISM AS PREDICATIVE SECOND-ORDER THEORIES OF PREDICATIONCOCCHIARELLA N.1980; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1980; VOL. 21; NO 3; PP. 481-500; BIBL. 11 REF.Article

A RESULT OF RELATIVE CONSISTENCY ABOUT THE PREDICATE WO(DELTA ,X)DAVID R.1980; J. SYMB. LOGIC.; ISSN 0022-4812; USA; DA. 1980; VOL. 45; NO 3; PP. 483-492; BIBL. 8 REF.Article

ARISTOTLE ON THE SUBJECT OF PREDICATIONENGLEBRETSEN G.1978; NOTRE DAME J. FORM. LOGIC; USA; DA. 1978; VOL. 19; NO 4; PP. 614-616Article

AN ELIMINATION OF THE PREDICATE "TO BE A STANDARD MEMBER" IN NONSTANDARD MODELS OF ARITHMETICCUDA K.1982; COMMENTAT. MATH. UNIV. CAROL.; ISSN 0323-0171; CSK; DA. 1982; VOL. 23; NO 4; PP. 785-803; BIBL. 3 REF.Article

SPEED-UP BY THEORIES WITH INFINITE MODELSSTATMAN R.1981; PROC. AM. MATH. SOC.; ISSN 0002-9939; USA; DA. 1981; VOL. 81; NO 3; PP. 465-469; BIBL. 3 REF.Article

GENERALIZED RESTRICTED GENERALITYBUNDER MW.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 3; PP. 620-624; BIBL. 5 REF.Article

THE NON-AXIOMATIZABILITY OF THE OBSERVATIONAL PREDICATE CALCULUS (GENERALIZED TRACHTENBROT'S THEOREMS).IVANEK J.1977; COMMENT. MATH. UNIV. CAROLINAE; CESKOSL.; DA. 1977; VOL. 18; NO 1; PP. 41-57; BIBL. 8 REF.Article

SYSTEMY HERBRANDA DOWODZENIA TWIERDZEN RACHUNKU PREDYKATOW. = SYSTEMES DE HERBRAND POUR DEMONTRER DES THEOREMES DU CALCUL DES PREDICATSORLOWSKA E.1976; WARSZAWA; FANSTWOWE WYDAWNICTWO NAUK.; DA. 1976; PP. 1-27; ABS. ANGL. RUSSE; BIBL. 4 P. 1/2Book

SUBSTITUTIONS FOR PREDICATE VARIABLES AND FUNCTIONAL VARIABLESSCHNEIDER HH.1980; NOTRE DAME J. FORM. LOGIC; USA; DA. 1980; VOL. 21; NO 1; PP. 33-44; BIBL. 3 REF.Article

EIN EINFACHER BEWEIS FUER DIE UNENTSCHEIDBARKEIT DER KLASSISCHEN PRAEDIKATENLOGIK = UNE DEMONSTRATION SIMPLE POUR L'INDECIDABILITE DE LA LOGIQUE DES PREDICATS CLASSIQUEBOERGER E.1978; MATH.-PHYS. SEMESTERBER.; DEU; DA. 1978; VOL. 25; NO 2; PP. 290-299; BIBL. 1 P.Article

BOUNDS FOR PROOF-SEARCH AND SPEED-UP IN THE PREDICATE CALCULUSSTATMAN R.1978; ANN. MATH. LOGIC; NLD; DA. 1978; VOL. 15; NO 3; PP. 225-287; BIBL. 38 REF.Article

REMARQUES SUR LE "FORCING" EN THEORIE DES MODELES.POIZAT B.1976; C.R. ACAD. SCI., A; FR.; DA. 1976; VOL. 283; NO 4; PP. 131-134; ABS. ANGL.; BIBL. 3 REF.Article

ON EXISTENCE OF COMPLETE PREDICATE CALCULUS IN METAMATHEMATICS WITHOUT EXPONENTIATIONSAZONOV V YU.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 483-490; BIBL. 4 REF.Conference Paper

ON UNSOLVABILITY IN SUBRECURSIVE CLASSES OF PREDICATESLEWIS FD.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 1; PP. 55-67; BIBL. 15 REF.Article

AN INTENSIONAL LOGIC OF PREDICATES AND PREDICATE MODIFIERS WITHOUT MODAL OPERATORSFULTON JA.1979; NOTRE DAME J. FORM LOGIC; USA; DA. 1979; VOL. 20; NO 4; PP. 807-834; BIBL. 8 REF.Article

AN INTERPRETATION OF SKOLEM'S PARADOX IN THE PREDICATE CALCULUS WITH EPSILON -SYMBOLHANAZAWA M.1979; SCI. REP. SAITAMA UNIV., A; JPN; DA. 1979; VOL. 9; NO 2; PP. 11-19; BIBL. 9 REF.Article

ARISTOTLE ON PREDICATION. AN ANALYSIS OF ANAL. POST. 83AGYEKYE K.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 1; PP. 191-195Article

UN TEOREMA RELATIVO ALLA ESTENSIONE DI HENKIN DEL CALCOLO PREDICATIVO. = UN THEOREME RELATIF A L'EXTENSION DE HENKIN DU CALCUL DE PREDICATIANNACCI R.1976; R.C. MAT.; ITAL.; DA. 1976; VOL. 9; NO 2; PP. 337-346; ABS. ANGL.; BIBL. 2 REF.Article

A tableau system of proof for predicate-functor logic with identityGRUNBERG, T.The Journal of symbolic logic. 1973, Vol 48, Num 4, pp 1140-1144, issn 0022-4812Article

A MECHANICAL THEOREM PROVING OF FIRST-ORDER MODAL LOGIC (S5)SUZUKI A; NAKAMATSU K.1982; TRANSACTIONS OF THE INSTITUTE OF ELECTRONICS AND COMMUNICATION ENGINEERS OF JAPAN. SECTION E; ISSN 0387-236X; JPN; DA. 1982; VOL. 65; NO 12; PP. 730-736; BIBL. 5 REF.Article

SCOTT'S MODELS AND ILLATIVE COMBINATORY LOGICBUNDER MW.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 3; PP. 609-612; BIBL. 10 REF.Article

ALGORITHME ET PROGRAMME D'ETABLISSEMENT DE LA DEDUCTIBILITE RESOLVANT DES LARGES CLASSES DE FORMULESSOCHILINA AV.1978; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1978; NO 3; PP. 136-138; BIBL. 8 REF.Article

PROBLEME DE DECISION DU CALCUL DE PREDICATS MODAL (II). SUR LES REDUCTIONS DE SLOMSONGAO HENG SHAN.1977; ACTA MATH. SINICA; CHINE; DA. 1977; VOL. 19; NO 4; PP. 276-280; BIBL. 12 REF.Article