Procedural isomorphism, analytic information and -conversion by value

DOI10.1093/jigpal/jzs044zbMath1277.03024OpenAlexW2079439774MaRDI QIDQ4925174

Marie Duží, Bjørn Jespersen

Publication date: 11 June 2013

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

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

zbMATH Keywords

anaphoraprocedural semanticshyperintensionalitytransparent intensional logicprocedural isomorphismTichýChomskyVP ellipsisAlternative (\(A \frac {3}{4}\))beta-conversion by value versus by nameNealesloppy versus strict identity

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (7)

Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach ⋮ First among equals: co-hyperintensionality for structured propositions ⋮ On the number of types ⋮ Transparent quantification into hyperintensional objectual attitudes ⋮ Substitution contradiction, its resolution and the Church-Rosser theorem in TIL ⋮ If structured propositions are logical procedures then how are procedures individuated? ⋮ Substitution inconsistencies in Transparent Intensional Logic

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