Semi-conservative reduction
From MaRDI portal
Publication:4120563
DOI10.1007/BF02007254zbMATH Open0351.02011OpenAlexW2032457623MaRDI QIDQ4120563FDOQ4120563
Publication date: 1976
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137924
Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) General logic (03B99)
Cites Work
Cited In (5)
- Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten
- Existential interpretation. II
- Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen
- Prefix classes of krom formulae with identity
- Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen
This page was built for publication: Semi-conservative reduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4120563)
