Substitution inconsistencies in transparent intensional logic

DOI10.1080/11663081.2021.1982553MaRDI QIDQ5862004zbMATH OpenOpenAlexFDO

Authors Miloš Kosterec

Publication date 3 March 2022

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2021.1982553

zbMATH Keywords

compensation principlefree occurrence of a variableTransparent Intensional Logiccollisionless substitution

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Substitution contradiction, its resolution and the Church-Rosser theorem in TIL
• Transparent intensional logic. A challenge
• scientific article; zbMATH DE number 4164812
• SUBSTITUTION IN RELEVANT LOGICS
• scientific article; zbMATH DE number 3843727

Cites work

• scientific article; zbMATH DE number 3767623 (Why is no real title available?)
• scientific article; zbMATH DE number 43055 (Why is no real title available?)
• A new logic of technical malfunction
• Belief attitudes, fine-grained hyperintensionality and type-theoretic logic
• Explicit substitutions
• First among equals: co-hyperintensionality for structured propositions
• Hyperintensional Reasoning Based on Natural Language Knowledge Base
• If structured propositions are logical procedures then how are procedures individuated?
• Indiscernibility of identicals
• 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
• Transparent quantification into hyperintensional objectual attitudes
• Transparent quantification into hyperpropositional contexts \textit{de re}

Cited in

(3)

• Substitution in simple sentences: validity versus soundness
• Twin procedures, two kinds of variable binding, and two kinds of computation
• Substitution contradiction, its resolution and the Church-Rosser theorem in TIL

This page was built for publication: Substitution inconsistencies in transparent intensional logic

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