Interactive realizations of logical formulas

DOI10.20537/VM160204MaRDI QIDQ5266477zbMATH OpenOpenAlexFDO

Authors Anatoly Petrivich Beltiukov

Publication date 6 June 2017

Published in Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki (Search for Journal in Brave)

Full work available at URL http://mathnet.ru/eng/vuu529

zbMATH Keywords

realizationunderstandinglogical formulascounteraction

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Complexity of computation (including implicit computational complexity) (03D15) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• scientific article; zbMATH DE number 3959422
• scientific article; zbMATH DE number 16511
• From truth to computability. I.
• scientific article; zbMATH DE number 4004179
• scientific article; zbMATH DE number 1948155

Cited in

(1)

• Interactive Logical Structures

This page was built for publication: Interactive realizations of logical formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5266477)