Interactive realizations of logical formulas

DOI10.20537/VM160204zbMATH Open1396.03084OpenAlexW2489543925MaRDI QIDQ5266477FDOQ5266477

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

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

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)

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)