22 found
Order:
  1.  4
    A Syntactic Approach to Closure Operation.Marek Nowak - 2018 - Bulletin of the Section of Logic 46 (3/4).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  5
    Quasiorders, Tolerance Relations and Corresponding “Partitions”.Marek Nowak - 2017 - Bulletin of the Section of Logic 45 (2).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  34
    Logics Preserving Degrees of Truth.Marek Nowak - 1990 - Studia Logica 49 (4):483 - 499.
    The paper introduces a concept of logic applied to a formalization of the so-called inferences preserving degrees of truth. Semantical and syntactical characterizations of three kinds of logics preserving degrees of truth are provided. The other approach than in [3] and [9] to the problem of expressing that a sentence is less true than a sentence is presented.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  27
    On Some Generalizations of the Concept of Partition.Marek Nowak - 2014 - Studia Logica 102 (1):93-116.
    There are well-known isomorphisms between the complete lattice of all partitions of a given set A and the lattice of all equivalence relations on A. In the paper the notion of partition is generalized in order to work correctly for wider classes of binary relations than equivalence ones such as quasiorders or tolerance relations. Some others classes of binary relations and corresponding counterparts of partitions are considered.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  20
    The Logics of Analytic Equivalence.Marek Nowak - 2008 - Bulletin of the Section of Logic 37 (3/4):265-272.
  6.  19
    On Some Application of Residuated Mappings.Marek Nowak - 2013 - Bulletin of the Section of Logic 42 (1/2):53-68.
  7.  26
    A Characterization of Consequence Operations Preserving Degrees of Truth.Marek Nowak - 1987 - Bulletin of the Section of Logic 16 (4):159-165.
    Formalization of reasoning which accepts rules of inference leading to conclusions whose logical values are not smaller than the logical value of the “weakest” premise leads to the concept of consequence operation preserving degrees of truth. Several examples of such consequence operation have already been considered . In the present paper we give a general notion of the consequence operation preserving degrees of truth and its characterization in terms of projective generation and selfextensionality.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  15
    On Two Relatives of the Classical Logic.Marek Nowak - 1992 - Bulletin of the Section of Logic 21:97-102.
  9. Kripke Semantics for Some Paraconsistent Logics.Marek Nowak - 1998 - Logica Trianguli 2:87-101.
    The paper deals with seven propositional paraconsistent logics. Four of them are based on intuitionistic positive logic: the minimal Johansson’s logic, some two its weakenings and its extension by the law of excluded middle. The remaining three ones are their counterparts having the classical positive base. For all logics the Kripke-style semantics is provided.
     
    Export citation  
     
    Bookmark  
  10. Two Logics of Analytic Classical Implication.Marek Nowak - 2002 - Logica Trianguli 6:25-40.
    The paper contains two concepts of implication that can be called analytic in the sense of Parry [5] or Fine [2]. Contrary to the Parry's approach, these implications do not involve S4 strict implication but the classical one. This fact refers to the similar notion of so-called demodalized analytic implication of Dunn [1] and strong implication of Vanderveken, cf. [4, 6]. The features of analytic classical implications are presented in the form of two propositional logics on the pure implicational language.
     
    Export citation  
     
    Bookmark  
  11.  20
    Conditional Negation on the Positive Logic.Jacek Geisler & Marek Nowak - forthcoming - Bulletin of the Section of Logic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  24
    Poznanian School of Dialogue.Marek Nowak - 2007 - Dialogue and Universalism 17 (7/8):159-169.
    Theological Faculty of the Adam Mickiewicz University in Poznań organized a series of sessions devoted to problems of dialogue. Professor Baniak, the main organizer of those meetings, invited philosophers, theologians, pedagogues, psychologists and other intellectuals/scientists, whose area of interest was dialogue. The first conference took place in June 2001, the last in June 2007, and organizers have a hope that the endeavor would be continued. Lectures given at conferences were devoted to many subjects—classical philosophy of dialogue, dialogue in theological thought, (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  13.  36
    A Complete Minimal Logic of the Propositional Contents of Thought.Marek Nowak & Daniel Vanderveken - 1995 - Studia Logica 54 (3):391 - 410.
    Our purpose is to formulate a complete logic of propositions that takes into account the fact that propositions are both senses provided with truth values and contents of conceptual thoughts. In our formalization, propositions are more complex entities than simple functions from possible worlds into truth values. They have a structure of constituents (a content) in addition to truth conditions. The formalization is adequate for the purposes of the logic of speech acts. It imposes a stronger criterion of propositional identity (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  14.  8
    A Note on the Logic CAR of da Costa and Béziau.Marek Nowak - 1999 - Bulletin of the Section of Logic 28 (1):43-49.
  15.  8
    A Proof of Tarski’s Fixed Point Theorem by Application of Galois Connections.Marek Nowak - 2015 - Studia Logica 103 (2):287-301.
    Two examples of Galois connections and their dual forms are considered. One of them is applied to formulate a criterion when a given subset of a complete lattice forms a complete lattice. The second, closely related to the first, is used to prove in a short way the Knaster-Tarski’s fixed point theorem.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  4
    Zakres i treść nazwy wedug Kazimierza Ajdukiewicza (zastosowanie związków Galois).Marek Nowak - 2013 - Przeglad Filozoficzny - Nowa Seria 88 (4):315-329.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Dialogue and Culture.Marek Nowak - 2001 - Dialogue and Universalism 11 (4):99-122.
     
    Export citation  
     
    Bookmark  
  18. Fundamental Dialogue.Marek Nowak - 2001 - Dialogue and Universalism 11 (1):69-74.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Our Polish Romantic Bards and the Philosopher\'s Stone.Marek Nowak - 2002 - Dialogue and Universalism 12 (6-7):171-184.
     
    Export citation  
     
    Bookmark  
  20. Pedagogy and Therapy Through Universalising Differences.Marek Nowak - 2003 - Dialogue and Universalism 13 (9-10):109-116.
    No categories
     
    Export citation  
     
    Bookmark  
  21. To czyńcie na moją pamiątkę.Marek Nowak - 2004 - Przeglad Filozoficzny - Nowa Seria 49 (1):137-145.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. An Algebraic Analysis of the Logical Form of Propositions.Daniel Vanderveken & Marek Nowak - forthcoming - Logique Et Analyse.
     
    Export citation  
     
    Bookmark