Substitution inconsistencies in transparent intensional logic

DOI10.1080/11663081.2021.1982553OpenAlexW3201769558MaRDI QIDQ5862004FDOQ5862004

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

Recommendations

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

zbMATH Keywords

compensation principlefree occurrence of a variableTransparent Intensional Logiccollisionless substitution

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Title not available (Why is that?)
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• Indiscernibility of identicals
• Procedural isomorphism, analytic information and  -conversion by value
• Transparent quantification into hyperpropositional contexts \textit{de re}
• Transparent quantification into hyperintensional objectual attitudes
• The paradox of inference and the non-triviality of analytic information
• Explicit substitutions
• A new logic of technical malfunction
• If structured propositions are logical procedures then how are procedures individuated?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Substitution contradiction, its resolution and the Church-Rosser theorem in TIL
• Hyperintensional Reasoning Based on Natural Language Knowledge Base
• First among equals: co-hyperintensionality for structured propositions

Cited In (1)

• Substitution in simple sentences: validity versus soundness

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)