A felicitous fragment of the predicate calculus

Notre Dame Journal of Formal Logic 14 (4):433-447 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891098

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

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 calculus of substitutions for DPL.C. Vermeulen - 2001 - Studia Logica 68 (3):357-387.
Complete problems in the first-order predicate calculus.David A. Plaisted - 1979 - Urbana, Ill.: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
Automatic proofs for theorems on predicate calculus.Sueli Mendes dos Santos - 1972 - [Rio de Janeiro,: Pontificia Universidade Católica do Rio de Janeiro]. Edited by Marilia Rosa Millan.
The statistical estimation of provability in the first order predicate calculus.S. Christiaan van Westrhenen - 1969 - [Eindhoven,: Technische Hogeschool (Inslindelaan 2).
On modal μ -calculus and gödel-löb logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145 - 169.
Inferentializing consequence.Jaroslav Peregrin - unknown
Predicate provability logic with non-modalized quantifiers.Giorgie Dzhaparidze - 1991 - Studia Logica 50 (1):149 - 160.
The abstract variable-binding calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.
Wittgensteinian Predicate Logic.Kai F. Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.
Countable model theory and large cardinals.Harvey Friedman - manuscript
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
A new formulation of discussive logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
Cartesian analyticity.Jesús A. Díaz - 1988 - Southern Journal of Philosophy 26 (1):47-55.

Analytics

Added to PP
2010-08-24

Downloads
24 (#677,847)

6 months
9 (#355,912)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Philosophy, Drama and Literature.Rick Benitez - 2011 - In Graham Robert Oppy, Nick Trakakis, Lynda Burns, Steven Gardner & Fiona Leigh (eds.), A companion to philosophy in Australia & New Zealand. Clayton, Victoria, Australia: Monash University Publishing. pp. 371-372.

Add more citations

References found in this work

No references found.

Add more references