Journal of Symbolic Logic 61 (2):608-620 (1996)
In the predicate calculus, variables provide a flexible indexing service which selects the actual arguments to a predicate letter from among possible arguments that precede the predicate letter (in the parse of the formula). In the process of selection, the possible arguments can be permuted, repeated (used more than once), and skipped. If this service is withheld, so that arguments must be the immediately preceding ones, taken in the order in which they occur, the formula is said to be fluted. Quine showed that if a fluted formula contains only homogeneous conjunction (conjoins only subformulas of equal arity), then the satisfiability of the formula is decidable. It remained an open question whether the satisfiability of a fluted formula without this restriction is decidable. This paper answers that question
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Predicate-Functors and the Limits of Decidability in Logic.Aris Noah - 1980 - Notre Dame Journal of Formal Logic 21 (4):701-707.
A Logic for Natural Language.William C. Purdy - 1991 - Notre Dame Journal of Formal Logic 32 (3):409-425.
Citations of this work BETA
Axiomatizing the Monodic Fragment of First-Order Temporal Logic.Frank Wolter & Michael Zakharyaschev - 2002 - Annals of Pure and Applied Logic 118 (1-2):133-145.
Similar books and articles
Decidability of Fluted Logic with Identity.William C. Purdy - 1996 - Notre Dame Journal of Formal Logic 37 (1):84-104.
Decidable and Enumerable Predicate Logics of Provability.Giorgie Dzhaparidze - 1990 - Studia Logica 49 (1):7 - 21.
Conservative Reduction Classes of Krom Formulas.Stål O. Aanderaa, Egon Börger & Harry R. Lewis - 1982 - Journal of Symbolic Logic 47 (1):110-130.
Decidable Fragments of First-Order Modal Logics.Frank Wolter & Michael Zakharyaschev - 2001 - Journal of Symbolic Logic 66 (3):1415-1438.
On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic.Andrew M. Pitts - 1992 - Journal of Symbolic Logic 57 (1):33-52.
Local-Global Properties of Positive Primitive Formulas in the Theory of Spaces of Orderings.M. Marshall - 2006 - Journal of Symbolic Logic 71 (4):1097 - 1107.
Uniqueness of Normal Proofs of Minimal Formulas.Makoto Tatsuta - 1993 - Journal of Symbolic Logic 58 (3):789-799.
Added to index2009-01-28
Total downloads62 ( #79,944 of 2,132,955 )
Recent downloads (6 months)1 ( #387,667 of 2,132,955 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.