Logics of conditional computations with errors

DOI10.21146/2074-1472-2025-31-1-24-46MaRDI QIDQ6946023zbMATH OpenFDO

Authors Nikolay N. Nepeivoda

Publication date 7 August 2025

Published in Logicheskie Issledovaniya (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

zbMATH Keywords

completenesserror handlingfour-valued logicsconditional operatorsKleene logicsGödel logiccomputation strategies\textbf{Ł}\(_3\)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• scientific article; zbMATH DE number 3073052 (Why is no real title available?)
• Distributed systems. Principles and paradigms.
• Functional interdependence of regular Kleene logics
• Higher-order recursion schemes and their automata models
• Implicative extensions of regular Kleene logics
• Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Three-valued paraconsistent propositional logics

This page was built for publication: Logics of conditional computations with errors

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