Substitution inconsistencies in Transparent Intensional Logic

Journal of Applied Non-Classical Logics 31 (3-4):355-371 (2021)
  Copy   BIBTEX

Abstract

This paper presents several important results for Transparent Intensional Logic. The conversions that are standardly taken to be valid – namely restricted β-conversion by name and β-reduction...

Categories

Keywords

Reprint years

DOI

10.1080/11663081.2021.1982553

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Substitution inconsistencies in Transparent Intensional Logic.Miloš Kosterec - 2021 - Journal of Applied Non-Classical Logics 31 (3-4):355-371.
Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL.Miloš Kosterec - 2020 - Journal of Philosophical Logic 49 (1):121-133.
On Two Notions of Computation in Transparent Intensional Logic.Ivo Pezlar - 2018 - Axiomathes 29 (2):189-205.
Structured lexical concepts, property modifiers, and Transparent Intensional Logic.Bjørn Jespersen - 2015 - Philosophical Studies 172 (2):321-345.
On the interaction of semantics and deduction in Transparent Intensional Logic.Jiří Raclavský - 2014 - Logic and Logical Philosophy 23 (1):57-68.
O smyslu nesmyslu.Petr Kuchyňka - 1999 - Filosoficky Casopis 47:885-899.
An introduction to Pavel Tichy and transparent intensional logic.Andrew Holster - manuscript
Extending Montague's system: A three valued intensional logic.E. H. Alves & J. A. D. Guerzoni - 1990 - Studia Logica 49 (1):127 - 132.
Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.Ivo Pezlar - 2017 - Logic and Logical Philosophy 26 (4):473-508.
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.
Can concepts be defined in terms of sets?Marie Duží & Pavel Materna - 2010 - Logic and Logical Philosophy 19 (3):195-242.
Rules of existential quantification into "intensional contexts".Pavel Materna - 1997 - Studia Logica 59 (3):331-343.
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.Ivo Pezlar - 2019 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. London: College Publications. pp. 197-210.
Intensional and higher-order modal logic.Daniel Gallin - 1972 - [Berkeley,: [Berkeley.
On the philosophical interpretation of transparent intensional logic.K. Berka - 1992 - Filosoficky Casopis 40 (2):313-321.

Analytics

Added to PP
2021-12-01

Downloads
20 (#747,345)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The Impossible: An Essay on Hyperintensionality.Mark Jago - 2014 - Oxford, United Kingdom: Oxford University Press.

View all 14 references / Add more references