Results for 'Słupecki's generalization of the notion of rejected sentence,'

6 found
Order:
  1.  33
    Teoria zdań odrzuconych.Urszula Wybraniec-Skardowska - 1969 - Dissertation, Opole University
    This is the PhD dissertation, written under supervision of Professor Jerzy Słupecki, published in the book: U.Wybraniec-Skardowska i Grzegorz Bryll "Z badań nad teorią zdań odrzuconych" ( "Studies of theory of rejected sentences"), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Seria B: Studia i Monografie nr 22, pp. 5-131. It is the first, original publication on the theory of rejected sentences on which are based, among other, papers: "Theory of rejected propositions. I"and "Theory of rejected propositions (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  2. Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Basel, Switzerland: pp. 575-597.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3.  55
    Rejection in Łukasiewicz's and Słupecki' Sense.Urszula Wybraniec-Skardowska - 2018 - Lvov-Warsaw School. Past and Present.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  84
    On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency.Urszula Wybraniec-Skardowska - 2016 - Axioms 5 (15).
    In this paper, two axiomatic theories T− and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus. While in Tarski’s theory T+ the primitive notion is the classical consequence function (entailment) Cn+, in the dual theory T− it is replaced by the notion of Słupecki’s rejection consequence Cn− and in the dual theory T′ it is replaced by the notion of the family Incons of inconsistent sets. The (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  62
    On the Type-Token Relationships.Urszula Wybraniec-Skardowska - 1986 - Bulletin of the Section of Logic 15 (4):164-168.
    The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. The construction of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  77
    The Lvov-Warsaw School. Past and Present.Urszula Wybraniec-Skardowska & Ángel Garrido (eds.) - 2018 - Cham, Switzerland: Springer- Birkhauser,.
    This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic , philosophy and mathematics, by the best specialists from all over the world. The papers range from historical considerations to new philosophical, logical and mathematical developments of this impressive School, including applications to Computer Science, Mathematics, Metalogic, Scientific and Analytic Philosophy, Theory of Models and Linguistics.
    Download  
     
    Export citation  
     
    Bookmark