An expansion of Basic Logic with fixed points

Luca Spada
2016 Soft Computing - A Fusion of Foundations, Methodologies and Applications  
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 its subclasses corresponding to extensions of the above-mentioned expansion. The axiomatic extensions are proved to be standard complete.
doi:10.1007/s00500-016-2344-2 fatcat:qisvkcnfcfdcbjefmn5tamutba