- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On Two Notions of Computation in Transparent Intensional Logic
Axiomathes 29 (2):189-205 (2018)
Abstract
In Transparent Intensional Logic we can recognize two distinct notions of computation that loosely correspond to term rewriting and term interpretation as known from lambda calculus. Our goal will be to further explore these two notions and examine some of their properties.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.Ivo Pezlar - 2017 - Logic and Logical Philosophy 26 (4):473-508.
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations.Sara Ayhan - forthcoming - Journal of Logic and Computation.
Lambda Calculus and Intuitionistic Linear Logic.Simona Ronchi Della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.
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. College Publications. pp. 197-210.
Recursion theory and the lambda-calculus.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):67-83.
Two Standard and Two Modal Squares of Opposition.Jiri Raclavsky - 2016 - In Jean-Yves Béziau & Gianfranco Basti (eds.), The Square of Opposition: A Cornerstone of Thought (Studies in Universal Logic). Cham, Switzerland: Birkhäuser. pp. 119-142.
On the philosophical interpretation of transparent intensional logic.K. Berka - 1992 - Filosoficky Casopis 40 (2):313-321.
Skew confluence and the lambda calculus with letrec.Zena M. Ariola & Stefan Blom - 2002 - Annals of Pure and Applied Logic 117 (1-3):95-168.
Concepts as hyperintensional objects.Pavel Materna - 2014 - Logic and Logical Philosophy (2):133-170.
Going Nowhere and Back: Is Trivialization the Same as Zero Execution?Ivo Pezlar - 2022 - In Pavel Materna & Bjørn Jespersen (eds.), Logically Speaking. A Festschrift for Marie Duží. College Publications. pp. 187-202.
Analytics
Added to PP
2018-09-15
Downloads
62 (#338,701)
6 months
4 (#1,232,162)
2018-09-15
Downloads
62 (#338,701)
6 months
4 (#1,232,162)
Historical graph of downloads
Author's Profile
Citations of this work
Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL.Miloš Kosterec - 2020 - Journal of Philosophical Logic 49 (1):121-133.
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. College Publications. pp. 197-210.
Substitution inconsistencies in Transparent Intensional Logic.Miloš Kosterec - 2021 - Journal of Applied Non-Classical Logics 31 (3-4):355-371.
Type Polymorphism, Natural Language Semantics, and TIL.Ivo Pezlar - 2023 - Journal of Logic, Language and Information 32 (2):275-295.
References found in this work
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931.Jean Van Heijenoort (ed.) - 1967 - Cambridge, MA, USA: Harvard University Press.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6b8b7fc7ff-t5rxv uwo