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

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

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

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

A REMARK ON AXIOM-SYSTEM FOR THE CLASSICAL TWO-VALUED (->, NON ) PROPOSITIONAL LOGIC.MILICI C.1974; GLASN. MAT.; JUGOSL.; DA. 1974; VOL. 9; NO 1; PP. 3-5; ABS. SERBO-CROATE; BIBL. 6 REF.Article

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

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

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

Utilisation des symétries dans la résolution de contraintes booléennes = How to use symmetries in boolean constraint solvingSan Miguel Aguirre, Alfonso; Colmerauer, Alain.1992, 83 p.Thesis

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

A NOTE ON PROPOSITIONAL CALCULUSROSENBERG S.1972; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1972; VOL. 13; NO 4; PP. 506-510; BIBL. 2 REF.Serial Issue

ON THE PROPOSITIONAL CALCULUS P¹.SETTE AM.1973; MATH. JAP.; JAP.; DA. 1973; VOL. 18; NO 3; PP. 173-180; BIBL. 3 REF.Article

A SPECIES-ALGEBRAIC INTERPRETATION OF THE INTUITIONISTIC PROPOSITIONAL CALCULUS.JEFERI OKEE.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 222-232; BIBL. 5 REF.Article

Survey of Disjoint NP-pairs and Relations to Propositional Proof SystemsGLASSER, Christian; SELMAN, Alan L; LIYU ZHANG et al.Theoretical computer science (essays in memory of Shimon Even). Lecture notes in computer science. 2006, pp 241-253, issn 0302-9743, isbn 3-540-32880-7, 1Vol, 13 p.Book Chapter

Solving satisfiability via Boltzmann machinesD'ANJOU, A; GRANA, M; TORREALDEA, F. J et al.IEEE transactions on pattern analysis and machine intelligence. 1993, Vol 15, Num 5, pp 514-521, issn 0162-8828Article

An inside view of EXP ; or, the closed fragment of the provability logic of IΔ₀+Ω₁ with a propositional constant for EXPVISSER, A.The Journal of symbolic logic. 1992, Vol 57, Num 1, pp 131-165, issn 0022-4812Article

Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculusDOSEN, K.Notre Dame journal of formal logic. 1991, Vol 32, Num 4, pp 580-597, issn 0029-4527Article

An intuitionistic Sheffer functionDOSEN, K.Notre Dame journal of formal logic. 1985, Vol 26, Num 4, pp 479-482, issn 0029-4527Article

Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculusRYBAKOV, V. V.Annals of pure and applied logic. 1990, Vol 50, Num 1, pp 71-106, issn 0168-0072, 36 p.Article

Remark on the intuitionistic fuzzy logicsATANASSOV, K. T.Fuzzy sets and systems. 1998, Vol 95, Num 1, pp 127-129, issn 0165-0114Article

New intuitionistic logical constants : Undecidability of the Conservativeness problemYASHIN, A. D.Lecture notes in computer science. 1997, pp 460-471, issn 0302-9743, isbn 3-540-63172-0Conference Paper

La créativité des définitions dans les systèmes para-euclidiens = The creativity of definitions in the paraeuclidean systemsGINISTI, J.-P.Mathématiques, informatique et sciences humaines. 1991, Num 116, pp 69-88, issn 0995-2314Article