Afiliat la Institutul de Matematică şi Informatică "Vladimir Andrunachievici", USM
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 |
1-2 of 2