Search results for 'Pawe' (try it on Scholar)

5 found
Order:
  1.  19
    Pawe? Garbacz (2002). Logics of Relative Identity. Notre Dame Journal of Formal Logic 43 (1):27-50.
    This paper is the first part of an exploration into the logical properties of relative identity. After providing the semantic grounds for various monadic logics of relative identity, I define the minimal system and its nine extensions. It is suggested that despite their purely formal origin at least some of them may contain nontrivial philosophical insights. All logics are axiomatized by means of sound and complete sequent calculi. I show their affinities with existing formalizations.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  2.  16
    Pawe&Lstrok Garbacz (2006). Towards a Standard Taxonomy of Artifact Functions. Applied Ontology 1 (3):221-236.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  3.  6
    Pawe L. Bielak (1974). On Functions Definiable in Implicational Algebras. Bulletin of the Section of Logic 3 (3/4):24-26.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  1
    Zofia Adamowicz & Pawe Zbierski (2003). On Complexity Reduction of Σ1 Formulas. Archive for Mathematical Logic 42 (1):45-58.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  1
    Roman Murawski & Jerzy Pogonowski (eds.) (1997). Euphony and Logos: Essays in Honour of Maria Steffen-Batóg and Tadeusz Batóg. 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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography