Works by Andrzej Biela

( view other items matching `Andrzej Biela`, view all matches )
Order:
  1.  23
    On lindenbaum's extensions.Andrzej Biela & Teodor Stepien - 1975 - Bulletin of the Section of Logic 4 (2):65-69.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  22
    On two properties of structurally complete logics.Andrzej Biela & Wies law Dziobiak - 1982 - Bulletin of the Section of Logic 11 (3/4):154-158.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  53
    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.
    This note presents a point of view upon the notions of programsubstitution which are the tools for proving properties of programs of algorithmic logics [5], [3] being sufficiently strong and universal to comprise almost all previously introduced theories of programming, and the so-called extended algorithmic logic [1], [2] and algorithmic logic with nondeterministic programs [4]. It appears that the mentioned substitution rule allows us to examine more deeply algorithmic properties of terms, formulas and programs. Besides the problem of Post-completeness and (...)
    Direct download  
     
    Export citation  
     
    Bookmark