Model existence theorem in algorithmic logic with non-deterministic programs¹

Article type: Research Article

Authors: Mirkowska, Grażyna

Affiliations: University of Warsaw

Note: [1] This research was partially supported by Polish Academy of Sciences under contract MI.3/04.7.1.

Abstract: The paper is a continuation of the considerations connected with non-deterministic algorithmic logic. We will formulate a Hilbert style axiomatization basing on the analogous one defined for algorithmic logic. The main result is the theorem asserting that every consistent non-deterministic algorithmic theory possesses a model.

Keywords: algorithmic logic, deterministic algorithmic logic, non-deterministic algorithmic logic

DOI: 10.3233/FI-1980-3205

Journal: Fundamenta Informaticae, vol. 3, no. 2, pp. 157-170, 1980