Algorithmic logic. Multiple-valued extensions

DOI10.1007/BF00370471zbMATH Open0466.03009OpenAlexW2028110794MaRDI QIDQ1155047FDOQ1155047

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

• Title not available (Why is that?)
• Algorithmic properties of structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)