Unification For Quantified Formulae

Abstract

— via appropriate substitutions — syntactically identical. The method can be applied directly to quantifierfree formulae and, in this paper, will b e extended in a natural and strai ghlforward way to quantified formulae.

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

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

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

State-dependent life-history equations.John M. McNamara - 1993 - Acta Biotheoretica 41 (3):165-174.
Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.Bartosz Wieckowski - unknown
MathWebSearch 0.4 A Semantic Search Engine for Mathematics.Michael Kohlhase - unknown
An alternative semantics for quantified relevant logic.Edwin D. Mares & Robert Goldblatt - 2006 - Journal of Symbolic Logic 71 (1):163-187.
The Decidability of Dependency in Intuitionistic Propositional Logi.Dick De Jongh & L. A. Chagrova - 1995 - Journal of Symbolic Logic 60 (2):498 - 504.
A Search Engine for Mathematical Formulae.Michael Kohlhase - unknown
A tableau calculus with automaton-labelled formulae for regular grammar logics.Rajeev Gore - unknown
Notes on Kant's derivation of the various formulae of the categorical imperative.R. K. Gupta - 1997 - International Journal of Philosophical Studies 5 (3):383 – 396.
Action incompleteness.Krister Segerberg - 1992 - Studia Logica 51 (3-4):533 - 550.
Theories, frameworks, and ontology.Grover Maxwell - 1962 - Philosophy of Science 29 (2):132-138.
Constructing Situations and Time.Tim Fernando - 2011 - Journal of Philosophical Logic 40 (3):371 - 396.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.

Analytics

Added to PP
2010-12-22

Downloads
48 (#332,008)

6 months
7 (#433,721)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Wilfried Sieg
Carnegie Mellon University

Citations of this work

Add more citations

References found in this work

No references found.

Add more references