Unspecified constants in predicate calculus and first-order theories

Logique Et Analyse 20 (79):229 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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 complete axiom system for polygonal mereotopology of the real plane.Ian Pratt & Dominik Schoop - 1998 - Journal of Philosophical Logic 27 (6):621-658.
Some results on Jaśkowski’s discursive logic.Lafayette De Moraes & Jair Minoro Abe - 2001 - Logic and Logical Philosophy 9:25.
Complete problems in the first-order predicate calculus.David A. Plaisted - 1979 - Urbana, Ill.: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
A new formulation of discussive logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
Probability: A new logico-semantical approach. [REVIEW]Christina Schneider - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (1):107 - 124.
Attributive adjectives and the predicate calculus.Hanoch Ben-Yami - 1996 - Philosophical Studies 83 (3):277 - 289.
First order mathematical logic.Angelo Margaris - 1967 - New York: Dover Publications.
The statistical estimation of provability in the first order predicate calculus.S. Christiaan van Westrhenen - 1969 - [Eindhoven,: Technische Hogeschool (Inslindelaan 2).
Interpretation of Mathematical Theories in the First Order Predicate Calculus.Thoralf Skolem - 1961 - In Selected Works in Logic. Universitetsforlaget. pp. 673--80.
Logical Constants.K. Warmbrõd - 1999 - Mind 108 (431):503 - 538.
Logical constants.J. A. Chadwick - 1927 - Mind 36 (141):1-11.
Systems of illative combinatory logic complete for first-order propositional and predicate calculus.Henk Barendregt, Martin Bunder & Wil Dekkers - 1993 - Journal of Symbolic Logic 58 (3):769-788.
The predicate calculus with extra-logical constants as an instrument of semantic description.Olgierd Adrian Wojtasiewicz - 1978 - Studia Logica 37 (1):103 - 114.
Reasoning about actions and obligations in first-order logic.Gert -Jan C. Lokhorst - 1996 - Studia Logica 57 (1):221 - 237.
The modal object calculus and its interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references