scientific article; zbMATH DE number 3609662

zbMATH Open0393.03039MaRDI QIDQ4175555

Ants Tauts

Publication date: 1976

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

zbMATH Keywords

generalization of intuitionistic logicLorentzen-like gamerelative consistency and interpretations

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25)

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