IBN
  



  














    
  


    
Închide

Afiliat la Universitatea „Ovidius“, Constanţa

2023 - 2

On some pre-complete relative to positive expressibility classes of formulas in the 8-valued para-consistent extension of the logic S5
Rusu Andrei , Rusu Elena
Workshop on Intelligent Information Systems
2023. Chişinau, Moldova. Valnex. 199-206.
Disponibil online 8 December, 2023
-----------------------------------------------------------------------------------------------------------------------------------
On some classes of formulas in S5 which are pre-complete relative to existential expressibility
Rusu Andrei , Rusu Elena
Computer Science Journal of Moldova
Vol. 31, Nr. 3(93) / 2023 / ISSN 1561-4042 / ISSNe 2587-4330
Disponibil online 16 January, 2024
-----------------------------------------------------------------------------------------------------------------------------------

2021 - 1

On Algorithms Related to Expressibility of Functions of Diagonalizable Algebras
Rusu Andrei , Rusu Elena
Studies in Fuzziness and Soft Computing
2021. Berlin, Germania. Springer Science and Business Media Deutschland GmbH. 257-277.
Disponibil online 7 April, 2021
-----------------------------------------------------------------------------------------------------------------------------------

2020 - 1

On weak-functionally complete systems of formulas containing paraconsistent negation in a paraconsistent logic
Rusu Andrei , Rusu Elena
International Conference on Intelligent Information Systems
2020. Chișinău. "VALINEX" SRL. 170-175.
Disponibil online 10 December, 2020
-----------------------------------------------------------------------------------------------------------------------------------

2019 - 2

On completeness as to ¬-expressibility in a 4-valued provability logic
Rusu Andrei , Rusu Elena
Proceedings IMCS-55The Fifth Conference of Mathematical Society of the Republic of Moldova
2019. Chișinău, Republica Moldova. "VALINEX" SRL. 142-145.
Disponibil online 28 November, 2019
-----------------------------------------------------------------------------------------------------------------------------------
Research data in the context of open science: Case study of the Republic of Moldova
Rusu Andrei , Ţurcan Nelly , Cujba Rodica , Grecu Mihai
Central and Eastern European eDem and eGov Days
2019. Viena, Austria. Facultas Verlags- und Buchhandels. 319-328.
Disponibil online 11 October, 2019
-----------------------------------------------------------------------------------------------------------------------------------

2018 - 3

Genetic algorithm for optimization of software process
Bondarenco Vladimir , Rusu Andrei , Rusu Elena
Conference on Applied and Industrial Mathematics CAIM 2018
Ediţia a 26-a. 2018. Chișinău, Republica Moldova. Casa Editorial-Poligrafică „Bons Offices”. 116-116.
Disponibil online 2 June, 2022
-----------------------------------------------------------------------------------------------------------------------------------
On weak expressibility of formulas in the simplest non-trivial propositional provability logic
Rusu Andrei , Rusu Elena
Conference on Applied and Industrial Mathematics CAIM 2018
Ediţia a 26-a. 2018. Chișinău, Republica Moldova. Casa Editorial-Poligrafică „Bons Offices”. 100-100.
Disponibil online 1 June, 2022
-----------------------------------------------------------------------------------------------------------------------------------
On interoperability of research information based on CERIF in Republic of Moldova
Cujba Rodica , Rusu Andrei
Conference on Mathematical Foundations of Informatics
2018. Chișinău. "VALINEX" SRL. 67-72.
Disponibil online 3 July, 2018
-----------------------------------------------------------------------------------------------------------------------------------

2017 - 1

On existential expressibility of formulas in the simplest non-trivial super-intuitionistic propositional logic
Rusu Andrei , Rusu Elena
Conference of Mathematical Society of the Republic of Moldova
4. 2017. Chişinău. Centrul Editorial-Poligrafic al USM. 153-156.
Disponibil online 4 October, 2017
-----------------------------------------------------------------------------------------------------------------------------------

2016 - 1

On computer aided knowledge discovery in logic and related Areas
Rusu Andrei , Rusu Elena
Conference on Mathematical Foundations of Informatics
2016. Chișinău, Republica Moldova. "VALINEX" SRL. 299-306.
Disponibil online 30 March, 2018
-----------------------------------------------------------------------------------------------------------------------------------

2015 - 1

On the absence of finite approximation relative to model completeness in propositional provability logic
Izbaş Olga , Rusu Andrei
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
Nr. 3(79) / 2015 / ISSN 1024-7696 / ISSNe 2587-4322
Disponibil online 10 June, 2016
-----------------------------------------------------------------------------------------------------------------------------------

2014 - 2

On absence of finite approximation relative to model completeness in the propositional provability logic
Izbaş Olga , Rusu Andrei
Conference of Mathematical Society of the Republic of Moldova
3. 2014. Chișinău. "VALINEX" SRL. 98-101.
Disponibil online 9 October, 2017
-----------------------------------------------------------------------------------------------------------------------------------
Infinitely many precomplete with respect to parametric expressibility classes of formulas in a provability logic of propositions
Rusu Andrei
Analele Stiintifice ale Universitatii Ovidius Constanta, Seria Matematica
Vol. 22, / 2014 / ISSN 1224-1784 / ISSNe 1844-0835
Disponibil online 28 February, 2024
-----------------------------------------------------------------------------------------------------------------------------------

2013 - 1

Infinitely many maximal primitive positive clones in a diagonalizable algebra
Rusu Andrei
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
Nr. 2-3(73) / 2013 / ISSN 1024-7696 / ISSNe 2587-4322
Disponibil online 25 February, 2014
-----------------------------------------------------------------------------------------------------------------------------------
 
 

1-15 of 15