Algorithmic logic. Multiple-valued extensions

DOI10.1007/BF00370471zbMath0466.03009OpenAlexW2028110794MaRDI QIDQ1155047

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

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

Related Items

Post Algebras in the Work of Helena Rasiowa ⋮ On logic of complex algorithms ⋮ Algebraic structures in fuzzy logic

Cites Work

• Algorithmic properties of structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item