scientific article; zbMATH DE number 4021104

zbMATH Open0628.03011MaRDI QIDQ3764129FDOQ3764129

Authors: Valentin Goranko 

Publication date: 1987

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

Recommendations

• Many-Valued Logics and Translations
• Metalogic of intuitionistic propositional calculus
• Publication:4204133
• Syntax and semantics of superintuitionistic logics
• scientific article; zbMATH DE number 4101146

zbMATH Keywords

superintuitionistic logicintuitionistic propositional calculusm-valued propositional calculusreversible syntactic and semantic translation

Mathematics Subject Classification ID

Many-valued logic (03B50) Intermediate logics (03B55)

Cited In (4)

• Title not available (Why is that?)
• Semantical analysis of superrelevant predicate logics with quantification
• Synthesis of sup-interpretations: a survey
• Many-Valued Logics and Translations

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