36 research outputs found
Subtraction Menger algebras
Get PDFAbstract characterizations of Menger algebras of partial -place functions
defined on a set and closed under the set-theoretic difference functions
treatment as subsets of the Cartesian product are given
Eugen Mihăilescu. Sur quelques théorèmes dans les calculs des propositions bivalentes. Analele Universitătii C. I. Parhon (Bucharest), seria Acta logica, vol. 3 (1960), pp. 105–115.
No full textEugen Mihăilescu. Sur quelques théorèmes de la logique classique. Revue de mathématiques pures et appliquées, vol. 4 no. 2 (1959), pp. 233–248.
No full textEugen Mihăilescu. Forme normale in calcul propoziţiilor bivalente (Formes normales dans le calcul des propositions bivalentes). Roumanian, with Russian and French summaries. Buletin ştiinţific, Secţia de ştiinţe matematice şi fizice, vol. 8 (1956), pp. 297–327. - Eugen Mihăilescu. Recherches sur quelques systèmes du calcul des propositions. French, with Russian and English summaries. Analele Universitáţii C. I. Parkon (Bucharest), Seria Acta logica
No full textMircea Tîrnoveanu. Elemente de logicǎ matematicǎ. Vol. 1. Logicǎ propoziţülor bivalente. (Elements of mathematical logic. Vol. 1. Logic of bivalent propositions.) Editura Didacticǎ şi Pedagogicǎ, Bucharest 1964, 519 pp.
No full textEugen Mihăilescu. Les formes normales dans le calcul bivalent des propositions. French with Russian and English summaries. Analele Universitătii C. I. Parhon (Bucharest), seria Acta logica, vol. 2 (1959), pp. 201-227.
No full text
E. William ChapinJr., Gentzen-like systems for partial propositional calculi. Notre Dame journal of formal logic, vol. 12 (1971), pp. 75–80, and pp. 179–182.
No full text
