Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Jan Kalicki"'
Autor:
Jan Kalicki, Monika Mitew-Czajewska
Publikováno v:
Archives of Civil Engineering, Vol vol. 68, Iss No 4, Pp 63-76 (2022)
The technology of single bore multiple anchor is well known and mainly used as a method of providing support for retaining walls of deep excavations in weak soils. Multiple fixed lengths in a single borehole is a major difference to conventional anch
Externí odkaz:
https://doaj.org/article/31dcb41adfdb4799950f770549aef269
Publikováno v:
Mutual Security ISBN: 9780333546741
Mutual Security
Mutual Security
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ab2460016a2e8a16b6747f68c118bb3a
https://doi.org/10.1007/978-1-349-21208-8_19
https://doi.org/10.1007/978-1-349-21208-8_19
Autor:
Jan Kalicki
Publikováno v:
Journal of Symbolic Logic. 19:172-176
In a previous paper I have described a decision method for testing whether or not two arbitrary finite truth-tables are “equal”, i.e., determine the same set of tautologies. The same problem for the case of infinite truth-tables remained open.In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5d329e36f96700ef7ba3b8b403eacd54
https://doi.org/10.2307/2268614
https://doi.org/10.2307/2268614
Autor:
Jan Kalicki, Dana Scott
Publikováno v:
Indagationes Mathematicae (Proceedings). 58:650-659
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c8dd1fd997ae6497bdd60e8ccc6a687a
https://doi.org/10.1016/s1385-7258(55)50089-8
https://doi.org/10.1016/s1385-7258(55)50089-8
Autor:
Jan Kalicki
Publikováno v:
Journal of Symbolic Logic. 16:59-61
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::16ef9a428a6efa28ac24f7e7ca8da3cb
https://doi.org/10.2307/2268677
https://doi.org/10.2307/2268677
Autor:
Jan Kalicki
Publikováno v:
Indagationes Mathematicae (Proceedings). 58:660-662
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5e7e16a8c6a2b2f1ebcf07cedca347d8
https://doi.org/10.1016/s1385-7258(55)50090-4
https://doi.org/10.1016/s1385-7258(55)50090-4
Autor:
Jan Kalicki
Publikováno v:
Journal of Symbolic Logic. 15:182-184
Theorem. There is an effective procedure to decide whether the set of tautologies determined by a given truth-table with a finite number of elements is empty or not.Proof. Let W(P) be a w.f.f. with a single variable P and n a given n-valued truth-tab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e50060317c327170e5ee4cccb4bed64
https://doi.org/10.2307/2266783
https://doi.org/10.2307/2266783
Autor:
Jan Kalicki
Publikováno v:
Journal of Symbolic Logic. 17:161-163
In this paper the symbolism, definitions and results of my two papers, namely A test for the existence of tautologies according to many-valued truth-tables (hereafter referred to as ET) and Note on truth-tables (hereafter referred to as TT) will be p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9ba08b771cf44cbe5dda3ecc2968ba1a
https://doi.org/10.2307/2267687
https://doi.org/10.2307/2267687
Autor:
Jan Kalicki
Publikováno v:
Journal of Symbolic Logic. 13:165-166
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1506e8acb6fc92e4003ff7a296c7d69a
https://doi.org/10.2307/2267859
https://doi.org/10.2307/2267859