Prefix classes of Krom formulas

&
Journal of Symbolic Logic 38 (4):628-642 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271987

Links

PhilArchive



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

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

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.
Exotic prefix theory.Harvey Friedman - manuscript
Krom formulas with one dyadic predicate letter.Harry R. Lewis - 1976 - Journal of Symbolic Logic 41 (2):341-362.
On the share of closed IL formulas which are also in GL.Vedran Čačić & Vjekoslav Kovač - 2015 - Archive for Mathematical Logic 54 (7-8):741-767.
Some interpolation theorems for first-order formulas in which all disjunctions are binary.M. R. Krom - 1968 - Logique Et Analyse 43 (196):8.
Natural language, sortal reducibility and generalized quantifiers.Edward L. Keenan - 1993 - Journal of Symbolic Logic 58 (1):314-325.
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.
Theory discovery from data with mixed quantifiers.Kevin T. Kelly & Clark Glymour - 1990 - Journal of Philosophical Logic 19 (1):1 - 33.
Modal horn classes.Holger Sturm - 2000 - Studia Logica 64 (3):301-313.
The decision problem for formulas in prenex conjunctive normal form with binary disjunctions.M. R. Krom - 1970 - Journal of Symbolic Logic 35 (2):210-216.
The Decision Problem for a Class of First-Order Formulas in Which all Disjunctions are Binary.M. R. Krom - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (1-2):15-20.
Being low along a sequence and elsewhere.Wolfgang Merkle & Liang Yu - 2019 - Journal of Symbolic Logic 84 (2):497-516.
Translations of Logical Formulas and the Equiconsistency Problem.Andrei A. Kuzichev - 1994 - Mathematical Logic Quarterly 40 (1):44-50.
Ways of branching quantifers.Gila Sher - 1990 - Linguistics and Philosophy 13 (4):393 - 422.
Recursive Solvability of Problems with Matrices.Melven Krom & Myren Krom - 1989 - Mathematical Logic Quarterly 35 (5):437-442.

Analytics

Added to PP
2009-01-28

Downloads
51 (#305,341)

6 months
20 (#125,481)

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

Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.
The Decision Problem for a Class of First-Order Formulas in Which all Disjunctions are Binary.M. R. Krom - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (1-2):15-20.
The Mathematical Theory of Context Free Languages.Seymour Ginsburg - 1968 - Journal of Symbolic Logic 33 (2):300-301.

Add more references