40 found
Order:
  1.  74
    Many-Valued Logics.Grzegorz Malinowski - 1993 - 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  
     
    Export citation  
     
    Bookmark   19 citations  
  2. Q-Consequence Operation.Grzegorz Malinowski - 1990 - Reports on Mathematical Logic 24 (1):49--59.
    Translate
     
     
    Export citation  
     
    Bookmark   22 citations  
  3.  2
    Referentiality and Matrix Semantics.Grzegorz Malinowski - 2011 - 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)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  51
    Beyond Three Inferential Values.Grzegorz Malinowski - 2009 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  18
    Inferential Paraconsistency.Grzegorz Malinowski - 2000 - Logic and Logical Philosophy 8:83.
  6.  52
    Key Notions of Tarski's Methodology of Deductive Systems.Janusz Czelakowski & Grzegorz Malinowski - 1985 - 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)  
     
    Export citation  
     
    Bookmark   5 citations  
  7. Topics in the Theory of Strengthenings of Sentential Calculi.Grzegorz Malinowski - 1981 - Studia Logica 40 (4):416-417.
     
    Export citation  
     
    Bookmark   7 citations  
  8.  7
    Identity, Many-Valuedness and Referentiality.Grzegorz Malinowski - 2013 - 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)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Pseudo-Referential Matrix Semantics for Propositional Logics.Grzegorz Malinowski - 1983 - Bulletin of the Section of Logic 12 (3):90-96.
    Referential matrix semantics of R. W´ojcicki [5] and [4] is extended to cover the class of all structural propositional calculi.
     
    Export citation  
     
    Bookmark   6 citations  
  10.  27
    Inferential Intensionality.Grzegorz Malinowski - 2004 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  14
    Many-Valued Referential Matrices.Grzegorz Malinowski - 1995 - Bulletin of the Section of Logic 24 (3):140-146.
  12.  21
    Degrees of Maximality of Łukasiewicz-Like Sentential Calculi.Grzegorz Malinowski - 1977 - 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)  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  17
    Logic, Formal Methodology and Semantics in Works of Ryszard Wójcicki.Grzegorz Malinowski & Jan Woleński - 2011 - 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)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  24
    Dual Counterparts of Łukasiewicz's Sentential Calculi.Grzegorz Malinowski & Maciej Spasowski - 1974 - Studia Logica 33 (2):153-162.
  15.  17
    Matrix Representation for the Dual Counterparts of Lukasiewicz N-Valued Sentential Calculi and the Problem of Their Degrees of Maximality.Grzegorz Malinowski - 1975 - Bulletin of the Section of Logic 4 (1):26-31.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  2
    Degrees of Maximality of Klukasiewicz-Like Sentential Calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213-228.
    The paper is concerned with the problem of characterization of strengthenings of the so-called Łukasiewicz-like sentential calculi. The calculi under consideration are determined by n-valued Łukasiewicz matrices with superdesignated logical values. In general, Łukasiewicz-like sentential calculi are not implicative in the sense of [7]. Despite of this fact, in our considerations we use matrices analogous to S-algebras of Rasiowa. The main result of the paper says that the degree of maximality of any n-valued Łukasiewicz-like sentential calculus is finite and equal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  16
    Non-Fregean Logic and Other Formalizations of Propositional Identity'.Grzegorz Malinowski - 1985 - Bulletin of the Section of Logic 14 (1):21-27.
    The paper is an extended version of a talk given to the XXXth Conference on the History of Logic devoted to the work of Professor Roman Suszko . Its aim is to present Sentential Calculus with Identity in comparison with other formalizations of propositional identity.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  18. On Many-Valuedness, Sentential Identity, Inference and Lukasiewicz Modalities.Grzegorz Malinowski - 1997 - Logica Trianguli 1:59-72.
    The development of the method of logical matrices at the turn of 19th Century made it possible to define the concept of many-valued logic. Since the first construction of the system of three-valued logic by ukasiewicz in 1918 several matrix based logics have been proposed, cf. [8]. The aim of the present paper is to touch upon some problems related to the topic, which would permit one to get a viewpoint upon the nature of many-valuedness. First, we show that the (...)
     
    Export citation  
     
    Bookmark  
  19. Interpolation Properties For A Class Of Many-Valued Propositional Calculi.Grzegorz Malinowski & Marek Michalczyk - 1981 - Bulletin of the Section of Logic 10 (1):9-14.
    In the paper Weaver's method is adapted to prove interpolation properties of many-valued propositional calculi standard in the sense of Rosser and Turquette. The case of n-valued Lukasiewicz calculi is discussed in connection with the results obtained.
     
    Export citation  
     
    Bookmark   3 citations  
  20.  26
    S-Algebras and the Degrees of Maximality of Three and Four Valued Logics of Łukasiewicz.Grzegorz Malinowski - 1974 - Studia Logica 33 (4):359-370.
  21.  9
    A Proof of Ryszard Wójcicki's Conjecture.Grzegorz Malinowski - 1978 - Bulletin of the Section of Logic 7 (1):20-23.
  22.  8
    Book Review: Reiner Hähnle. Automated Deduction in Multiple-Valued Logics. [REVIEW]Grzegorz Malinowski - 1996 - Notre Dame Journal of Formal Logic 37 (4):631-646.
  23. Formalization of Intensional Functions and Epistemic Knowledge Representation Systems.Grzegorz Malinowski - 1999 - Logica Trianguli 3:111-118.
    o formalization of intensional functions was made for the purpose of many-valued interpretation of the belief-operators within the scope of the classical logic system. The first aim of the paper is to present and discuss this rather unknown many-valued construction and its properties. The fact that the manyvaluedness of o systems is purely formal - their characteristic matrices are Boolean - calls for further consideration. Departing from intristic similarities of the tables for the epistemic operators to the information functions we (...)
     
    Export citation  
     
    Bookmark   1 citation  
  24.  10
    Dual Counterparts of Lukasiewicz Sentential Calculi.Grzegorz Malinowski & Maciej Spasowski - 1972 - Bulletin of the Section of Logic 1 (3):2-7.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  14
    Books Received. [REVIEW]Witold Marciszewski, Halina Mortimerowa, T. Grabińska, Jerzy Perzanowski & Grzegorz Malinowski - 1983 - Studia Logica 42 (4):477-484.
  26. The problem of degrees of maximality (A survey)(Zagadnienie stopni maksymalności (Przegląd)).Grzegorz Malinowski - 1983 - Acta Universitatis Lodziensis 3.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  27.  22
    Roman Suszko: A Sketch of a Portrait in Logic.Grzegorz Malinowski - 1984 - Studia Logica 43 (4):315 -.
  28.  22
    That SCI has the Interpolation Property.Grzegorz Malinowski & Marek Michalczyk - 1982 - 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)  
     
    Export citation  
     
    Bookmark  
  29. Degrees Of Maximality Of Lukasiewicz-Like Sentential Calculi.Grzegorz Malinowski - 1977 - Bulletin of the Section of Logic 6 (2):74-79.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  30.  9
    Concerning Intuitions on Logical Many-Valuedness.Grzegorz Malinowski - 2009 - Bulletin of the Section of Logic 38 (3/4):111-121.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  9
    Fregean Axiom and Many-Valuedness.Grzegorz Malinowski - 2008 - Bulletin of the Section of Logic 37 (3/4):245-252.
  32.  15
    Books Received. [REVIEW]Leszek Pacholsk, Ewa Capińska, Grzegorz Malinowski, Jacek K. Kabziński, Jan Woleński & Ryszard Wójcicki - 1982 - Studia Logica 41 (4):429-437.
  33.  12
    Reviews. [REVIEW]Grzegorz Malinowski, Jan Zygmunt, W. Berkson & George Berger - 1978 - Erkenntnis 12 (3):369-402.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  5
    THAT P+ Q= C (Onsequence).Grzegorz Malinowski - 2007 - Bulletin of the Section of Logic 36 (1/2):7-19.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. Degrees of Maximality of Some Lukasiewicz Logics.Grzegorz Malinowski - 1974 - Bulletin of the Section of Logic 3 (3-4):27-33.
     
    Export citation  
     
    Bookmark  
  36.  6
    Logika ogólna.Grzegorz Malinowski - 2008 - Wydawnictwo Uniwersytetu Łódzkiego.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  2
    Logika Ogólna.Grzegorz Malinowski - 2007 - Wydawnictwo Uniwersytetu Łódzkiego.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. Mvk Algebras. [REVIEW]Grzegorz Malinowski - 1973 - Bulletin of the Section of Logic 2 (3):185-191.
     
    Export citation  
     
    Bookmark  
  39. S-Algebras For N-Valued Sentential Calculi Of Lukasiewicz.Grzegorz Malinowski - 1974 - Bulletin of the Section of Logic 3 (2):25-30.
     
    Export citation  
     
    Bookmark  
  40. "Sprawozdanie Z Konferencji" Philosophy, Phenomenology, Sciences".Grzegorz Malinowski - 2009 - Studia Philosophiae Christianae 45 (1):302-307.
     
    Export citation  
     
    Bookmark