Algebraic Characterizations of the Satisfiability of First‐Order Logical Formulas and the Halting of Programs

Mathematical Logic Quarterly 23 (7‐12):111-120 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1977

DOI

10.1002/malq.19770230704

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

Algebraic Characterizations of the Satisfiability of First-Order Logical Formulas and the Halting of Programs.Jean-Pierre Bénéjam - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):111-120.
An Omitting Types Theorem for first order logic with infinitary relation symbols.Tarek Sayed Ahmed & Basim Samir - 2007 - Mathematical Logic Quarterly 53 (6):564-570.
First-Order Formulas in Conjunctive Quantificational Form.Hans Büning - 1988 - Mathematical Logic Quarterly 34 (1):53-64.
First‐Order Formulas in Conjunctive Quantificational Form.Hans Kleine Büning & Theodor Lettmann - 1988 - Mathematical Logic Quarterly 34 (1):53-64.
On Generalization of the Satisfiability Definition and Proof Rules With Remarks to my Paper: On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1962 - Mathematical Logic Quarterly 8 (3‐4):267-276.
On Generalization of the Satisfiability Definition and Proof Rules With Remarks to my Paper: On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1962 - Mathematical Logic Quarterly 8 (3-4):267-276.
The Decision Problem for a Class of First‐Order Formulas in Which all Disjunctions are Binary.M. R. Krom - 1967 - Mathematical Logic Quarterly 13 (1‐2):15-20.
Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable.Ian Pratt-Hartmann - 2018 - Mathematical Logic Quarterly 64 (3):218-248.
The two‐variable fragment with counting and equivalence.Ian Pratt-Hartmann - 2015 - Mathematical Logic Quarterly 61 (6):474-515.
Corrigendum to "Kripke-style semantics for many-valued logics".Franco Montagna & Lorenzo Sacchetti - 2004 - Mathematical Logic Quarterly 50 (1):104.

Analytics

Added to PP
2013-12-01

Downloads
3 (#1,733,782)

6 months
3 (#1,208,833)

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