scientific article; zbMATH DE number 3271481

MaRDI QIDQ5556404zbMATH OpenFDO

Authors Melven R. Krom

Publication date 1968

zbMATH Keywords

algebraic logicmodel theory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• An Interpolation Theorem for First Order Logic with Infinitary Predicates
• Interpolation in extensions of first-order logic
• Generalized interpolation in first order logic
• An interpolation theorem in many-valued logic
• scientific article; zbMATH DE number 1369670
• First-order interpolation of non-classical logics derived from propositional interpolation
• Coinductive formulas and a many-sorted interpolation theorem
• First-order interpolation and interpolating proof systems
• Interpolation and the Robinson property for logics not closed under the Boolean operations
• Interpolation theorems for intuitionistic predicate logic

Cited in

(1)

• Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen

This page was built for publication:

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