On denotational versus predicative semantics

DOI10.1016/0022-0000(91)90037-6zbMATH Open0716.68060OpenAlexW1997793808MaRDI QIDQ753499FDOQ753499

Authors: Manfred Broy, Christian Lengauer 

Publication date: 1991

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(91)90037-6

Recommendations

• scientific article; zbMATH DE number 4045109
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
• On the semantics and logic of declaratives and interrogatives
• On the semantics of intensionality
• Semantical antinomies in the logic of sense and denotation
• scientific article; zbMATH DE number 3902017
• Semantic presuppositions in logical syntax
• A note on logical relations between semantics and syntax
• On the Semantics of Comparative Logic

zbMATH Keywords

denotational semanticspredicative semantics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55)

Cites Work

• Power domains
• Predicative programming Part I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Recursive programs and denotational semantics in absolute logics of programs
• Predicative specifications for functional programs describing communicating networks
• Demonic operational and denotational semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: On denotational versus predicative semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q753499)