Order:
Disambiguations
Wiktor Marek [12]W. Marek [7]Woszczek Marek [1]
  1.  19
    Gaps in the contructable universe.W. Marek & M. Srebrny - 1974 - Annals of Mathematical Logic 6 (3-4):359-394.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2. Observations concerning elementary extensions of ω-models. II.W. Marek - 1973 - Journal of Symbolic Logic 38 (2):227-231.
  3.  17
    On Some σ‐Algebras Containing the Projective Sets I.C. A. di Prisco & Wiktor Marek - 1982 - Mathematical Logic Quarterly 28 (33‐38):525-538.
  4.  28
    On Some σ-Algebras Containing the Projective Sets I.C. A. di Prisco & Wiktor Marek - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):525-538.
  5.  4
    Elementy logiki i teorii mnogości w zadaniach.Wiktor Marek - 1975 - Warszawa: Państwowe Wydawn. Naukowe. Edited by Janusz Onyszkiewicz.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  18
    How complicated is the set of stable models of a recursive logic program?W. Marek, A. Nerode & J. Remmel - 1992 - Annals of Pure and Applied Logic 56 (1-3):119-135.
    Gelfond and Lifschitz proposed the notion of a stable model of a logic program. We establish that the set of all stable models in a Herbrand universe of a recursive logic program is, up to recursive renaming, the set of all infinite paths of a recursive, countably branching tree, and conversely. As a consequence, the problem, given a recursive logic program, of determining whether it has at least one stable model, is Σ11-complete. Due to the equivalences established in the authors' (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  14
    J. R. Shilleto. Minimum models of analysis. The journal of symbolic logic, vol. 37 , pp. 48–54.Wiktor Marek - 1974 - Journal of Symbolic Logic 39 (3):601.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  11
    Leibniz'series and the problem of dynamics in the quantization of gravity (serie leibniza I problem dynamiki W kwantowaniu grawitacji).Woszczek Marek - 2011 - Filozofia Nauki 19 (2 (74)):41-62.
  9.  4
    Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop.Wiktor Marek, Anil Nerode, V. S. Subrahmanian & Association for Logic Programming - 1991 - MIT Press (MA).
    The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  7
    No minimal transitive model of Z−.W. Marek & M. Srebrny - 1975 - Mathematical Logic Quarterly 21 (1):225-228.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  7
    Andrzej Mostowski and foundational studies.Andrzej Mostowski, Andrzej Ehrenfeucht, Wiktor Marek & Marian Srebrny (eds.) - 2008 - Amsterdam: IOS Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  32
    In memory of Andrzej Mostowski.Helena Rasiowa & Wiktor Marek - 1977 - Studia Logica 36 (1-2):1 - 8.
  13.  12
    E. J. Neuhold. Formal properties of data bases. Foundations of computer science, edited by J. W. de Bakker, Mathematical Centre Tracts 63, Mathematisch Centrum, Amsterdam1975, pp. 119–177. [REVIEW]Wiktor Marek - 1977 - Journal of Symbolic Logic 42 (3):421-422.
  14.  6
    Review: E. J. Neuhold, Formal Properties of Data Base. [REVIEW]Wiktor Marek - 1977 - Journal of Symbolic Logic 42 (3):421-422.
  15.  8
    Review: J. R. Shilleto, Minimum Models of Analysis. [REVIEW]Wiktor Marek - 1974 - Journal of Symbolic Logic 39 (3):601-601.