Least fixed points in the Gödel-Löb logic
type: Item
instance of: scholarly article
title: Least fixed points in the Gödel-Löb logic
zbMATH Open document ID: 0815.03008
DOI: 10.1007/BF02263055
author: S. I. Mardaev
published in: Algebra and Logic
publication date: 1995-04-20T00:00:00Z
review text: We prove a fixed-point theorem for positive schemes in the Gödel-Löb modal propositional logic GL which is similar to those proved in the author's paper reviewed above for intuitionistic and Grzegorczyk's logics. It is known that a theorem on the existence and uniqueness of a fixed point is valid in the logic GL for formulas in which all occurrences of the distinguished variable are within the scope of modalities. Here we consider a somewhat different family of formulas.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 738970
zbMATH Keywords: fixed-point theorem
zbMATH Keywords: positive schemes
zbMATH Keywords: Gödel-Löb modal propositional logic
MaRDI profile type: Publication
cites work: Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic
cites work: Q4068699
full work available at URL: https://doi.org/10.1007/bf02263055
OpenAlex ID: W2072389780
description: scientific article; zbMATH DE number 738970