Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("CALCUL PREDICAT")

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

Language

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 713

  • Page / 29

Export

Selection :

  • and

MODEL THEORY FOR INTUITIONISTIC LOGICGABBAY DM.1972; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1972; VOL. 18; NO 1; PP. 49-54; BIBL. 7 REF.Serial Issue

A REDUCTION CLASS CONTAINING FORMULAS WITH ONE MONADIC PREDICATE AND ONE BINARY FUNCTION SYMBOL.HUGHES CE.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 1; PP. 45-49; BIBL. 5 REF.Article

COMPLETENESS PROPERTIES OF HEYTING'S PREDICATE CALCULUS WITH RESPECT TO RE MODELS.GABBAY DM.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 1; PP. 81-94; BIBL. 15 REF.Article

LAW AND LOGICKANGER S.1972; THEORIA; SUEDE; DA. 1972; VOL. 38; NO 3; PP. 103-132; BIBL. 3 P.Serial Issue

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

PREDICATE FUNCTORS REVISITEDQUINE WV.1981; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1981; VOL. 46; NO 3; PP. 649-652; BIBL. 2 REF.Article

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

COMPLEXITY OF THE UNIFICATION ALGORITHM FOR FIRST-ORDER EXPRESSIONS.VENTURINI ZILLI M.1975; CALCOLO; ITAL.; DA. 1975; VOL. 12; NO 4; PP. 361-371; BIBL. 4 REF.Article

FAILURE OF COMPLETENESS PROPERTIES OF INTUITIONISTIE PREDICATE LOGIE FOR CONSTRUCTIVE MODELS. PRELIMINARY REPORT.LEIVANT D.1975; STICHTG MATH. CENTRUM, AFD. ZUIVERE WISKDE; NEDERL.; DA. 1975; NO 48; PP. 1-22; BIBL. 1 P.Article

LAMBDA -CALCULS AND COMPUTER SCIENCE THEORY. PROCEEDINGS OF THE SYMPOSIUM; ROME; 1975.1975; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1975; VOL. 37; PP. (382P.); BIBL. DISSEM.; ISBN 3540074163Conference Paper

LES MODELES INFORMATIQUES DES LAMBDA -CALCULS.NOLIN L.1975; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1975; VOL. 37; PP. 166-176; (LAMBDA -CALCULS COMPUT. SCI. THEOR. PROC. SYMP.; ROME; 1975)Conference Paper

ZUR CHARAKTERISIERUNG SPEZIELLER SUPERPOSITIONS ABGESCHLOSSENER FUNKTIONENKLASSEN, DIE DER DURSCHNITT EINER ABSTEIGENDEN KETTE SIND, DURCH INVARIANTE RELATIONEN. = SUR LA CARACTERISATION DES CLASSES DE FONCTIONS SPECIALES FERMEES PAR SUPERPOSITION, FORMANT L'INTERSECTION D'UNE CHAINE DESCENDANTE, A L'AIDE DE RELATIONS INVARIANTESPOESCHEL R.1975; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DTSCH.; DA. 1975; VOL. 11; NO 10-12; PP. 703-708; ABS. ANGL. RUSSE; BIBL. 4 REF.; (INT. SYMP. DISKRETE MATH. ANWEND. MATH. KYBERN.; BERLIN; 1974)Conference Paper

COMPLETENESS OF AN ANCIENT LOGICCORCORAN J.1972; J. SYMBOL. LOGIC; U.S.A.; DA. 1972; VOL. 37; NO 4; PP. 696-702; BIBL. 8 REF.Serial Issue

ARBORESCENCES ET LOGIQUE A TROIS VALEURS. APPLICATION A LA MODELISATION ET A L'ENSEIGNEMENT DE LA LOGIQUE DU DIAGNOSTICMONT REYNAUD BM.1972; ; S.L.; DA. 1972; PP. (206); BIBL. 3 P.; (THESE DOCT. 3EME CYCLE, SPEC. MATH. APPL., MENTION INF.; UNIV. PARIS VI; 1972)Thesis

ASPECTS DE LA THEORIE DES MODELESHEIDEMA J.1972; T.NAT.-WETENSK.; S.AFR.; DA. 1972; VOL. 12; NO 2; PP. 37-49; ABS. ANGL.; BIBL. 10 REF.Serial Issue

CLASSES RESOLUBLES CONVERGEANT VERS UNE CLASSE A UN QUANTIFICATEURMASLOV S YU; OREVKOV VP.1972; TRUDY MAT. INST. V.A. STEKLOVA, MOSKVA; S.S.S.R.; DA. 1972; VOL. 121; PP. 57-66; BIBL. 11 REF.Serial Issue

A REMARK ON THE HAERTIG QUANTIFIERFUHRKEN G.1972; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1972; VOL. 18; NO 3; PP. 227-228; BIBL. 7 REF.Serial Issue

PROBABILISTIC, TRUTH-VALUE, AND STANDARD SEMANTICS AND THE PRIMACY OF PREDICATE LOGICPAULOS JA.1981; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1981; VOL. 22; NO 1; PP. 11-16; BIBL. 6 REF.Article

NOTA SU MATRICI ADEGUATE PER CALCOLI GENERALI PREDICATIVI = NOTE SUR DES MATRICES ADEQUATES POUR DES CALCULS DE PREDICATS GENERAUXPIOCHI B.1980; BOLL. UN. MAT. ITAL.; ITA; DA. 1980; VOL. 17A; NO 2; PP. 271-273; ABS. ENG; BIBL. 1 REF.Article

THE INTENSIONALITY OF THE PREDICATE IS RECURSIVE.KIELKOPF CF.1978; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1978; VOL. 19; NO 1; PP. 165-173; BIBL. 8 REF.Article

THE THEORY OF SUCCESSOR WITH AN EXTRA PREDICATE.THOMAS W.1978; MATH. ANN.; DEU; DA. 1978; VOL. 237; NO 2; PP. 121-132; BIBL. 10 REF.Article

EINE AXIOMATISIERUNG DES MONADISCHEN PRAEDIKATENKALKUELS MIT VERALLGEMEINERTEN QUANTOREN = AXIOMATISATION DU CALCUL DES PREDICATS MONADIQUES AVEC QUANTEURS GENERALISESSCHIEMANN I.1977; WISSENSCH. Z. HUMBOLDT-UNIV. BERLIN, MATH.-NATURWISSENSCH. REIHE; DDR; DA. 1977; VOL. 26; NO 5; PP. 647-657; ABS. RUS/ENG/FRE; BIBL. 5 REF.Article

  • Page / 29