Algorithmic logic. Multiple-valued extensions
Studia Logica 38 (4):317 - 335 (1979)
| Abstract | 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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesPeter 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.
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.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #277,406 of 556,895 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
