scientific article; zbMATH DE number 4063066

zbMATH Open0652.03013MaRDI QIDQ3797162FDOQ3797162

Authors: Pawel Bielak 

Publication date: 1987

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

Recommendations

• scientific article; zbMATH DE number 3867294
• scientific article; zbMATH DE number 4143949
• scientific article; zbMATH DE number 3875241
• On extensions of intermediate logics by strong negation
• scientific article; zbMATH DE number 1980925
• Characterizations of negative definability in modal logic
• Decision problems of some intermediate logics and their fragments
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• Completeness of intermediate logics with doubly negated axioms
• On two fragments with negation and without implication of the logic of residuated lattices

zbMATH Keywords

negationimplicationalternationdefinability of functionsGödel algebras

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited In (1)

• 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 Q3797162)