scientific article; zbMATH DE number 3557786

zbMATH Open0358.02064MaRDI QIDQ4133632FDOQ4133632

Authors: Piotr Wojtylak 

Publication date: 1977

Title of this publication is not available (Why is that?)

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
• scientific article; zbMATH DE number 844484
• A new proof of Ajtai's completeness theorem for nonstandard finite structures
• A characterization of generalized existential completions

Mathematics Subject Classification ID

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

Cited In (2)

• On structural completeness of many-valued logics
• Title not available (Why is that?)

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)