Mixed-valued predicate calculi

Studia Logica 34 (3):215 - 234 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
23 (#584,438)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.
Logic with truth values in a linearly ordered Heyting algebra.Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):395-408.
Replacement of Auxiliary Expressions.Nelson Goodman - 1957 - Journal of Symbolic Logic 22 (3):317-318.
[Omnibus Review].William Craig - 1957 - Journal of Symbolic Logic 22 (4):360-363.

Add more references