Sur le calcul nihiliste des propositionsŻABSKI, E.Ruch filozoficzny. 1990, Vol 47, Num 3-4, pp 240-246, issn 0035-9599Article

Le problème du caractère liant du calcul classique des propositionsKICZUK, S.Roczniki Filozoficzne. 1988, Vol 36, Num 1, pp 39-56Article

Quelques mots sur les calculs nihilistes des propositionsŻABSKI, E.Ruch filozoficzny. 1991, Vol 48, Num 1, pp 36-40, issn 0035-9599Article

LTUR: a simplified linear-time unit resolution algorithm for Horn formulae and computer implementationMINOUX, M.Information processing letters. 1988, Vol 29, Num 1, pp 1-12, issn 0020-0190Article

Les correspondants sémantiques des énoncés concernant la réduction du calcul classique des propositions sur la base du système w (trivalué)PIRÓG-RZEPECKA, K.Ruch filozoficzny. 1992, Vol 49, Num 2, pp 161-172, issn 0035-9599Article

Model checking the full modal mu-calculus for infinite sequential processesBURKART, O; STEFFEN, B.Lecture notes in computer science. 1997, pp 419-429, issn 0302-9743, isbn 3-540-63165-8Conference Paper

Automatic abstraction techniques for propositional μ-calculus model checkingPARDO, A; HACHTEL, G. D.Lecture notes in computer science. 1997, pp 12-23, issn 0302-9743, isbn 3-540-63166-6Conference Paper

On different classes of linguistic variables defined via fuzzy subsetsYAGER, R. R.Kybernetes. 1984, Vol 13, Num 2, pp 103-110, issn 0368-492XArticle

On some non-classical extensions of second-order intuitionistic propositional calculusŠČEDROV, A.Annals of pure and applied logic. 1984, Vol 27, Num 2, pp 155-164, issn 0168-0072Article

Implication and presuppositionFARRELL, R. J.Notre Dame journal of formal logic. 1986, Vol 27, Num 1, pp 51-61, issn 0029-4527Article

Sur une extension de la classe des algèbres de Heyting = On an extension of the class of Heyting algebrasSULARIA, M.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1986, Vol 302, Num 3, pp 83-86, issn 0764-4442Article

On the freyd cover of a toposMOERDIJK, I.Notre Dame journal of formal logic. 1983, Vol 24, Num 4, pp 517-526, issn 0029-4527Article

Individual concepts as propositional variables in ML^ν+1ZANARDO, A.Notre Dame journal of formal logic. 1984, Vol 25, Num 4, pp 332-346, issn 0029-4527Article

Le langage de la physique contemporaine et le problème de la logique de la mécanique quantique dans la conception de Werner HeisenbergKICZUK, S.Roczniki Filozoficzne. 1988, Vol 36, Num 1, pp 57-75Article

PROOF THEORETIC METHODOLOGY FOR PROPOSITIONAL DYNAMIC LOGICLEIVANT D.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 107; PP. 356-373; BIBL. 16 REF.Conference Paper

A SIMPLIFIED PROOF THAT REGULAR RESOLUTION IS EXPONENTIALBEN ARI M.1980; INFORM. PROCESSG LETTERS; NLD; DA. 1980; VOL. 10; NO 2; PP. 96-98; BIBL. 2 REF.Article

THE FUNCTIONAL COMPLETENESS OF POST'S M-VALUED PROPOSIONAL CALCULUSBARTON S.1979; Z. MATH. LOGIK GRUNDL. MATH.; DDR; DA. 1979; VOL. 25; NO 5; PP. 445-446Article

HINTIKKA'S FREE LOGIC IS NOT FREE.SARLET HJ.1977; NOTRE DAME J. FERM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 3; PP. 458Article

SEMANTIQUE DES FORMULES LOGIQUES EN FORME D'EQUIVALENCE N-AIRE (DEMI-MODELES).CHYTIL MK.1977; NOTRE DAME J. FERM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 3; PP. 421-435; BIBL. 7 REF.Article

A GENERALIZED 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 4; PP. 760-764; BIBL. 1 REF.Article

NOTE ABOUT LUKASIEWICZ'S THEOREM CONCERNING THE SYSTEM OF AXIOMS OF THE IMPLICATIONAL PROPOSITIONAL CALCULUS.SOBOCINSKI B.1978; NOTRE DAME J. FORM LOGIC; USA; DA. 1978; VOL. 19; NO 3; PP. 457-460; BIBL. 4 REF.Article

UNE ETUDE SEMANTIQUE DE QUELQUES CALCULS PROPOSITIONNELS.LOPARIC A.1977; C.R. ACAD. SCI., A; FR.; DA. 1977; VOL. 284; NO 15; PP. 835-838; ABS. ANGL.; BIBL. 4 REF.Article

ON THE INDEPENDENCE OF THE FUNDAMENTAL OPERATIONS OF THE ALGEBRA OF SPECIES.OKEE J.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 4; PP. 526-530; BIBL. 6 REF.Article

THE SQUARE OF OPPOSITION.ENGLEBRETSEN G.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 4; PP. 531-541Article

Theorem countingBEAVERS, M. G.Topoi. 1994, Vol 13, Num 1, pp 61-65, issn 0167-7411Article