15 found
Sort by:
  1. Jerzy Kotas & N. C. A. Costa (1979). A New Formulation of Discussive Logic. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Jerzy Kotas & N. C. A. da Costa (1978). On the Problem of Jaskowski and the Logic of Lukasiewicz. Bulletin of the Section of Logic 7 (2):91-91.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Jerzy Kotas (1975). Discussive Sentential Calculus of Jaśkowski. Studia Logica 34 (2):149 - 168.
  4. Jerzy Kotas (1974). On Quantity of Logical Values in the Discussive D2 System and in Modular Logic. Studia Logica 33 (3):273 - 275.
  5. Jerzy Kotas (1974). The Axiomatization of S. Jaśkowski's Discussive System. Studia Logica 33 (2):195 - 200.
  6. Jerzy Kotas (1973). On Logical Systems with Implications and Theories of Algebras. Studia Logica 31 (1):49 - 72.
  7. Jerzy Kotas (1972). About the Equivalent Theories of Algebras with Relations. Studia Logica 30 (1):79 - 96.
  8. Jerzy Kotas (1971). Logical Systems with Implications. Studia Logica 28 (1):101 - 117.
  9. Jerzy Kotas (1971). On the Algebra of Classes of Formulae of Jaśkowski's Discussive System. Studia Logica 27 (1):81 - 91.
  10. Jerzy Kotas (1971). The Modular Logic as a Calculus of Logical Schemata. Studia Logica 27 (1):73 - 79.
  11. Jerzy Kotas & August Pieczkowski (1970). Allgemeine Logische und Mathematische Theorien. Mathematical Logic Quarterly 16 (6):353-376.
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Jerzy Kotas (1967). An Axiom System for the Modular Logic. Studia Logica 21 (1):17 - 38.
  13. Jerzy Kotas & August Pieczkowski (1967). A Cylindrical Algebra Based on the Boolean Ring. Studia Logica 21 (1):71 - 80.
  14. Jerzy Kotas & August Pieczkowski (1967). Scientific Works of Stanisław Jaśkowski. Studia Logica 21 (1):7 - 15.
  15. Jerzy Kotas & August Pieczkowski (1966). On a Generalized Cylindrical Algebra and Intuitionistic Logic. Studia Logica 18 (1):73 - 81.