Procedural isomorphism, analytic information and -conversion by value

DOI10.1093/JIGPAL/JZS044MaRDI QIDQ4925174zbMATH OpenOpenAlexFDO

Authors Marie Duží, Bjørn Jespersen

Publication date 11 June 2013

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzs044

zbMATH Keywords

Alternative (\(A \frac {3}{4}\))anaphorabeta-conversion by value versus by nameChomskyhyperintensionalityNealeprocedural isomorphismprocedural semanticssloppy versus strict identityTichýtransparent intensional logicVP ellipsis

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Recommendations

• scientific article; zbMATH DE number 733666
• Provable isomorphisms of types
• Procedural isomorphism and synonymy
• Isometries and computability structures
• scientific article; zbMATH DE number 1231529
• Computational isomorphisms in classical logic
• Isomorphism relations on computable structures
• Isomorphisms between the coherent models of the lambda-calculus
• Generically and coarsely computable isomorphisms
• Confluency property of the call-by-value \(\lambda\mu^{\wedge\vee}\)-calculus

Cited in

(9)

• On the number of types
• If structured propositions are logical procedures then how are procedures individuated?
• Substitution contradiction, its resolution and the Church-Rosser theorem in TIL
• Algorithmic theories of problems. A constructive and a non-constructive approach
• Transparent quantification into hyperintensional objectual attitudes
• Procedural isomorphism and synonymy
• Substitution inconsistencies in transparent intensional logic
• First among equals: co-hyperintensionality for structured propositions
• Twin procedures, two kinds of variable binding, and two kinds of computation

This page was built for publication: Procedural isomorphism, analytic information and  -conversion by value

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