scientific article; zbMATH DE number 3609663

MaRDI QIDQ4175556zbMATH OpenFDO

Authors Ants Tauts

Publication date 1976

zbMATH Keywords

generalization of intuitionistic logicLorentzen-like gamerelative consistency and interpretations

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25)

Cited in

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