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 (Formula presented.). 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.
An expansion of Basic Logic with fixed points
SPADA, Luca
2017-01-01
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 (Formula presented.). 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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
