Special Issue on Admissible Rules and Unification

Notre Dame Journal of Formal Logic 57 (4):441-442 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,462

External links

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

Through your library

Similar books and articles

Admissible rules, derivable rules, and extendible logistic systems.Howard C. Wasserman - 1974 - Notre Dame Journal of Formal Logic 15 (2):265-278.
Introduction to Special Issue on George S. Boolos.Michael Detlefsen - 1999 - Notre Dame Journal of Formal Logic 40 (1):1-2.
A Syntactic Approach to Unification in Transitive Reflexive Modal Logics.Rosalie Iemhoff - 2016 - Notre Dame Journal of Formal Logic 57 (2):233-247.
Rules and Arithmetics.Albert Visser - 1999 - Notre Dame Journal of Formal Logic 40 (1):116-140.
BCK is not Structurally Complete.Tomasz Kowalski - 2014 - Notre Dame Journal of Formal Logic 55 (2):197-204.
Intermediate Logics and Visser's Rules.Rosalie Iemhoff - 2005 - Notre Dame Journal of Formal Logic 46 (1):65-81.
Introduction to the Special Issue on Vaught's Conjecture.Peter Cholak - 2007 - Notre Dame Journal of Formal Logic 48 (1):1-2.
Next "p" admissible sets are of cofinality.Judy Green - 1977 - Notre Dame Journal of Formal Logic 18:175.
Admissible sets and recursive equivalence types.Carl E. Bredlau - 1979 - Notre Dame Journal of Formal Logic 20 (2):355-365.
A note on "P"-admissible sets with urelements.Judy Green - 1975 - Notre Dame Journal of Formal Logic 16:415.

Analytics

Added to PP
2016-10-26

Downloads
26 (#724,183)

6 months
2 (#1,696,188)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Rosalie Iemhoff
Utrecht University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references