Algorithmic Logic

Journal of Symbolic Logic 54 (3):1105-1106 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274777

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: G. Mirkowska, A. Salwicki, Algorithmic Logic. [REVIEW]E. Engler - 1989 - Journal of Symbolic Logic 54 (3):1105-1106.
The program-substitution in algorithmic logic and algorithmic logic with non-deterministic programs.Andrzej Biela - 1984 - Bulletin of the Section of Logic 13 (2):69-72.
Mirkowska G. and Salwicki A.. Algorithmic logic. D. Reidel Publishing Company, Dordrecht etc., and PWN-Polish Scientific Publishers, Warsaw, 1987, xi+ 372 pp. [REVIEW]E. Engeler - 1989 - Journal of Symbolic Logic 54 (3):1105-1106.
Review: A. Salwicki, Formalized Algorithmic Languages; A. Salwicki, On the Equivalence of FS-Expressions and Programs; A. Salwicki, On the Predicate Calculi with Iteration Quantifiers. [REVIEW]E. Engeler - 1974 - Journal of Symbolic Logic 39 (2):349-350.
Review: E. Engeler, Algorithmic Logic. [REVIEW]Andrzej Salwicki - 1977 - Journal of Symbolic Logic 42 (3):420-421.
Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
On logic of complex algorithms.Helena Rasiowa - 1981 - Studia Logica 40 (3):289 - 310.
Formalized Algorithmic Languages.A. Salwicki - 1974 - Journal of Symbolic Logic 39 (2):349-350.
Algorithmic randomness and measures of complexity.George Barmpalias - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Is Evolution Algorithmic?Marcin Miłkowski - 2009 - Minds and Machines 19 (4):465-475.
Algorithmic information theory.Michiel van Lambalgen - 1989 - Journal of Symbolic Logic 54 (4):1389-1400.
The application of algorithmic information theory to noisy patterned strings.Sean Devine - 2006 - Complexity 12 (2):52-58.
Ternary Operations as Primitive Notions for Constructive Plane Geometry IV.Victor Pambuccian - 1994 - Mathematical Logic Quarterly 40 (1):76-86.
On algorithmic M-valued logic.Eleonora Perkowska - 1972 - Bulletin of the Section of Logic 1 (3):228-37.
From the Closed Classical Algorithmic Universe to an Open World of Algorithmic Constellations.Mark Burgin & Gordana Dodig-Crnkovic - 2013 - In Gordana Dodig-Crnkovic Raffaela Giovagnoli (ed.), Computing Nature. pp. 241--253.

Analytics

Added to PP
2015-02-05

Downloads
3 (#1,682,188)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

No references found.

Add more references