Results for 'H. A. Pogorzelski'

1000+ found
Order:
  1.  3
    Word Arithmetic: Theory of Primitive Words.H. A. Pogorzelski - 1962 - Mathematical Logic Quarterly 8 (3‐4):251-255.
  2.  20
    Word Arithmetic: Theory of Primitive Words.H. A. Pogorzelski - 1962 - Mathematical Logic Quarterly 8 (3-4):251-255.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  13
    A Note on an Arithmetization of a Word System in a Denumerable Alphabet.H. A. Pogorzelski - 1962 - Mathematical Logic Quarterly 8 (3‐4):247-249.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  19
    A Note on an Arithmetization of a Word System in a Denumerable Alphabet.H. A. Pogorzelski - 1962 - Mathematical Logic Quarterly 8 (3-4):247-249.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  11
    Nonconcatenative Abstract Skolem Arithmetics I.H. A. Pogorzelski - 1965 - Mathematical Logic Quarterly 11 (2):89-92.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  9
    Nonconcatenative Abstract Skolem Arithmetics II.H. A. Pogorzelski - 1965 - Mathematical Logic Quarterly 11 (3):249-252.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  13
    Nonconcatenative Abstract Skolem Arithmetics III.H. A. Pogorzelski - 1965 - Mathematical Logic Quarterly 11 (4):373-376.
  8.  25
    Nonconcatenative Abstract Skolem Arithmetics III.H. A. Pogorzelski - 1965 - Mathematical Logic Quarterly 11 (4):373-376.
  9.  23
    Nonconcatenative Abstract Skolem Arithmetics II.H. A. Pogorzelski - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (3):249-252.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  25
    Nonconcatenative Abstract Skolem Arithmetics I.H. A. Pogorzelski - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):89-92.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  5
    Primitive words in an infinite abstract alphabet.H. A. Pogorzelski - 1964 - Mathematical Logic Quarterly 10 (13‐17):193-198.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  21
    Primitive Words in an Infinite Abstract Alphabet.H. A. Pogorzelski - 1964 - Mathematical Logic Quarterly 10 (13-17):193-198.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  42
    Remarks on Nicod's Axiom and on "Generalizing Deduction".H. A. Pogorzelski, Jan Lukasiewicz, Jerzy Slupecki & Panstwowe Wydawnictwo - 1965 - Journal of Symbolic Logic 30 (3):376.
  14.  35
    Jan Łukasiewicz. Uwagi o aksjomacie Nicoda i o “dedukcji uogólniającej”. . A reprint of 1869. Z zagadnień logiki i filozofii, Pisma wybrane, by Jan Łukasiewicz, edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 164–177. [REVIEW]H. A. Pogorzelski - 1965 - Journal of Symbolic Logic 30 (3):376-377.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Review: Jan Lukasiewicz, Jerzy Slupecki, Panstwowe Wydawnictwo, Remarks on Nicod's Axiom and on "Generalizing Deduction". [REVIEW]H. A. Pogorzelski - 1965 - Journal of Symbolic Logic 30 (3):376-377.
  16.  18
    M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 (1953), pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 (1956), pp. 63–75. [REVIEW]H. Hermes & H. A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (1):150-150.
  17.  15
    H. A. Pogorzelski. Word arithmetic: Theory of primitive words. Ebd., S. 251–255.H. Hermes - 1964 - Journal of Symbolic Logic 29 (4):200.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  8
    H. A. Pogorzelski. A note on an arithmetization of a word system in a denumerable alphabet. Ebd., Bd. 8 , S. 247–249.H. Hermes - 1964 - Journal of Symbolic Logic 29 (4):200-200.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. Review: H. A. Pogorzelski, Recursive Arithmetic of Skolem. [REVIEW]R. L. Goodstein - 1964 - Journal of Symbolic Logic 29 (2):101-102.
  20. Review: H. A. Pogorzelski, Primitive Words in an Infinite Abstract Alphabet; H. A. Pogorzelski, Skolem Arithmetics on Certain Concrete Word Systems. [REVIEW]V. Vuckovic - 1966 - Journal of Symbolic Logic 31 (2):271-271.
  21.  11
    H. A. Pogorzelski. Primitive words in an infinite abstract alphabet. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 193–198. - H. A. Pogorzelski. Skolem arithmetics on certain concrete word systems. Mathematica Scandinavica, vol. 14 , pp. 93–105. [REVIEW]V. Vučković - 1966 - Journal of Symbolic Logic 31 (2):271-271.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  19
    H. A. Pogorzelski. Recursive arithmetic of Skolem. Mathematica Scandinavica, vol. 11 , pp. 33–36. - H. A. Pogorzelski. Recursive arithmetic of Skolem II. Mathematica Scandinavica, vol. 11 , pp. 156–160. [REVIEW]R. L. Goodstein - 1964 - Journal of Symbolic Logic 29 (2):101-102.
  23.  15
    Pogorzelski H. A.. Nonconcatenative abstract Skolem arithmetics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 11 , S. 89–92, 249–252, 373–376. [REVIEW]H. Hermes - 1970 - Journal of Symbolic Logic 35 (1):150-150.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  53
    A Proof System for Classical Logic.Witold A. Pogorzelski & Piotr Wojtylak - 2005 - Studia Logica 80 (1):95-104.
  25.  41
    Reviews - J. H. Woodger. Translator's preface. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. vii–ix. - Alfred Tarski. Author's acknowledgments.Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. xi–xii. - Alfred Tarski. On the primitive term of logistic. Modified English translation based on 2852–4. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 1–23. - Alfred Tarski. Foundations of the geometry of solids.Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 24–29. - Alfred Tarski. On some fundamental concepts of metamathematics. English translation of 2857. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, 30–37. - Jan Łukasiewicz and Alfred Tarski. Investigations into the sentential calculus. English transl. [REVIEW]W. A. Pogorzelski & S. J. Surma - 1969 - Journal of Symbolic Logic 34 (1):99-106.
  26.  26
    Tadeusz Kotarbiński. Introduction. Notes on the development of formal logic in Poland in the years 1900–39. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 1–14. - Jan Łukasiewicz. On the notion of possibility. English translation of the first half of 1864 by H. Hiż. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 15–16. - Jan Łukasiewicz. On three-valued logic. English translation of the second half of 1864 by H. Hiż. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 16–18. - Jan Łukasiewicz. On determinism. English translation of XXXIII 130 by Z. Jordan. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 19–39. - Jan Łukasiewicz. Philosophical remarks on many-valued systems of propositional logic. English translation of 1868 by H. Weber. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 40–65. - Jan Łuka. [REVIEW]Witold A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (3):442-446.
  27.  48
    Przegląd twierdzeń o dedukcji dla rachunków zdań.Witold A. Pogorzelski - 1964 - Studia Logica 15 (1):163-178.
  28. Aʻmāl al-Muʼtamar al-Falsafī al-sābiʻ: falsafat al-ḥiwār--- ruʼyah muʻāṣirah.Ḥusām Muḥyī al-Dīn Ālūsī & Hudayl Saʻdī Mūsá (eds.) - 2008 - Baghdād: Bayt al-Ḥikmah.
    No categories
     
    Export citation  
     
    Bookmark  
  29. Aʻmāl al-Muʼtamar al-Falsafī al-thāmin li-Bayt al-Ḥikmah: azmat al-falsafah fī al-ʻĀlam al-ʻArabī.Ḥusām Muḥyī al-Dīn Ālūsī & Hudayl Saʻdī Mūsá (eds.) - 2009 - Baghdād: Bayt al-Ḥikmah.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  36
    Studies in space orientation: I. Perception of the upright with displaced visual fields.S. E. Asch & H. A. Witkin - 1948 - Journal of Experimental Psychology 38 (3):325.
  31. al-Falsafah: āfāquhā wa-dawruhā fī bināʼ al-insān wa-al-ḥaḍārah.Ḥusām Muḥyī al-Dīn Ālūsī - 2010 - Baghdād: Bayt al-Ḥikmah.
    Philosophy; philosophical theology; philosophical anthropology; history.
     
    Export citation  
     
    Bookmark  
  32.  9
    Mafhūm al-suluk al-khuluqī: min wijhatay naẓar al-Imām Abī Ḥāmid al-Ghazzālī wa-baʻḍ al-ittijāhāt al-nafsīyah al-gharbīyah al-ḥadīthah.ʻAbd Allāh ibn Aḥmad ibn Muḥammad ʻAṭṭās - 2004 - Makkah: al-Mamlakah al-ʻArabīyah al-Saʻūdīyah, Wizārat al-Taʻlīm al-ʻĀlī, Jāmiʻat Umm al-Qurá, Maʻhad al-Buḥūth al-ʻIlmīyah, Markaz Buḥūth al-Tarbawīyah wa-al-Nafsīyah.
    Ghazzālī, 1058-1111; views on behaviorism ; religious aspects; Islam.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  40
    Schemat twierdzeń o dedukcji dla rachunku zdań.Witold A. Pogorzelski - 1964 - Studia Logica 15 (1):181-187.
  34.  44
    Concerning the notion of completeness of invariant sentential calculi.Witold A. Pogorzelski - 1974 - Studia Logica 33:69.
  35.  5
    Bulūgh al-āmāl: sharḥ Manẓūmat al-akhlāq min Madārij al-kamāl.Mubārak ibn ʻAbd Allāh ibn Ḥāmid Rāshidī - 2022 - al-Sīb, Salṭanat ʻUmān: Maktabat al-Ḍāmirī lil-Nashr wa-al-Tawzīʻ.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. al-Fikr al-siyāsī wa-al-akhlāqī ʻinda al-ʻĀmirī: Abū al-Ḥasan Muḥammad ibn Yūsuf, al-mutawaffá ʻām 381 H: dirāsat wa-taḥqīq kitāb al-Saʻādah wa-al-isʻād fī al-sīrah al-insānīyah.Abū al-Ḥasan Muḥammad ibn Yūsuf ʻĀmirī - 1991 - al-Qāhirah: Dār al-Thaqāfah lil-Nashr wa-al-Tawzīʻ. Edited by Aḥmad ʻAbd al-Ḥalīm ʻAṭīyah.
     
    Export citation  
     
    Bookmark  
  37.  24
    582 Index 2001, Volume 8.H. H. Abu-Saad, H. A. Akinsola, P. Alderson, G. Anderson, A. E. Armstrong, W. Austin, P. J. Barker, G. Benhamou-Jantelet, M. Bergsten & M. E. Cameron - 2001 - Nursing Ethics 8 (6).
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  17
    Commutative recursive word arithmetic in the alphabet of prime numbers.Henry A. Pogorzelski - 1964 - Notre Dame Journal of Formal Logic 5 (1):13-23.
  39. Ockham and Ockhamists Acts of the Symposium Organized by the Dutch Society for Medieval Philosophy, Medium Aevum, on the Occasion of its 10th Anniversary, Leiden, 10-12 September, 1986.Egbert P. Society Medium Aevum, H. A. Bos & Krop - 1987
     
    Export citation  
     
    Bookmark  
  40.  7
    Polish Logic 1920-1939.Witold A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (3):442-446.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  7
    Logic, semantics, metamathematics, papers from 1923 to 1938.W. A. Pogorzelski - 1956 - Journal of Symbolic Logic 34 (1):99-106.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. K̲h̲ālasā jīwana ate guramati rahita marayādā: saccakhaṇḍā wāsī brahama giānī Santa Gurabacana Siṅgha Jī 'K̲h̲ālasā Bhiṇḍarām wāliāṃ da pawittra jīwana ate guramati anusāra pañja saṃskāra, gurabāṇī dā adaba te dehadhārī pakhaṇḍī gurūāṃ da khaṇḍana.Karatāra Siṅgha K̲h̲ālasā - 2000 - Mahitā: Damadamī Ṭakasāla Jathā Bhiṇḍarāṃ.
    On Sikh ethics; includes brief biographies of Sikh religious leaders.
    No categories
     
    Export citation  
     
    Bookmark  
  43. Does moral philosophy rest on a mistake?H. A. Prichard - 1912 - Mind 21 (81):21-37.
    Probably to most students of Moral Philosophy there comes a time when they feel a vague sense of dissatisfaction with the whole subject. And the sense of dissatisfaction tends to grow rather than to diminish. It is not so much that the positions, and still more the arguments, of particular thinkers seem unconvincing, though this is true. It is rather that the aim of the subject becomes increasingly obscure. "What," it is asked, "are we really going to learn by Moral (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   145 citations  
  44.  2
    The Obligation to Keep a Promise.H. A. Prichard - 2002 - In H. A. Prichard (ed.), Moral writings. New York: Oxford University Press.
    A promise to do some action seems to create a binding obligation to do that action. And yet, paradoxically, an obligation seems not to be a fact that we can create or bring into existence; we can create an obligation only by creating or bringing into existence something else. The only way to avoid the paradox is to show that the act of promising creates something other than an obligation, which nonetheless binds us to perform the action in question. After (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  45. Part II. End-of-Life Care in Islamic Studies: 3. Muqārabāt falsafīyah akhlāqīyah li-rihāb al-mawt fī al-ḥaḍārah al-Islāmīyah: dirāsat ārāʼ Muḥammad ibn Zakarīyā al-Rāzī, wa-Abī ʻAlī Maskawayh, wa-Ṣadr al-Dīn al-Shīrāzī.Ḥāmid Ārḍāʼī va-Asmāʼ Asadī - 2022 - In Mohammed Ghaly (ed.), End-of-life care, dying and death in the Islamic moral tradition. Boston: Brill.
  46.  12
    Āfāq-i falsafah az ʻaql-i nāb tā ḥikmat-i aḥkām: guft va gūʹhāyī bā duktur Mahdī Ḥāʼirī Yazdī ; bih kūshish-i Masʻūd Raz̤avī.Mahdī Ḥāʼirī Yazdī - 2000 - Tihrān: Farzān-i Rūz. Edited by Masʻūd Raz̤avī.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Falsafah-ʼi taḥlīlī: taqrīrāt-i... Mahdī Ḥāʼirī Yazdī.Mahdī Ḥāʼirī Yazdī - 2000 - [Tehran]: Muʼassasah-ʼi Farhangī-i Dānish va Andīshah-ʼi Muʻāṣir. Edited by ʻAbd Allāh Naṣrī.
    No categories
     
    Export citation  
     
    Bookmark  
  48.  12
    Naẓarīyah-i shinākht dar falsafah-i Islām: taqrīrāt-i ustād Duktur Mahdī Ḥāʼirī Yazdī.Mahdī Ḥāʼirī Yazdī - 2000 - Tihrān: Muʼassasah-i Farhangī-i Dānish va Andīshah-i Muʻāṣir. Edited by ʻAbd Allāh Naṣrī.
    Speeches of the author on theory of knowledge in the context of Islamic philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  9
    Safar-i nafs: taqrīrāt-i ustād duktur Mahdī Ḥāʼirī Yazdī.Mahdī Ḥāʼirī Yazdī - 2001 - Tihrān: Naqsh-i Jahān. Edited by ʻAbd Allāh Naṣrī.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. Kamāl Yūsuf al-Ḥājj: abʻādun minh-- wa-abʻadu minhā.Kamāl Yūsuf Ḥājj (ed.) - 1998 - Lubnān: Jāmiʻat Sayyidat al-Luwayzah.
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000