Algorithmic logic. Multiple-valued extensions

DOI10.1007/BF00370471MaRDI QIDQ1155047zbMATH OpenOpenAlexFDO

Authors Helena Rasiowa

Publication date 1979

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00370471

zbMATH Keywords

stackscompleteness theoremrecursive proceduresgeneralized Post algebrascontrol systems of pushdown algorithmsextended algorithmic logic

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Other nonclassical logic (03B60) Many-valued logic (03B50) Abstract data types; algebraic specification (68Q65) Algorithms in computer science (68W99) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Cites work

• scientific article; zbMATH DE number 3686774 (Why is no real title available?)
• scientific article; zbMATH DE number 3490448 (Why is no real title available?)
• scientific article; zbMATH DE number 3530947 (Why is no real title available?)
• scientific article; zbMATH DE number 3530948 (Why is no real title available?)
• scientific article; zbMATH DE number 3532507 (Why is no real title available?)
• scientific article; zbMATH DE number 3558939 (Why is no real title available?)
• scientific article; zbMATH DE number 3558940 (Why is no real title available?)
• scientific article; zbMATH DE number 3564312 (Why is no real title available?)
• scientific article; zbMATH DE number 3600010 (Why is no real title available?)
• scientific article; zbMATH DE number 3436613 (Why is no real title available?)
• scientific article; zbMATH DE number 3436614 (Why is no real title available?)
• scientific article; zbMATH DE number 3206304 (Why is no real title available?)
• scientific article; zbMATH DE number 3305014 (Why is no real title available?)
• Algorithmic properties of structures

Cited in

(3)

• On logic of complex algorithms
• Post algebras in the work of Helena Rasiowa
• Algebraic structures in fuzzy logic

This page was built for publication: Algorithmic logic. Multiple-valued extensions

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