# An expansion of Basic Logic with fixed points

@article{Spada2017AnEO, title={An expansion of Basic Logic with fixed points}, author={Luca Spada}, journal={Soft Computing}, year={2017}, volume={21}, pages={29-37} }

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 $$ \{ \& ,\vee ,\wedge \}$${&,∨,∧}. 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.

## One Citation

## References

SHOWING 1-10 OF 23 REFERENCES

### Fixed Point Logics

- Mathematics, PhilosophyBulletin of Symbolic Logic
- 2002

The relationship between inflationary and nondeterministic fixed point logics and second order logic is established, and questions related to the determinacy of games associated with alternating fixed points are considered.

### ŁΠ logic with fixed points

- MathematicsArch. Math. Log.
- 2008

It is proved that μŁΠ is standard complete, i.e., complete with regard to the unit interval of real numbers endowed with a suitable structure, and that the class of algebras which forms algebraic semantics for this logic is generated, as a variety, by its linearly ordered members.

### A Proof of Standard Completeness for Esteva and Godo's Logic MTL

- MathematicsStud Logica
- 2002

This result is used to show that Esteva and Godo's logic MTL is complete with respect to interpretations into commutative residuated lattices on [0, 1].

### Storage Operators and Multiplicative Quantifiers in Many-valued Logics

- Mathematics, PhilosophyJ. Log. Comput.
- 2004

The algebraic completeness of the logics obtained by the adding of a storage operator* is investigated, as well as completeness with respect to real and rational-valued semantics.

### Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions

- Mathematics, Computer ScienceAlgebraic and Proof-theoretic Aspects of Non-classical Logics
- 2006

It is shown that one infinitary rule is sufficient to obtain strong standard completeness, also in the first- order case, and a tight bound to the complexity of BL first-order formulas which are valid in the standard semantics.

### Advances in the theory of μŁΠ algebras

- MathematicsLog. J. IGPL
- 2011

This work gives a functional representation of any ŁΠ1/2 algebra in the style of Di Nola Theorem for MV-algebras, shows that the first-order theory of linearly ordered μŁŠ algebrAs enjoys quantifier elimination, and proves that the equational theory of μŵΠ alagbras is in PSPACE.