scientific article; zbMATH DE number 4063066

MaRDI QIDQ3797162zbMATH OpenFDO

Authors Pawel Bielak

Publication date 1987

zbMATH Keywords

alternationdefinability of functionsGödel algebrasimplicationnegation

Mathematics Subject Classification ID

Intermediate logics (03B55)

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

Cited in

(1)

• scientific article; zbMATH DE number 3867294 (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 Q3797162)