scientific article; zbMATH DE number 3609663

zbMATH Open0393.03040MaRDI QIDQ4175556

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)

Related Items (1)

Soundness of abductive proof procedure with respect to constraint for non-ground abducibles

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