On a Formalization of the Non-Definedness Notion

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):213-217 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19790251304

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

On a Formalization of the Non‐Definedness Notion.Albert Hoogewijs - 1979 - Mathematical Logic Quarterly 25 (13‐18):213-217.
Implication and Three Types of Meaning Connection.Igor Sedlar - 2009 - Filozofia 64 (4):339-345.
Definedness.Solomon Feferman - 1995 - Erkenntnis 43 (3):295 - 320.
Limitations of formalization.Constantine Politis - 1965 - Philosophy of Science 32 (3/4):356-360.
Criteria for logical formalization.Jaroslav Peregrin & Vladimír Svoboda - 2013 - Synthese 190 (14):2897-2924.
Mathematizing Power, Formalization, and the Diagrammatical Mind or: What Does “Computation” Mean? [REVIEW]Sybille Krämer - 2014 - Philosophy and Technology 27 (3):345-357.
The Philosophical Achievement of Jacob Klein.Burt Hopkins - 2011 - New Yearbook for Phenomenology and Phenomenological Philosophy 11:282-296.
A Simple Formalization And Proof For The Mutilated Chess Board.L. Paulson - 2001 - Logic Journal of the IGPL 9 (3):475-485.
A sequence formalization for SCI.Anita Wasilewska - 1976 - Studia Logica 35 (3):213 - 217.
Formalization and the Meaning of “Theory” in the Inexact Biological Sciences.James Griesemer - 2013 - Biological Theory 7 (4):298-310.
Adequate formalization and De Morgan’s argument.Georg Brun - 2012 - Grazer Philosophische Studien 85 (1):325-335.
Merely Confused Supposition.Graham Priest & Stephen Read - 1980 - Franciscan Studies 40 (1):265-97.
Contexts, oracles, and relevance.Varol Akman & Mehmet Surav - 1995 - In Proceedings of the AAAI-95 Fall Symposium on Formalizing Context (AAAI Technical Report FS-95-02). Palo Alto, CA: Association for the Advancement of Artificial Intelligence Press. pp. 23-30.
E. full formalization of propositional logic.Rudolf Carnap - 1959 - In Introduction to Semantics and Formalization of Logic. Harvard University Press. pp. 399-406.
F. full formalization of functional logic.Rudolf Carnap - 1959 - In Introduction to Semantics and Formalization of Logic. Harvard University Press. pp. 407-426.

Analytics

Added to PP
2016-02-04

Downloads
26 (#596,950)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
Meeting of the Association for Symbolic Logic, Marseilles, 1981.J. Stern - 1983 - Journal of Symbolic Logic 48 (4):1210-1232.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references