UNILOG : UNIVERSAL LOGIC

Ref.No: 65233400
Start date: 29.04.2022
End date: 28.10.2024
Approval date: 29.04.2022
Department: APPLIED MATHEMATICAL & PHYSICAL SCIENCES
Sector: MATHEMATICS
Financier: ΒΑΣΙΚΗ ΕΡΕΥΝΑ, EIDIKOS LOG/MOS EMP
Budget: 18.000,00 €
Public key: 659Χ46ΨΖΣ4-ΖΡΠ
Scientific Responsible: Assoc. Prof. STEFANEAS
Email: petros@math.ntua.gr
Description: UNIVERSAL LOGIC HAS BEEN DEFINED AS A RESEARCH AREA OF MODERN LOGIC THE LAST TWO DECADES. ITS ROOTS THOUGH, MAY BE TRACED IN BIRKHOFF, TARSKI AND GODEL. IT IS A BODY OF GENERAL THEORIES OF LOGICAL STRUCTURES, IN THE SAME WAY UNIVERSAL ALGEBRA IS A GENER
Go to Top