scientific article; zbMATH DE number 3557786

MaRDI QIDQ4133632zbMATH OpenFDO

Authors Piotr Wojtylak

Publication date 1977

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Logical aspects of lattices and related structures (03G10)

Recommendations

• scientific article; zbMATH DE number 1868521
• On Gentzen's structural completeness proof
• Generalizations of the Compactness Theorem and Gödel’s Completeness Theorem for Nonstandard Finite Structures
• On the completeness theorem for many-valued lattices
• Almost structural completeness; an algebraic approach
• On certain generalizations of Čech-completeness
• scientific article; zbMATH DE number 5292743
• scientific article; zbMATH DE number 844484
• A new proof of Ajtai's completeness theorem for nonstandard finite structures
• A characterization of generalized existential completions

Cited in

(2)

• On structural completeness of many-valued logics
• scientific article; zbMATH DE number 3853040 (Why is no real title available?)

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 Q4133632)