Unity in nominal equational reasoning: The algebra of equality on nominal sets

Journal of Applied Logic 10 (2):199-217 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2012.03.001

Links

PhilArchive



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

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

Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free.Murdoch J. Gabbay - 2012 - Journal of Symbolic Logic 77 (3):828-852.
The ineliminability of non-nominal quantification.David Dolby - unknown
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques (vol 8, pg 769, 2010). [REVIEW]Gilles Dowek, Murdoch J. Gabbay & Dominic Mulligan - 2012 - Logic Journal of the IGPL 20 (1):769-822.
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques.Gilles Dowek, Murdoch J. Gabbay & Dominic P. Mulligan - 2010 - Logic Journal of the IGPL 18 (6):769-822.
Positional constraints and faithfulness in morphology.Peter Sells - manuscript
Gender mismatches under nominal ellipsis.Jason Merchant - unknown
Completeness and Herbrand Theorems for Nominal Logic.James Cheney - 2006 - Journal of Symbolic Logic 71 (1):299 - 320.
Nominal definition in the writings of Ibn taymiyya.Sobhi Rayan - 2009 - International Studies in the Philosophy of Science 23 (2):123 – 141.
The Distinction between Nominal and Infinitival Existence in Mulla Sadra and its Philosophical Functions.Muhammed Mehr & Siyavash Asadi - 2012 - Kheradnameh Sadra Quarterly 67.
Equality Algebras.Sándor Jenei - 2012 - Studia Logica 100 (6):1201-1209.
Variation in English and German nominal coreference: a study of political essays.Kerstin Anna Kunz - 2010 - New York: Peter Lang.
Review: Omar Khayyam Moore, Nominal Definitions of `Culture.'; T. Foster Lindley, Moore's Nominal Definitions of `Culture.'; Omar Khayyam Moore, Dr. Lindley and "Nominal Definitions of `Culture'". [REVIEW]Alonzo Church - 1959 - Journal of Symbolic Logic 24 (1):85-86.
Nominal Thematic Proto-Roles.Chris Barker & David Dowty - unknown
‘That’-Clauses and Non-nominal Quantification.Tobias Rosefeldt - 2008 - Philosophical Studies 137 (3):301 - 333.
Essentialism and semantic theory in Aristotle: Posterior analytics, II, 7-10.Robert Bolton - 1976 - Philosophical Review 85 (4):514-544.

Analytics

Added to PP
2016-06-30

Downloads
9 (#1,253,837)

6 months
1 (#1,471,470)

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

Add more references