65 Years from Birth of Prof. Gheorghe S. Nadiu (1941-1998)

Ioan Dzițac, Loriana Andrei

Abstract


In 1967, Gheorghe S. Nadiu publishes in “Mathematical studies and researches”, the article “On a method for the construction of Three - valued Łukasiewicz algebras” (Romania), cited in the book “Cylindric Algebras” by P. Monk, L. Henkin, A. Tarski. This article attracted the attention of Grigore C. Moisil, who offers him a scholarship, taking him out of production to make his doctorate at the Mathematic Institute of the Romanian Academy. He publishes more than 50 scientific papers in Theory of Algorithms, Logics of mathematics and Theory of Categories fields.

“Gheorghe S. Nadiu, by introducing the notion of quantified filter in a boolean monadic algebra, showed how one can obtain a trivalent Łukasiewicz algebra; also, he obtained an algebraic characterization of a completitude theorem from the intuitionist logic of Kripke.” (G. St. Andonie, Science History in Romania, Academic Publishing House, SRR, 1981).


Full Text:

PDF

References


P. Brădeanu, Gh. S. Nadiu, Asupra unui regim optim de mișcare a rachetelor balistice, An. Univ. din Timișoara, vol. III, 1965.

Gh. S. Nadiu, Asupra unei teoreme de recursie a algoritmilor normali, Studii și cercetări matematice (Mathematical Reports), Tom. 18, 1966/7, pp. 1071.

Gh. S. Nadiu, On a method for the construction of three-valued Łukasiewicz algebras (Romanian), Studii Cerc. Mat., 19, 1967, 1063-1070.

I. Marușciac, Gh. S. Nadiu, O interpretare a algoritmilor, schemă-graf în legătură cu mașinile Turing și algoritmi de tip Cernevski, Studii și cercetări matematice, Tom. 20, 1968/7.

Gh. S. Nadiu, The interpolation theorem in strict positive logic, Bull. Math. Soc. Sci. Math. Roum., Tom. 13, 1968/2.

Gh. S. Nadiu, O mașină Turing universală pentru clasa algoritmilor normali, Studii și cercetări matematice, Tom. 21, 1969/1.

Gh. S. Nadiu, Sur la logique de Heyting, in "Logique-Informatique-Automatique", Ed. of Romanian Academy, București, 1971.

L. Henkin, J.D. Monk, A. Tarski, Cylindric Algebras, North-Holland, Amsterdam 1971.

Gh. S. Nadiu, Sur la logique de Heyting, Abstract of IV Congress of logic, Bucharest, 1971.

Gh. S. Nadiu, Elementary logic and models, Bull. Math. d Soc. Sci. Math. Roum., Tom. 15, 1971/1.

Gh. S. Nadiu, Cercetări asupra logicilor necryssipiene/Research about Necryssipiene Logics, 1972 (PhD Thesis, supervisor Grigore C. Moisil).

David P. Ellerman, Sheaves of Structures and Generalized Ultraproducts, Annals of Mathematical Logic, 7 (Dec. 1974), 163-195.
http://dx.doi.org/10.1016/0003-4843(74)90014-X

Gh. S. Nadiu, An abstract calculi of superior order, Proc. of IV Congress of logic London-Ontario, Canada, 1975.

Gh. S. Nadiu, O teoremă de exponențiere în categorii cateziene, Lucr. Șt., Institul Ped. Oradea, 1977.

Gh. S. Nadiu, Asupra buclelor Moufang formele comutative/Note sur les boucles Moufang formelles commutatives (Romanian), Stud. Cercet. Mat. 32, pp. 193-207, 1980.

Gh. S. Nadiu, Notă asupra spațiilor metrice constructive, Studii și cercetări matematice, 1980.

Gh. S. Nadiu, Non-Clasical Logic of Superior Order, Resegna internationale di logica, Bologna, Bull.Math., 1981.

Gh. S. Nadiu, Considerations sur les categories cartesienes fermes, bull. math.

G. St. Andonie, History of sciences in Romania. Mathematics, mechanics, astronomy, (Istoria științelor în România. Matematica, mecanica, astronomie)(Romanian), Bucuresti: Ed. Acad. R.S.R.,1981, pp.123.

Gh. S. Nadiu, Category of correspondence and extensions, Jounal of pure and appl. Algebra.

Gh. S. Nadiu, On Boolean formal algebras, Bull. Math. d Soc. Sci. Math. Roum., 1978.

Gh. S. Nadiu, Prefascicule peste latici Skolem (I), Lucrări Șt. ale Inst. de înv. sup. Oradea, 1978, ser. A, pp. 37-63.

Gh. S. Nadiu, Asupra laticilor Skolem, Lucrări Șt. ale Inst. de înv. sup. Oradea, pp. 65-69, 1978.

Nadiu, Gh.S., Considerations in category of Skolem lattices, (Romanian. English summary), Bul. Stiint. Inst. Politeh. Cluj-Napoca, Ser. Electroteh. Energ. Inf. 25, 29-36 1982.

Gh. S. Nadiu, Logici cu mai multe sorturi de variabile și spații vectoriale, în vol. Lucrările celui de al III-lea Simpozion național de analiză funcțională, Craiova, 6-7 nov. 1981.

Gh. S. Nadiu, T Pop, Automate-tehnologii și decizii, în vol. "Cibernetică aplicată", București, Ed. Acad. R.S.R., 1983.

Gh. S. Nadiu, Aspecte booleene în categoria spațiilor vectoriale normate, în vol. Lucrările celui de al IV-lea Simpozion național de analiză funcțională, Craiova 6-7 nov. 1983.

Gh. S. Nadiu, Prefascicule peste latici Skolem (II), Lucrăi Șt. ale Inst. de înv. sup. Oradea, seria A, 1978.

Gh. S. Nadiu, Asupra logicii modale generale a lui Moisil, Lucrări Șt. ale Inst. de înv. sup. Oradea, seria A, 1978.

Gh. S. Nadiu, Asupra ordonărilor Rudin-Kreisler în clasa ultrafiltrelor, Lucrări Șt. ale Inst. de înv. sup. Oradea, seria A, 1978.

Gh. S. Nadiu, Contribuții la teoria relațiilor (I), Lucrări Șt. ale Inst. de înv. sup. Oradea, seria A, 1980.

Gh. S. Nadiu, Contribu ctii la teoria relațiilor (II). Corespondențe via toposuri., Lucrări Științifice, Oradea, seria A, 1980.

Gh. S. Nadiu, O clasă specială de L-endometrici probabiliste, Lucrări Științifice, Oradea, seria A, 1980.

Gh. S. Nadiu, Gh. Niculae, Funcții parțiale injective și filtre de compunere, Lucrări Științifice, Oradea, seria A, 1980.

Gh. S. Nadiu, Notă asupra relațiilor de secvență, Lucrări Științifice, Oradea, seria A, 1979.

Gh. S. Nadiu, Gh. Niculae, Asupra categoriei-algebrelor, Lucrări Științifice, Oradea, seria A, 1981- 1982.

Gh. S. Nadiu, Notă asupra filtrelor într-o algebră Łukasievich 0-valentă, Lucrări Șt., Oradea, seria A, 1981-1982.

Gh. S. Nadiu, Contribuții la teoria relațiilor (III). Interpretări sintactice, Lucrări Șt., Oradea, seria A, 1981-1982.

Gh. S. Nadiu, Dinamica deciziilor, Rezumat vol. Celui de al IV-lea Simpozion național de cibernetică, 1986.

Gh. S. Nadiu, Asupra noțiunii de topologie, Simpozion național de topologie, Cluj Napoca, 1986.

Gh. S. Nadiu, Produse fibrate în categoria automatelor, Comunicare la Conferința națională de algebră, Timișoara, 1986.

Nadiu, Gh. S., On topologies and overtopologies (English), Prepr., "Babes-Bolyai" Univ., Fac. Math. Phys., Res. Semin. 1988, No.2, pp. 121-126 (1988).

Gh. S. Nadiu, Loriana Popa, Asupra teoriei omotopiei, Analele Univ. Oradea, III, pp. 12 - 19, 1993.

Gh. S. Nadiu, Notă asupra spațiilor liniar normate, Analele Univ. Oradea, I, pp. 91 - 94, 1991.

Gh. S. Nadiu, Considerații algebrice relații la cat. sp. metrice., Analele Univ. Oradea, II, pp. 99 - 106, 1992.

Gh. S. Nadiu, Dinamici. Aspecte categoriale, Analele Univ. Oradea, III, pp. 1 - 12, 1993.

Gh. S. Nadiu, Considerații asupra categoriilor carteziene, Lucrărrile CAIM 1996, pp. 201 - 207.

A. Georgescu, C.L. Bichir, G.V. Cîrlig, Matematicieni români de pretutindeni, ED. The Flower Power, pp. 135, 2004.

G. Georgescu, A. Iorgulescu, S. Rudeanu, Grigore C. Moisil (1906 - 1973) and his School in Algebraic Logic, Int. J. of Computers, Communications and Control, IJCCC Vol. I (2006), No.1, 81-89.




DOI: https://doi.org/10.15837/ijccc.2006.3.2298



Copyright (c) 2017 Ioan Dzițac, Loriana Andrei

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

CC-BY-NC  License for Website User

Articles published in IJCCC user license are protected by copyright.

Users can access, download, copy, translate the IJCCC articles for non-commercial purposes provided that users, but cannot redistribute, display or adapt:

  • Cite the article using an appropriate bibliographic citation: author(s), article title, journal, volume, issue, page numbers, year of publication, DOI, and the link to the definitive published version on IJCCC website;
  • Maintain the integrity of the IJCCC article;
  • Retain the copyright notices and links to these terms and conditions so it is clear to other users what can and what cannot be done with the  article;
  • Ensure that, for any content in the IJCCC article that is identified as belonging to a third party, any re-use complies with the copyright policies of that third party;
  • Any translations must prominently display the statement: "This is an unofficial translation of an article that appeared in IJCCC. Agora University  has not endorsed this translation."

This is a non commercial license where the use of published articles for commercial purposes is forbiden. 

Commercial purposes include: 

  • Copying or downloading IJCCC articles, or linking to such postings, for further redistribution, sale or licensing, for a fee;
  • Copying, downloading or posting by a site or service that incorporates advertising with such content;
  • The inclusion or incorporation of article content in other works or services (other than normal quotations with an appropriate citation) that is then available for sale or licensing, for a fee;
  • Use of IJCCC articles or article content (other than normal quotations with appropriate citation) by for-profit organizations for promotional purposes, whether for a fee or otherwise;
  • Use for the purposes of monetary reward by means of sale, resale, license, loan, transfer or other form of commercial exploitation;

    The licensor cannot revoke these freedoms as long as you follow the license terms.

[End of CC-BY-NC  License for Website User]


INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL (IJCCC), With Emphasis on the Integration of Three Technologies (C & C & C),  ISSN 1841-9836.

IJCCC was founded in 2006,  at Agora University, by  Ioan DZITAC (Editor-in-Chief),  Florin Gheorghe FILIP (Editor-in-Chief), and  Misu-Jan MANOLESCU (Managing Editor).

Ethics: This journal is a member of, and subscribes to the principles of, the Committee on Publication Ethics (COPE).

Ioan  DZITAC (Editor-in-Chief) at COPE European Seminar, Bruxelles, 2015:

IJCCC is covered/indexed/abstracted in Science Citation Index Expanded (since vol.1(S),  2006); JCR2018: IF=1.585..

IJCCC is indexed in Scopus from 2008 (CiteScore2018 = 1.56):

Nomination by Elsevier for Journal Excellence Award Romania 2015 (SNIP2014 = 1.029): Elsevier/ Scopus

IJCCC was nominated by Elsevier for Journal Excellence Award - "Scopus Awards Romania 2015" (SNIP2014 = 1.029).

IJCCC is in Top 3 of 157 Romanian journals indexed by Scopus (in all fields) and No.1 in Computer Science field by Elsevier/ Scopus.

 

 Impact Factor in JCR2018 (Clarivate Analytics/SCI Expanded/ISI Web of Science): IF=1.585 (Q3). Scopus: CiteScore2018=1.56 (Q2); Editors-in-Chief: Ioan DZITAC & Florin Gheorghe FILIP.