Hallden incomplete calculus of names

Buletin of the Section of Logic 39 (1/2):53-55 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive

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

An Axiomatisation of a Pure Calculus of Names.Piotr Kulicki - 2012 - Studia Logica 100 (5):921-946.
Reism and Le'sniewski's Ontology.Jan Woleński - 1986 - History and Philosophy of Logic 7 (2):167-176.
A question concerning a logical calculus related to Lewis' System of strict implication, which is of special interest for the study of entailment.Sören Halldén - 1948 - Theoria 14 (3):265-269.
Empty names and `gappy' propositions.Anthony Everett - 2003 - Philosophical Studies 116 (1):1-36.
Evidentiary value: philosophical, judicial, and psychological aspects of a theory: essays dedicated to Sören Halldén on his sixtieth birthday.Peter Gärdenförs, Bengt Hansson, Nils-Eric Sahlin & Sören Halldén (eds.) - 1983 - Lund: C.W.K. Gleerups.
The origin of relation algebras in the development and axiomatization of the calculus of relations.Roger D. Maddux - 1991 - Studia Logica 50 (3-4):421 - 455.
The λ-calculus is ω-incomplete.G. D. Plotkin - 1974 - Journal of Symbolic Logic 39 (2):313-317.
S. leśniewski's calculus of names.Jerzy Słupecki - 1955 - Studia Logica 3 (1):7-72.
On some Kripke complete and Kripke incomplete intermediate predicate logics.Dmitrij Skvortsov - 1998 - Studia Logica 61 (2):281-292.
The systems of modal calculus of names. I.Swietłana Lebiediewa - 1969 - Studia Logica 24 (1):83-104.
The systems of modal calculus of names. II.Swietłana Lebiediewa - 1969 - Studia Logica 25 (1):79 - 96.
Models for inconsistent and incomplete differential calculus.Chris Mortensen - 1990 - Notre Dame Journal of Formal Logic 31 (2):274-285.
Proof of decidability of the traditional calculus of names.Bogusław Iwanuś - 1973 - Studia Logica 32 (1):131 - 147.

Analytics

Added to PP
2013-10-27

Downloads
231 (#86,939)

6 months
44 (#94,058)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Piotr Kulicki
John Paul II Catholic University of Lublin

Citations of this work

No citations found.

Add more citations

References found in this work

Uwagi o Sylogistyce Arystotelesa.Jerzy Slupecki - 1948 - Journal of Symbolic Logic 13 (3):166-166.

Add more references