10 found
Order:
  1. S. Le'sniewski's Lecture Notes in Logic.Jan Srzednicki & Zbigniew Stachniak (eds.) - 1988 - Kluwer Academic Publishers.
  2. Introduction to model theory for Leśniewski's ontology.Zbigniew Stachniak - 1981 - Wrocław: Wydawnictwo Uniwersytetu Wrocłaskiego.
  3. Leśniewski's Systems. Protothetic.Jan T. J. Srzednicki & Zbigniew Stachniak - 2001 - Studia Logica 68 (3):401-404.
     
    Export citation  
     
    Bookmark   1 citation  
  4.  45
    An essay on resolution logics.Zbigniew Stachniak - 1993 - Studia Logica 52 (2):309 - 322.
    This paper discusses the resolution principle in the context of non-classical logics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  36
    Many-valued computational logics.Zbigniew Stachniak - 1989 - Journal of Philosophical Logic 18 (3):257 - 274.
  6.  22
    Note on generalized matrix semantics and the problem of supremum.Zbigniew Stachniak - 1988 - Bulletin of the Section of Logic 17 (2):82-86.
    In [7] Wojtylak showed that the supremum of a finite collection of strongly finite logics is not necessarily strongly finite, putting to an end the dispute concerning the underlying algebraic structure of the set of all strongly finite logics defined on a propositional language. In this paper we prove that Wojtylak’s result extends to a wider class of propositional logics defined by finite sets of finite matrices with admissible valuations.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  24
    (1 other version)Note on Structural Logics.Zbigniew Stachniak - 1985 - Mathematical Logic Quarterly 31 (19‐20):317-320.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  41
    Nonmonotonic theories and their axiomatic varieties.Zbigniew Stachniak - 1995 - Journal of Logic, Language and Information 4 (4):317-334.
    The properties of monotonic inference systems and the properties of their theories are strongly linked. These links, however, are much weaker in nonmonotonic inference systems. In this paper we introduce the notion of anaxiomatic variety for a theory and show how this notion, instead of the notion of a theory, can be used for the syntactic and semantic analysis of nonmonotonic inferences.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  38
    On finitely-valued inference systems.Zbigniew Stachniak - 1998 - Studia Logica 61 (1):149-169.
    A proof-theoretical analysis of finite-valuedness in the domain of cumulative inference systems is presented.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. Some Notes On Characteristic Consequence Operations.Zbigniew Stachniak - 1978 - Bulletin of the Section of Logic 7 (4):159-164.
     
    Export citation  
     
    Bookmark