Structured meanings and reflexive domains
type: Item
instance of: scholarly article
title: Structured meanings and reflexive domains
zbMATH Open document ID: 0772.03010
DOI: 10.1007/BF00370114
author: Serge Lapierre
published in: Studia Logica
publication date: 1993-04-01T00:00:00Z
review text: If structured meanings are used to solve problems caused by the failure of substitutivity of logical equivalents in belief and other such contexts, it is known that problems are caused by iterated operators which appear to have to take themselves as arguments. The author explores ways of using techniques developed by Dana Scott which allow functions to apply to themselves and thereby allow a treatment of iterated operators.
reviewed by: M. J. Cresswell
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 149609
zbMATH Keywords: intensional logic
zbMATH Keywords: propositional attitudes
zbMATH Keywords: hyperintensional operators
zbMATH Keywords: iterated operators
MaRDI profile type: Publication
cites work: Believing in semantics
cites work: Q5791196
cites work: Hyperintensional logic
cites work: General semantics
cites work: Completeness of transfinite evaluation in an extension of the lambda calculus
cites work: Q3969890
cites work: Montague semantics, nominalization and Scott's domains
cites work: Nominalization and Scott's domains. II
Recommended article: Q4841557
Recommended article: Q4661974
Recommended article: Q4440613
Recommended article: Semantics and Stratification
Recommended article: Structured anaphora to quantifier domains
Recommended article: THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS
Recommended article: Q4762299
Recommended article: Formal models of reflexive structures
Recommended article: Q4494336
Recommended article: Q4297437
description: scientific article; zbMATH DE number 149609