Finite models for inequations

DOI10.2307/2269694MaRDI QIDQ5586256zbMATH OpenOpenAlexFDO

Authors M. D. Gladstone

Publication date 1966

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2269694

zbMATH Keywords

algebraic logic, model theory

Cited in

(2)

• Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten
• Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen

This page was built for publication: Finite models for inequations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5586256)