If structured propositions are logical procedures then how are procedures individuated?
type: Item
instance of: scholarly article
title: If structured propositions are logical procedures then how are procedures individuated?
zbMATH Open document ID: 1474.03015
published in: Synthese
publication date: 2021-11-25T00:00:00Z
full work available at URL: SYNT-D-17-00173.pdf
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 7433671
zbMATH Keywords: procedural semantics
zbMATH Keywords: transparent intensional logic
zbMATH Keywords: structured propositions
zbMATH Keywords: mereology of structured procedures
zbMATH Keywords: unity of propositions
zbMATH Keywords: synonymy
zbMATH Keywords: co-hyperintensionality
zbMATH Keywords: procedural isomorphism
author: Marie Duží
MaRDI profile type: Publication
OpenAlex ID: W2766580746
cites work: Alonzo Church's Contributions to Philosophy and Intensional Logic
cites work: The Impact of the Lambda Calculus in Logic and Computer Science
cites work: Q5791196
cites work: Q3235339
cites work: A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
cites work: Q4792706
cites work: Q4608337
cites work: The paradox of inference and the non-triviality of analytic information
cites work: Extensional Logic of Hyperintensions
cites work: Procedural isomorphism, analytic information and -conversion by value
cites work: Transparent quantification into hyperintensional objectual attitudes
cites work: Q3060316
cites work: Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
cites work: Q5365490
cites work: Q5224881
cites work: Q4230685
cites work: Q4982403
cites work: Q5695960
cites work: Q4281260
cites work: Logic, meaning and computation. Essays in memory of Alonzo Church
cites work: Q3992728
cites work: Constructions as the subject matter of mathematics
DOI: 10.1007/S11229-017-1595-5
description: scientific article; zbMATH DE number 7433671