Fixed-point Elimination in the Intuitionistic Propositional Calculus

DOI10.1145/3359669zbMath1433.03015WikidataQ127198522 ScholiaQ127198522MaRDI QIDQ4972168

Luigi Santocanale, Silvio Ghilardi, Maria João Gouveia

Publication date: 22 November 2019

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2434/680151

zbMATH Keywords

eliminationintuitionistic propositional calculusfixed-points

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Computing least and greatest fixed points in absorptive semirings ⋮ Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond

This page was built for publication: Fixed-point Elimination in the Intuitionistic Propositional Calculus