Algorithmic logic. Multiple-valued extensions
Copyright policy )Algorithmic logic. Multiple-valued extensions
Extended algorithmic logic (EAL) as introduced in [18] is a modified version of extended ω+-valued algorithmic logic. Only two-valued predicates and two-valued propositional variables occur in EAL. The role of the ω+-valued logic is restricted to construct control systems (stacks) of pushdown algorithms whereas their actions are described by means of the two-valued logic. Thus EAL formalizes a programming theory with recursive procedures but without the instruction CASE. The aim of this paper is to discuss EAL and prove the completeness theorem. A complete formalization of EAL was announced in [20] but no proof of the completeness theorem was given.
- University of Warsaw Poland
General topics in the theory of software, Other nonclassical logic, control systems of pushdown algorithms, recursive procedures, generalized Post algebras, stacks, Logical aspects of Łukasiewicz and Post algebras, Many-valued logic, extended algorithmic logic, Algorithms in computer science, completeness theorem, Abstract data types; algebraic specification
General topics in the theory of software, Other nonclassical logic, control systems of pushdown algorithms, recursive procedures, generalized Post algebras, stacks, Logical aspects of Łukasiewicz and Post algebras, Many-valued logic, extended algorithmic logic, Algorithms in computer science, completeness theorem, Abstract data types; algebraic specification
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).4 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!