论文信息 - On the Logic of Incomplete Transformation - 字舞流文

On the Logic of Incomplete Transformation

Witold Lipski | W. Lipski

[1] Victor W. Marek,et al. Information Storage and Retrieval Systems: Mathematical Foundations , 1976, Theor. Comput. Sci..

[2] Richard M. Karp,et al. A n^5/2 Algorithm for Maximum Matchings in Bipartite Graphs , 1971, SWAT.

[3] Witold Lipski,et al. On information storage and retrieval systems , 1977 .

[4] Witold Lipski,et al. Informational Systems with Incomplete Information , 1976, ICALP.

[5] Petr Hájek,et al. Automatic listing of important observational statements. II , 1973, Kybernetika.

[6] Petr Hájek,et al. The GUHA method and the three-valued logic , 1971, Kybernetika.

[7] Saul A. Kripke,et al. Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[8] R. Sikorski,et al. The mathematics of metamathematics , 1963 .

[9] Saul A. Kripke. The Undecidability of Monadic Modal Quantification Theory , 1962 .

[10] P. Hall. On Representatives of Subsets , 1935 .