FIRST-DEGREE ENTAILMENTS AND INFORMATIONHANSON WH.1980; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1980; VOL. 21; NO 4; PP. 659-671; BIBL. 12 REF.Article

THE THEORY OF THE GOEDEL FUNCTIONALS.GOODMAN ND.1976; J. SYMBOL. LOGIE; U.S.A.; DA. 1976; VOL. 41; NO 3; PP. 574-582; BIBL. 6 REF.Article

ELEMENTS OF INTUITIONISTIC ANALYSIS. ROLLE'S THEOREM AND COMPLETE, TOTALLY BOUNDED, METRIC SPACES.DE SWART H.1976; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1976; VOL. 22; NO 4; PP. 289-298; BIBL. 4 REF.Article

UN SISTEMA DI DEDUZIONE NATURALE PER LINGUAGGI INFINITARI. = UN SYSTEME DE DEDUCTION NATURELLE POUR DES LANGAGES INFINITAIRESARZARELLO F.1975; ATTI ACCAD. SCI. TORINO, CL. SCI. FIS. MAT. NAT.; ITAL.; DA. 1975; VOL. 109; NO 5-6; PP. 633-641; ABS. ANGL.; BIBL. 6 REF.Article

EXTENDED BAR INDUCTION OF TYPE ZEROTROELSTRA AS.1980; STUD. LOGIC FOUND. MATH.; NLD; DA. 1980; VOL. 101; PP. 277-316; BIBL. 2 P.Conference Paper

A CLASS OF INTUITIONISTIC CONNECTIVESDE JONGH DHJ.1980; STUD. LOGIC FOUND. MATH.; NLD; DA. 1980; VOL. 101; PP. 103-111; BIBL. 9 REF.Conference Paper

ELEMENTS OF INTUITIONISTIC ANALYSIS. II. THE STONE-WEIERSTRASS THEOREM AND ASCOLI'S THEOREM.DE SWART H.1976; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1976; VOL. 22; NO 6; PP. 501-508; BIBL. 5 REF.Article

AN INTERPRETATION OF INTUITIONISTIC ANALYSIS.VAN DALEN D.1978; ANN. MATH. LOGIC; NETHERL.; DA. 1978; VOL. 13; NO 1; PP. 1-43; BIBL. 1 P. 1/2Article

IS THE INTUITIONISTIC BAR-INDUCTION A CONSTRUCTIVE PRINCIPLE.MAINZER K.1977; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 4; PP. 583-588; BIBL. 10 REF.Article

A NEW REALIZABILITY NOTION FOR INTUITIONISTIC ANALYSIS.SCARPELLINI B.1977; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1977; VOL. 23; NO 2; PP. 137-167; BIBL. 13 REF.Article

ANOTHER INTUITIONISTIC COMPLETENESS PROOF.DE SWART H.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 3; PP. 644-662; BIBL. 2 REF.Article

INTUITIONISTIC MODAL LOGICS INCOMPATIBLE WITH THE LAW OF THE EXCLUDED MIDDLEVAKARELOV D.1981; STUD. LOGICA; ISSN 0039-3215; POL; DA. 1981; VOL. 40; NO 2; PP. 103-111; BIBL. 7 REF.Article

LOGIQUES SUPERINTUITIONNISTES STRUCTURELLEMENT COMPLETESTSITKIN AI.1978; DOKL. AKAD. NAUK S.S.S.R.; SUN; DA. 1978; VOL. 241; NO 1; PP. 40-43; BIBL. 14 REF.Article

Two versions of minimal intuitionism with the CAP. A noteROBLES, Gemma; MENDEZ, José M.Theoria (Madrid). 2005, Vol 20, Num 53, pp 183-190, issn 0495-4548, 8 p.Article

AN ELIMINATION THEOREM OF UNIQUENESS CONDITIONS IN THE INTUITIONISTIC PREDICATE CALCULUSMOTOHASHI N.1982; NAGOYA MATH. J.; ISSN 0027-7630; JPN; DA. 1982; VOL. 85; PP. 223-230; BIBL. 9 REF.Article

TREES IN KRIPKE MODELS AND IN AN INTUITIONISTIC REFUTATION SYSTEMMIGLIOLI P; MOSCATO U; ORNAGHI M et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 112; PP. 316-331; BIBL. 20 REF.Conference Paper

ON A MANY-VALUED SENTENTIAL CALCULUSKAPETANOVIC M.1980; PUBL. INST. MATH. (BELGR.); ISSN 0350-1302; YUG; DA. 1980; VOL. 27; NO 41; PP. 103-106; BIBL. 2 REF.Article

THE LOGIC OF CLOSED CATEGORIES.SZABO ME.1977; NOTRE DAME J. FERM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 3; PP. 441-457; BIBL. 14 REF.Article

THEORIE DES MODELES POUR LA LOGIQUE INTUITIONNISTESTEPANOV VI.1983; MATEMATICESKIJ SBORNIK (MOSKVA); ISSN 0368-8666; SUN; DA. 1983; VOL. 120; NO 2; PP. 227-239; BIBL. 14 REF.Article

SOME TOPOLOGICAL SPACES WHICH ARE UNIVERSAL FOR INTUITIONISTIC PREDICATE LOGICMOERDIJK I.1982; PROC. K. NED. AKAD. WET., SER. A, MATH. SCI.; ISSN 0023-3358; NLD; DA. 1982; VOL. 85; NO 2; PP. 227-235; BIBL. 5 REF.Article

ON AXIOMATIZABILITY AND PRESERVATION IN KRIPKE MODELSMARKOVIC Z.1981; PUB. INST. MATH. (BELGR.); ISSN 0350-1302; YUG; DA. 1981; VOL. 30; NO 44; PP. 111-112; BIBL. 6 REF.Article

UNDECIDABILITY OF INTUITIONISTIC THEORIES FORMULATED WITH THE APARTNESS RELATION.GABBAY DM.1977; FUNDAM. MATH.; POLOGNE; DA. 1977; VOL. 97; NO 2; PP. 57-69; BIBL. 6 REF.Article

A NEW VERSION OF BETH SEMANTICS FOR INTUITIONISTIC LOGIC.GABBAY DM.1977; J. SYMBOL. LOGIC; U.S.A.; DA. 1977; VOL. 42; NO 2; PP. 306-308; BIBL. 5 REF.Article

EMBEDDING FIRST ORDER PREDICATE LOGIC IN FRAGMENTS OF INTUITIONISTIC LOGIC.LOB MH.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 4; PP. 705-718; BIBL. 3 REF.Article

A RESULT ON PROPOSITIONAL LOGICS HAVING THE DISJUNCTION PROPERTYKIRK RE.1982; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1982; VOL. 23; NO 1; PP. 71-74; BIBL. 6 REF.Article