Abstract: We introduce an expansion of Basic Logic (BL) with new connectives which express fixed points of continuous formulas, i.e. formulas of BL whose connectives are among {&,∨,∧}. The algebraic semantics of this logic is studied together with some of…
Contenuti della pagina News Descrizione del corso e prerequisiti Materiale del corso Aspetti pratici Esercizi/Esami News A partire dall’appello di settembre 2017 (incluso) il responsabile del corso Matematica II sarà la prof.ssa Chiara Nicotera. Per tutte le informazioni riguardo al corso, come ad…
From the 23d to the 25th of May the Department of Mathematics will host “Soft Computing Days“, a bilateral workshop China-Italy . We look forward to meeting you there.
The Department of Mathematics at the University of Salerno invites applications for a three-year postdoctoral position in Mathematical Logic. The position is co-funded by the Horizon 2020 project “SYSMICS” and involves a commitment of 20% of time for project assistance…
Nick, Nick and I have finished the paper about canonical formulas for -potent residuated lattices. A (incomplete) presentation of the paper can be found here. The paper can be downloaded here The abstract reads as follows: Canonical formulas are a powerful tool…