Substitution contradiction, its resolution and the Church-Rosser theorem in TIL

DOI10.1007/S10992-019-09514-YMaRDI QIDQ2301323zbMATH OpenOpenAlexWikidataFDO

Authors Miloš Kosterec

Publication date 24 February 2020

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-019-09514-y

zbMATH Keywords

\(\beta\)-reduction by nameChurch-Rosser theoremcollision-less substitutiondouble executionfree occurrence of a variable

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Combinatory logic and lambda calculus (03B40) Other nonclassical logic (03B60)

Recommendations

• Substitution inconsistencies in transparent intensional logic
• SUBSTITUTION IN RELEVANT LOGICS
• Church-Rosser theorem for typed functional systems
• scientific article; zbMATH DE number 910441
• Church–Rosser Made Easy

Cites work

• A new logic of technical malfunction
• Extensional Logic of Hyperintensions
• scientific article; zbMATH DE number 43055 (Why is no real title available?)
• scientific article; zbMATH DE number 1042221 (Why is no real title available?)
• scientific article; zbMATH DE number 3086346 (Why is no real title available?)
• If structured propositions are logical procedures then how are procedures individuated?
• lambda-normal forms in an intensional logic for English
• On the number of types
• Procedural isomorphism, analytic information and  -conversion by value
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• Substitution contradiction, its resolution and the Church-Rosser theorem in TIL
• The paradox of inference and the non-triviality of analytic information
• Theoretical Pearls:Representing ‘undefined’ in lambda calculus
• Transparent quantification into hyperintensional objectual attitudes

Cited in

(4)

• Substitution contradiction, its resolution and the Church-Rosser theorem in TIL
• Substitution inconsistencies in transparent intensional logic
• Type polymorphism, natural language semantics, and TIL
• Twin procedures, two kinds of variable binding, and two kinds of computation

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Substitution contradiction, its resolution and the Church-Rosser theorem in TIL

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