scientific article; zbMATH DE number 3792135

MaRDI QIDQ3968906zbMATH OpenFDO

Authors A. A. Zinoviev

Publication date 1983

zbMATH Keywords

external negationinternal negationtheory of quantifiersZinovievs theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80) Structure of proofs (03F07)

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