Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("LOGIQUE PROPOSITIONNELLE")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

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

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 1700

  • Page / 68
Export

Selection :

  • and

THE COMPLETENESS OF STOIC PROPOSITIONAL LOGICMUELLER I.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 1; PP. 201-215; BIBL. 11 REF.Article

INCONSISTENT AND INCOMPLETE LOGICS.GRANT J.1975; MATH. MAG.; U.S.A.; DA. 1975; VOL. 48; NO 3; PP. 154-159; BIBL. 3 REF.Article

EXPRESSIBILITY IN TWO-DIMENSIONAL LANGUAGES FOR PRESUPPOSITIONBERGMANN M.1982; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1982; VOL. 23; NO 4; PP. 459-470; BIBL. 10 REF.Article

ON THE DECIDABILITY OF PROPOSITIONAL ALGORITHMIC LOGICCHLEBUS BS.1982; Z. MATH. LOGIK GRUNDL. MATH.; ISSN 0044-3050; DDR; DA. 1982; VOL. 28; NO 3; PP. 247-261; BIBL. 8 REF.Article

A NORMAL FORM THEOREM FOR LOMEGA 1P, WITH APPLICATIONSHOOVER DN.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 3; PP. 605-624; BIBL. 12 REF.Article

FINITE MODELS FOR DETERMINISTIC PROPOSITIONAL DYNAMIC LOGICBEN ARI M; HALPERN JY; PNUELI A et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 249-263; BIBL. 10 REF.Conference Paper

A SHORTENED PROOF OF SOBOCINSKI'S THEOREM CONCERNING A RESTRICTED RULE OF SUBSTITUTION IN THE FIELD OF PROPOSITIONAL CALCULILAMBROS CH.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 1; PP. 112-114; BIBL. 1 REF.Article

CONSISTENT, INDEPENDENT, AND DISTINCT PROPOSITIONS. III: MODALITIES IN S6ANJAN SHUKLA.1983; NOTRE DAME JOURNAL OF FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1983; VOL. 24; NO 1; PP. 141-142; BIBL. 10 REF.Article

A CUT-FREE SEQUENTIAL SYSTEM FOR THE PROPOSITIONAL MODAL LOGIC OF FINITE CHAINSNISHIMURA H.1983; PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES; ISSN 508233; JPN; DA. 1983; VOL. 19; NO 1; PP. 305-316; BIBL. 7 REF.Article

A RESULT ON IMPLICATIONS OF SIGMA 1-SENTENCES AND ITS APPLICATION TO NORMAL FORM THEOREMSGIRARD JY; PAPPINGHAUS P.1981; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1981; VOL. 46; NO 3; PP. 634-642; BIBL. 8 REF.Article

DECISION COMPLEXICITY OF VARIANTS OF PROPOSITIONAL DYNAMIC LOGICVALIEV MK.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 656-664; BIBL. 10 REF.Conference Paper

CALCULEMUSFRIEDMAN WH.1980; NOTRE DAME J. FORM. LOGIC; USA; DA. 1980; VOL. 21; NO 1; PP. 166-174; BIBL. 6 REF.Article

GEACH ON ATOMICITY AND SINGULAR PROPOSITIONSWALD JD.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 2; PP. 285-294Article

A GENERAL PROPOSITIONAL LOGIC OF CONDITIONALSLEHMANN SK.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 1; PP. 77-83; BIBL. 4 REF.Article

ON VALID ASSERTIONS: IN PROBABILITY LOGICFERENCZI M.1977; STUD. SCI. MATH. HUNGAR.; HUN; DA. 1977 PUBL. 1980; VOL. 12; NO 1-2; PP. 101-116; BIBL. 10 REF.Article

NONSTANDARD PROPOSITIONAL LOGICS AND THEIR APPLICATION TO COMPLEXITY THEORYEVANGELIST M.1982; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1982; VOL. 23; NO 4; PP. 384-392; BIBL. 7 REF.Article

A LOGIC OF KNOWLEDGESTARK WR.1981; Z. MATH. LOGIK GRUNDL. MATH.; ISSN 0044-3050; DDR; DA. 1981; VOL. 27; NO 4; PP. 371-374; BIBL. 6 REF.Article

AN ELEMENTARY PROOF OF THE COMPLETNESS OF PDLKOZEN D; PARIKH R.1981; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1981; VOL. 14; NO 1; PP. 113-118; BIBL. 11 REF.Article

GENERALIZED EQUIVALENCE AND THE FOUNDATIONS OF QUASIGROUPSMCKEE TA.1980; NOTRE DAME J. FORM. LOGIC; USA; DA. 1980; VOL. 21; NO 1; PP. 135-140; BIBL. 3 REF.Article

ON PROPOSITIONAL FORMENGLEBRETSEN G.1980; NOTRE DAME J. FORM. LOGIC; USA; DA. 1980; VOL. 21; NO 1; PP. 101-110; BIBL. 15 REF.Article

EXTREMELY UNDECIDABLE SENTENCESBOOLOS G.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 1; PP. 191-196; BIBL. 4 REF.Article

PROPOSITIONAL DYNAMIC LOGIC FOR CONCURRENT PROGRAMSNISHIMURA H.1982; PUBL. RES. INST. MATH. SCI.; ISSN 508233; JPN; DA. 1982; VOL. 18; NO 1; PP. 233-250; BIBL. 10 REF.Article

SOLUTION TO THE P-W PROBLEMMARTIN EP; MEYER RK.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 4; PP. 869-887; BIBL. 14 REF.Article

FREE LIMITS OF FORCING AND MORE ON ARONSZAJN TREESSHELAH S.1981; ISR. J. MATH.; ISSN 0021-2172; ISR; DA. 1981; VOL. 38; NO 4; PP. 315-334; BIBL. 12 REF.Article

SUPER-LUKASIEWICZ PROPOSITIONAL LOGICSKOMORI Y.1981; NAGOYA MATH. J.; ISSN 0027-7630; JPN; DA. 1981; VOL. 84; PP. 119-133; BIBL. 17 REF.Article

  • Page / 68