On a Formalization of the Non‐Definedness Notion

Mathematical Logic Quarterly 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

Other Versions

reprint Hoogewijs, Albert (1979) "On a Formalization of the Non-Definedness Notion". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25(13-18):213-217

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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

A formalization of the theory of sets from the point of view of combinatory logic.Edward J. Cogan - 1955 - Mathematical Logic Quarterly 1 (3):198-240.
Formalization of Leibniz's notion of existence and of God with Suszko's non-Fregean logic.Jerzy Pluta - 2009 - Bulletin of the Section of Logic 38 (3/4):135-150.
Formalization of logic.Rudolf Carnap - 1943 - Cambridge, Mass.,: Harvard university press.
On the Notion of Process.Andrzej J. Blikle - 1965 - Mathematical Logic Quarterly 11 (3):257-271.
The Notion of Logical Consequence in the Logic of Inexact Predicates.John P. Cleave - 1974 - Mathematical Logic Quarterly 20 (19‐22):307-324.
A simplified formalization of predicate logic with identity.Alfred Tarski - 1964 - Archive for Mathematical Logic 7 (1-2):61-79.
Introduction to Semantics and Formalization of Logic.Rudolf Carnap - 1959 - Harvard University Press.
On Tarski's formalization of predicate logic with identity.Donald Kalish & Richard Montague - 1965 - Archive for Mathematical Logic 7 (3-4):81-101.
Notion of Interpretation and Nonelementary Languages.Michal Krynicki - 1988 - Mathematical Logic Quarterly 34 (6):541-552.

Analytics

Added to PP
2013-11-24

Downloads
14 (#1,273,358)

6 months
4 (#1,246,333)

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