On the definition of formal dedu

Journal of Symbolic Logic 21:129 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268751

Links

PhilArchive



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

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 the formal points of the formal topology of the binary tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
On defining the notion of complete and immediate formal grounding.Francesca Poggiolesi - 2016 - Synthese 193 (10).
Behavioural Deception and Formal Models of Communication.Gregory McWhirter - 2016 - British Journal for the Philosophy of Science 67 (3):757-780.
On constructing a logic for the notion of complete and immediate formal grounding.Francesca Poggiolesi - 2018 - Synthese 195 (3):1231-1254.
Some examples of different methods of formal proofs with generalizations of the satisfiability definition.Juliusz Reichbach - 1969 - Notre Dame Journal of Formal Logic 10 (2):214-224.
Computational Semantics with Functional Programming.Jan van Eijck - 2010 - Cambridge University Press.
Meinong's Analysis of Lying.Ursula Zegleń - 1995 - Grazer Philosophische Studien 50 (1):549-557.
Un refinamiento del concepto de sistema axiomático.José Alfredo Amor - 2003 - Signos Filosóficos 6 (11):121-140.
Definition-like Extensions by Sorts.Claudia Maria & Paulo S. Veloso - 1995 - Logic Journal of the IGPL 3 (4):579-595.
The enumerative character of Tarski's definition of truth and its general character in a Tarskian system.Bo Mou - 2001 - Synthese 126 (1-2):91 - 121.
A Quinean definition of synonymy.Peter Pagin - 2001 - Erkenntnis 55 (1):7-32.
Meinong's Analysis of Lying.Ursula Zegleń - 1995 - Grazer Philosophische Studien 50 (1):549-557.
Formal Similarities between Cybernetic Definition of Life and Cybernetic Model of Self-Consciousness: Universal Definition/Model of Individual.Bernard Korzeniewski - 2013 - Open Journal of Philosophy 3 (2):314-328.
The continuum as a formal space.Sara Negri & Daniele Soravia - 1999 - Archive for Mathematical Logic 38 (7):423-447.
Frege's definition of number.Steven Wagner - 1983 - Notre Dame Journal of Formal Logic 24 (1):1-21.

Analytics

Added to PP
2009-01-28

Downloads
78 (#208,853)

6 months
13 (#185,110)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Logic of Pragmatic Truth.Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - Journal of Philosophical Logic 27 (6):603-620.
Axiomatizing Belnap's conditional assertion.J. Michael Dunn - 1975 - Journal of Philosophical Logic 4 (4):383 - 397.

View all 10 citations / Add more citations

References found in this work

Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.

Add more references