Studia Logica 38 (4):317 - 335 (1979)
|Abstract||Extended algorithmic logic (EAL) as introduced in  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  but no proof of the completeness theorem was given.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Peter Milne (2004). Algebras of Intervals and a Logic of Conditional Assertions. Journal of Philosophical Logic 33 (5):497-548.
Alexej P. Pynko (2010). Many-Place Sequent Calculi for Finitely-Valued Logics. Logica Universalis 4 (1).
Rafel Farré (1993). A Transfer Theorem for Henselian Valued and Ordered Fields. Journal of Symbolic Logic 58 (3):915-930.
Ryszard Stanislaw Michalski (1978). A Planar Geometrical Model for Representing Multidimensional Discrete Spaces and Multiple-Valued Logic Functions. Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
Yining Wu, Martin Caminada & Dov M. Gabbay (forthcoming). Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming. Studia Logica.
Ivan Stojmenović (1987). Some Combinatorial and Algorithmic Problems in Many-Valued Logics. University of Novi Sad, Faculty of Science, Institute of Mathematics.
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
Helena Rasiowa (1981). On Logic of Complex Algorithms. Studia Logica 40 (3):289 - 310.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #277,406 of 556,895 )
Recent downloads (6 months)0
How can I increase my downloads?