More download options

Intension in terms of Turing machines

Studia Logica 24 (1):7 - 25 (1969) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Logic and Philosophy of Logic

Meaning, Misc in Philosophy of Language

Philosophy of Artificial Intelligence in Philosophy of Cognitive Science

Keywords

Reprint years

DOI

10.1007/bf02134290

Links

PhilArchive

Upload a copy of this work Papers currently archived: 93,296

External links

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

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Pavel Tichý, léta v emigraci 1969-1994.Jindra TichÁ - 2002 - Filosoficky Casopis 50:808-809.

Offices and God.Philip Hugly & Charles Sayward - 1990 - Sophia 29 (3):29-34.

The legacy of Pavel Tichy.P. Materna - 2002 - Filosoficky Casopis 50 (5):803-807.

Rules of existential quantification into "intensional contexts".Pavel Materna - 1997 - Studia Logica 59 (3):331-343.

An Essay in the Formal Theory of Extension and of Intension.Roman Suszko - 1967 - Studia Logica 20:7-36.

Pavel Tichý.Graham Oddie - 2010 - A Companion to Philosophy in Australia and New Zealand.

Formal theories of extension and intension of expressions.Barbara Stanosz - 1964 - Studia Logica 15 (1):48-48.

Pavel Tichy during the exile years 1969-1994.J. Ticha - 2002 - Filosoficky Casopis 50 (5):808-809.

Turing L -machines and recursive computability for L -maps.Giangiacomo Gerla - 1989 - Studia Logica 48 (2):179 - 192.

Pavel Tichý a teorie dedukce.Karel Šebela - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):66-74.

Analytics

Added to PP
2009-01-28

Downloads
5 (#1,562,871)

6 months
60 (#84,286)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.

Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrews

A New Logic of Technical Malfunction.Bjørn Jespersen & Massimiliano Carrara - 2013 - Studia Logica 101 (3):547-581.

Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.

Semantics of the Barwise sentence: insights from expressiveness, complexity and inference.Dariusz Kalociński & Michał Tomasz Godziszewski - 2018 - Linguistics and Philosophy 41 (4):423-455.

View all 22 citations / Add more citations

References found in this work

Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.

Computability & Unsolvability.Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.

Add more references