An expansion of Basic Logic with fixed points

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 its subclasses corresponding to extensions of the above-mentioned expansion. The axiomatic extensions are proved to be standard complete.

Preprint

 

Leave a Reply

Your email address will not be published. Required fields are marked *

Captcha * Time limit is exhausted. Please reload the CAPTCHA.

This site uses Akismet to reduce spam. Learn how your comment data is processed.