29 found
Sort by:
  1. Grzegorz Malinowski (2013). Identity, Many-Valuedness and Referentiality. Logic and Logical Philosophy 22 (4):375-387.
    In the paper * we discuss a distinctive versatility of the non-Fregean approach to the sentential identity. We present many-valued and referential counterparts of the systems of SCI, the sentential calculus with identity, including Suszko’s logical valuation programme as applied to many-valued logics. The similarity of different constructions: many-valued, referential and mixed, leads us to the conviction of the universality of the non-Fregean paradigm of sentential identity as distinguished from the equivalence, cf. [9].
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  2. Grzegorz Malinowski (2011). Referentiality and Matrix Semantics. Studia Logica 97 (2):297 - 312.
    Referential semantics importantly subscribes to the programme of theory of logical calculi. Defined by Wójcicki in [8], it has been subsequently studied in a series of papers of the author, till the full exposition of the framework in [9] and its intuitive characterisation in [10]. The aim of the article is to present several generalizations of referential semantics as compared and related to the matrix semantics for propositional logics. We show, in a uniform way, some own generalizations of referentiality: the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Grzegorz Malinowski & Jan Woleński (2011). Logic, Formal Methodology and Semantics in Works of Ryszard Wójcicki. Studia Logica 99 (1-3):7-30.
    For decades Ryszard Wójcicki has been a highly influential scholar in the community of logicians and philosophers. Our aim is to outline and comment on some essential issues on logic, methodology of science and semantics as seen from the perspective of distinguished contributions of Wójcicki to these areas of philosophical investigations.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Grzegorz Malinowski (2009). Beyond Three Inferential Values. Studia Logica 92 (2):203 - 213.
    The actual introduction of a non-reflexive and non-idempotent q -consequence gave birth to the concept of logical three-valuedness based on the idea of noncomplementary categories of rejection and acceptance. A q -consequence may not have bivalent description, the property claimed by Suszko’s Thesis on logical two-valuedness, ( ST ), of structural logics, i.e. structural consequence operations. Recall that ( ST ) shifts logical values over the set of matrix values and it refers to the division of matrix universe into two (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Grzegorz Malinowski (2009). Concerning Intuitions on Logical Many-Valuedness. Bulletin of the Section of Logic 38 (3/4):111-121.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Grzegorz Malinowski (2009). Sprawozdanie Z Konferencji" Philosophy, Phenomenology, Sciences". Studia Philosophiae Christianae 1:302-307.
    No categories
     
    My bibliography  
     
    Export citation  
  7. Grzegorz Malinowski (2008). Fregean Axiom and Many-Valuedness. Bulletin of the Section of Logic 37 (3/4):245-252.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Grzegorz Malinowski (2007). THAT P+ Q= C (Onsequence). Bulletin of the Section of Logic 36 (1/2):7-19.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Grzegorz Malinowski (2004). Inferential Intensionality. Studia Logica 76 (1):3 - 16.
    The paper is a study of properties of quasi-consequence operation which is a key notion of the so-called inferential approach in the theory of sentential calculi established in [5]. The principal motivation behind the quasi-consequence, q-consequence for short, stems from the mathematical practice which treats some auxiliary assumptions as mere hypotheses rather than axioms and their further occurrence in place of conclusions may be justified or not. The main semantic feature of the q-consequence reflecting the idea is that its rules (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Grzegorz Malinowski (2004). Inferential Paraconsistency. Logic and Logical Philosophy 8:83.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Grzegorz Malinowski (1999). Formalization of Intensional Functions and Epistemic Knowledge Representation Systems. Logica Trianguli 3:111-118.
    No categories
     
    My bibliography  
     
    Export citation  
  12. Grzegorz Malinowski (1997). On Many-Valuedness, Sentential Identity, Inference and Lukasiewicz Modalities. Logica Trianguli 1:59-72.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Grzegorz Malinowski (1996). Book Review: Reiner H�Hnle. Automated Deduction in Multiple-Valued Logics. [REVIEW] Notre Dame Journal of Formal Logic 37 (4):631-646.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Grzegorz Malinowski (1995). Many-Valued Referential Matrices. Bulletin of the Section of Logic 24 (3):140-146.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Grzegorz Malinowski (1993). Many-Valued Logics. Oxford University Press.
    This book provides an incisive, basic introduction to many-valued logics and to the constructions that are "many-valued" at their origin. Using the matrix method, the author sheds light on the profound problems of many-valuedness criteria and its classical characterizations. The book also includes information concerning the main systems of many-valued logic, related axiomatic constructions, and conceptions inspired by many-valuedness. With its selective bibliography and many useful historical references, this book provides logicians, computer scientists, philosophers, and mathematicians with a valuable survey (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Grzegorz Malinowski (1990). Q-Consequence Operation. Reports on Mathematical Logic 24 (1):49--59.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  17. Janusz Czelakowski & Grzegorz Malinowski (1985). Key Notions of Tarski's Methodology of Deductive Systems. Studia Logica 44 (4):321 - 351.
    The aim of the article is to outline the historical background and the present state of the methodology of deductive systems invented by Alfred Tarski in the thirties. Key notions of Tarski's methodology are presented and discussed through, the recent development of the original concepts and ideas.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. Grzegorz Malinowski (1985). Non-Fregean Logic and Other Formalizations of Propositional Identity'. Bulletin of the Section of Logic 14 (1):21-27.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Grzegorz Malinowski (1984). Roman Suszko: A Sketch of a Portrait in Logic. Studia Logica 43 (4):315 -.
  20. Grzegorz Malinowski (1983). The problem of degrees of maximality (A survey)(Zagadnienie stopni maksymalności (Przegląd)). Acta Universitatis Lodziensis 3.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  21. Witold Marciszewski, Halina Mortimerowa, T. Grabińska, Jerzy Perzanowski & Grzegorz Malinowski (1983). Books Received. [REVIEW] Studia Logica 42 (4):477-484.
  22. Grzegorz Malinowski & Marek Michalczyk (1982). That SCI has the Interpolation Property. Studia Logica 41 (4):375 - 380.
    Proofs of two interpolation theorems for Sentential Calculus with Identity as well as some general comments on sentential interpolation are given.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  23. Leszek Pacholsk, Ewa Capińska, Grzegorz Malinowski, Jacek K. Kabziński, Jan Woleński & Ryszard Wójcicki (1982). Books Received. [REVIEW] Studia Logica 41 (4):429-437.
  24. Grzegorz Malinowski (1978). A Proof of Ryszard Wójcicki's Conjecture. Bulletin of the Section of Logic 7 (1):20-23.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. Grzegorz Malinowski, Jan Zygmunt, W. Berkson & George Berger (1978). Reviews. [REVIEW] Erkenntnis 12 (3):369-402.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  26. Grzegorz Malinowski (1977). Degrees of Maximality of Łukasiewicz-Like Sentential Calculi. Studia Logica 36 (3):213 - 228.
    The paper is concerned with the problem of characterization of strengthenings of the so-called Lukasiewicz-like sentential calculi. The calculi under consideration are determined byn-valued Lukasiewicz matrices (n>2,n finite) with superdesignated logical values. In general. Lukasiewicz-like sentential calculi are not implicative in the sense of [7]. Despite of this fact, in our considerations we use matrices analogous toS-algebras of Rasiowa. The main result of the paper says that the degree of maximality of anyn-valued Lukasiewicz-like sentential calculus is finite and equal to (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. Grzegorz Malinowski (1975). Matrix Representation for the Dual Counterparts of Lukasiewicz N-Valued Sentential Calculi and the Problem of Their Degrees of Maximality. Bulletin of the Section of Logic 4 (1):26-31.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Grzegorz Malinowski (1974). S-Algebras and the Degrees of Maximality of Three and Four Valued Logics of Łukasiewicz. Studia Logica 33 (4):359 - 370.
  29. Grzegorz Malinowski & Maciej Spasowski (1974). Dual Counterparts of Łukasiewicz's Sentential Calculi. Studia Logica 33 (2):153 - 162.