Andrei Rusu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On some classes of formulas in S5 which are pre-complete relative to existential expressibility Computer Science Journal of Moldova	2024-05-29	Paper
On absence of finite approximation relative to model completeness in the propositional provability logic	2016-01-27	Paper
scientific article; zbMATH DE number 6476595 (Why is no real title available?)	2015-08-27	Paper
Infinitely many maximal primitive positive clones in a diagonalizable algebra Buletinul Academiei de Științe a Republicii Moldova. Matematica	2014-10-23	Paper
On non-tabular \(m\)-pre-complete classes of formulas in the propositional provability logic	2008-11-28	Paper
Infinitely many functional pre-complete classes of formulas in the propositional provability intuitionistic logic	2007-11-13	Paper
Completeness criteria for expressibility in a 4-valued extension of provability logic	2007-07-18	Paper
On some properties of complete by expressibility systems of formulas in the Gödel–Löb provability logic Discrete Mathematics and Applications	2004-08-30	Paper
scientific article; zbMATH DE number 1148290 (Why is no real title available?)	1999-04-19	Paper
scientific article; zbMATH DE number 1241951 (Why is no real title available?)	1999-01-18	Paper
scientific article; zbMATH DE number 857449 (Why is no real title available?)	1996-04-10	Paper

Research outcomes over time

This page was built for person: Andrei Rusu