Results for 'Miroslawa Kolowska-Gawiejnowicz'

22 found
Order:
  1.  8
    Powerset Residuated Algebras and Generalized Lambek Calculus.Miroslawa Kolowska-Gawiejnowicz - 1997 - Mathematical Logic Quarterly 43 (1):60-72.
    We prove a representation theorem for residuated algebras: each residuated algebra is isomorphically embeddable into a powerset residuated algebra. As a consequence, we obtain a completeness theorem for the Generalized Lambek Calculus. We use a Labelled Deductive System which generalizes the one used by Buszkowski [4] and Pankrat'ev [17] in completeness theorems for the Lambek Calculus.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  20
    A Labelled Deductive System for Relational Semantics of the Lambek Calculus.Miroslawa Kolowska-Gawiejnowicz - 1999 - Mathematical Logic Quarterly 45 (1):51-58.
    We present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  22
    Powerset Residuated Algebras.Mirosława Kołowska-Gawiejnowicz - 2014 - Logic and Logical Philosophy 23 (1):69-80.
    We present an algebraic approach to canonical embeddings of arbitrary residuated algebras into powerset residuated algebras. We propose some construction of powerset residuated algebras and prove a representation theorem for symmetric residuated algebras.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  4.  22
    E-Textbook Technologies for Academics in Medical Education.Anna Ren-Kurc, Magdalena Roszak, Iwona Mokwa-Tarnowska, Mirosława Kołowska-Gawiejnowicz, Jan Zych & Wojciech Kowalewski - 2018 - Studies in Logic, Grammar and Rhetoric 56 (1):161-176.
    Public universities in Poland receive fairly limited financial support for creating e-textbooks and lack the appropriate ICT competences among teaching staff, especially in the case of non-technical universities. The authors propose a pedagogical and technological paradigm for e-textbooks in medical education using open source software with minimal IT skills required. Technologies used to develop e-textbooks are connected with: publication and distribution of e-textbooks, e-book readers, and editing tools. The paper also discusses a survey that targeted students of medical sciences, which (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5. Antropologia społeczna Henri Bergsona.Mirosława Błaszczak - 1987 - Studia Filozoficzne 255 (2).
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Demokracja - teorie i społeczne nastawienia.Mirosława Grabowska - 1998 - Civitas 2 (2):39-80.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. Teksty i intermedia.Mirosława Moszkowicz - forthcoming - Estetyka I Krytyka 17 (17/18):81-96.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. L'État et la religion dans la philosophie de Hegel (Państwo i religia w filozofii Hegla).Mirosława Suska - 1983 - Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica 2.
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  4
    Labelled Deductive Systems for the Lambek Calculus.M. Kotowska-Gawiejnowicz - 1997 - Poznan Studies in the Philosophy of the Sciences and the Humanities 57:239-258.
  10. Analiza systemowa jako sposób podejścia do tekstu filozoficznego.Mirosława Czarnawska - 1987 - Studia Filozoficzne 254 (1).
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. Cohen i Natorp (H. Holzey, \"Cohen und Natorp\", Cz. I i II, Basel-Stuttgart 1986).Mirosława Czarnawska - 1988 - Studia Filozoficzne 268 (3).
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Dwa podejścia do Platona.Mirosława Czarnawska - 1997 - Przeglad Filozoficzny - Nowa Seria 23 (3):95-105.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Marburska teoria bytu: problem obiektywności.Mirosława Czarnawska - 1986 - Studia Filozoficzne 245 (4).
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Marburska teoria bytu: przedmiot jako niewiadoma poznania.Mirosława Czarnawska - 1986 - Studia Filozoficzne 248 (7).
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Marburska teoria bytu: poznanie jako pytanie.Mirosława Czarnawska - 1987 - Studia Filozoficzne 255 (2).
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. Metodologiczna wartość niebytu.Mirosława Czarnawska - 1988 - Idea Studia nad strukturą i rozwojem pojęć filozoficznych 2 (2):87-92.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. O obiektywną samoświadomość filozofii.Mirosława Czarnawska - 1991 - Idea Studia nad strukturą i rozwojem pojęć filozoficznych 4 (4):21-26.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Refleksje nad Petöfiego teorią tekstu.Mirosława Czarnawska - 1982 - Studia Semiotyczne 12:79-99.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Rozważania o naturze pojęć filozoficznych. Cz. II: Czy można określić, czym jest Platońska idea?Mirosława Czarnawska - 1990 - Idea Studia nad strukturą i rozwojem pojęć filozoficznych 3 (3):7-20.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  20. Rozważania o naturze pojęć filozoficznych. Cz. I: Inspiracje i ograniczenia neotomizmu.Mirosława Czarnawska - 1988 - Idea Studia nad strukturą i rozwojem pojęć filozoficznych 2 (2):7-16.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  7
    The Way From Concept to Thought. Does It Exist in Ajdukiewicz's Semantical Theory?Miroslawa Czarnawska - 1995 - In Vito Sinisi & Jan Woleński (eds.), The Heritage of Kazimierz Ajdukiewicz. Rodopi. pp. 40--75.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  34
    Euphony and Logos: Essays in Honour of Maria Steffen-Batóg and Tadeusz Batóg.Roman Murawski & Jerzy Pogonowski (eds.) - 1997 - Rodopi.
    Contents: Preface. SCIENTIFIC WORKS OF MARIA STEFFEN-BATÓG AND TADEUSZ BATÓG. List of Publications of Maria Steffen-Batóg. List of Publications of Tadeusz Batóg. Jerzy POGONOWSKI: On the Scientific Works of Maria Steffen-Batóg. Jerzy POGONOWSKI: On the Scientific Works of Tadeusz Batóg. W??l??odzimierz LAPIS: How Should Sounds Be Phonemicized? Pawe??l?? NOWAKOWSKI: On Applications of Algorithms for Phonetic Transcription in Linguistic Research. Jerzy POGONOWSKI: Tadeusz Batóg's Phonological Systems. MATHEMATICAL LOGIC. Wojciech BUSZKOWSKI: Incomplete Information Systems and Kleene 3-valued Logic. Maciej KANDULSKI: Categorial Grammars with (...)
    Direct download  
     
    Export citation  
     
    Bookmark