scientific article; zbMATH DE number 6139995

zbMATH Open1275.03112MaRDI QIDQ4906893FDOQ4906893

Authors:

Publication date: 28 February 2013

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

Recommendations

• scientific article; zbMATH DE number 1406469
• The Gödel-Tarski translations of intuitionistic propositional formulas
• scientific article; zbMATH DE number 5081354
• scientific article; zbMATH DE number 107689
• Interpreting Gödel. Critical essays
• Interpreting Gödel
• scientific article; zbMATH DE number 4170862
• Gödel and intuitionism
• scientific article; zbMATH DE number 517058
• scientific article; zbMATH DE number 922632

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Logic in artificial intelligence (68T27)

Cited In (2)

• MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
• 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 Q4906893)