scientific article; zbMATH DE number 3910370

MaRDI QIDQ3688375zbMATH OpenFDO

Authors Siegfried J. Gottwald

Publication date 1985

zbMATH Keywords

many valued identity relations

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• An investigation into intuitionistic logic with identity
• Logics that are generated by idempotents
• scientific article; zbMATH DE number 1854033
• A simplified formalization of predicate logic with identity
• Identity in modal logic theorem proving
• scientific article; zbMATH DE number 2142927
• scientific article; zbMATH DE number 3321243
• Natural deduction systems for intuitionistic logic with identity
• scientific article; zbMATH DE number 3950491
• Logics of relative identity

Cited in

(3)

• Logics that are generated by idempotents
• Fuzzy logic and the Linz seminar: themes and some personal reminiscences
• scientific article; zbMATH DE number 3321243 (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 Q3688375)