16 found
Order:
  1.  32
    An Axiom System for the Modular Logic.Jerzy Kotas - 1967 - Studia Logica 21 (1):17 - 38.
  2.  38
    The Axiomatization of S. Jaśkowski's Discussive System.Jerzy Kotas - 1974 - Studia Logica 33 (2):195-200.
  3.  33
    Logical Systems with Implications.Jerzy Kotas - 1971 - Studia Logica 28 (1):101 - 117.
  4.  28
    Discussive Sentential Calculus of Jaśkowski.Jerzy Kotas - 1975 - Studia Logica 34 (2):149-168.
  5.  12
    Allgemeine Logische und Mathematische Theorien.Jerzy Kotas & August Pieczkowski - 1970 - Mathematical Logic Quarterly 16 (6):353-376.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   14 citations  
  6.  22
    The Modular Logic as a Calculus of Logical Schemata.Jerzy Kotas - 1971 - Studia Logica 27 (1):73 - 79.
  7.  42
    On the Algebra of Classes of Formulae of Jaśkowski's Discussive System.Jerzy Kotas - 1971 - Studia Logica 27 (1):81-90.
  8.  30
    On Quantity of Logical Values in the Discussive D2 System and in Modular Logic.Jerzy Kotas - 1974 - Studia Logica 33 (3):273-275.
  9.  26
    About the Equivalent Theories of Algebras with Relations.Jerzy Kotas - 1972 - Studia Logica 30 (1):79 - 96.
  10.  23
    A Cylindrical Algebra Based on the Boolean Ring.Jerzy Kotas & August Pieczkowski - 1967 - Studia Logica 21 (1):71 - 80.
  11.  55
    Scientific Works of Stanisław Jaśkowski.Jerzy Kotas & August Pieczkowski - 1967 - Studia Logica 21 (1):7-15.
  12.  46
    A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
    S. Jakowski introduced the discussive prepositional calculus D 2as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories (see, for example, N. C. A. da Costa and L. Dubikajtis, On Jakowski's discussive logic, in Non-Classical Logic, Model Theory and Computability, A. I. Arruda, N. C. A da Costa and R. Chuaqui edts., North-Holland, Amsterdam, 1977, 37–56). D 2has afterwards been extended to a first-order predicate calculus and to a higher-order logic (cf. the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  26
    On a Generalized Cylindrical Algebra and Intuitionistic Logic.Jerzy Kotas & August Pieczkowski - 1966 - Studia Logica 18 (1):73 - 81.
  14.  24
    On the Problem of Jaskowski and the Logic of Lukasiewicz.Jerzy Kotas & N. C. A. da Costa - 1978 - Bulletin of the Section of Logic 7 (2):91-91.
  15.  14
    A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. da Costa - 1979 - Studia Logica 38 (4):429-445.
    S. Jaśkowski introduced the discussive propositional calculus D₂ as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories. D₂ has afterwards been extended to a first-order predicate calculus and to a higher-order logic. In this paper we present a natural version of D₂, in the sense of Jaśkowski and Gentzen; as a consequence, we suggest a new formulation of the discussive predicate calculus. A semantics for the new calculus is also presented.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  34
    On Logical Systems with Implications and Theories of Algebras.Jerzy Kotas - 1973 - Studia Logica 31 (1):49 - 72.