Results for 'Tadeuz Traczyk'

35 found
Order:
  1.  12
    Semantical Considerations on Floyd-Hoare Logic.Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, Tadeuz Traczyk & Rohit Parikh - 1986 - Journal of Symbolic Logic 51 (1):225-227.
    Direct download  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*   13 citations  
  2.  5
    Pratt Vaughan R.. Semantical Considerations on Floyd–Hoare Logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York 1976, Pp. 109–121.Fischer Michael J. And Ladner Richard E.. Propositional Dynamic Logic of Regular Programs. Journal of Computer and System Sciences, Vol. 18 , Pp. 194–211.Segerberg Krister. A Completeness Theorem in the Modal Logic of Programs. Universal Algebra and Applications. Papers Presented at Stefan Banach International Mathematical Center at the Semester “Universal Algebra and Applications” Held February 15–June 9, 1978, Edited by Traczyk Tadeuz, Banach Center Publications, Vol. 9, PWN—Polish Scientific Publishers, Warsaw 1982, Pp. 31–46.Parikh Rohit. The Completeness of Propositional Dynamic Logic. Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4–8, 1978, Edited by Winkowski J., Lecture Notes in Computer Science, Vol. 64, Springer-Verla. [REVIEW]Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.
  3.  13
    The Perception of Visual Emotion: Comparing Different Measures of Awareness.Remigiusz Szczepanowski, Jakub Traczyk, Michał Wierzchoń & Axel Cleeremans - 2013 - Consciousness and Cognition 22 (1):212-220.
    Here, we explore the sensitivity of different awareness scales in revealing conscious reports on visual emotion perception. Participants were exposed to a backward masking task involving fearful faces and asked to rate their conscious awareness in perceiving emotion in facial expression using three different subjective measures: confidence ratings , with the conventional taxonomy of certainty, the perceptual awareness scale , through which participants categorize “raw” visual experience, and post-decision wagering , which involves economic categorization. Our results show that the CR (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*   11 citations  
  4.  3
    The Affective Bases of Risk Perception: Negative Feelings and Stress Mediate the Relationship Between Mental Imagery and Risk Perception.Agata Sobkow, Jakub Traczyk & Tomasz Zaleskiewicz - 2016 - Frontiers in Psychology 7.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*   1 citation  
  5.  3
    The Mechanism of Non-Numerical Anchoring Heuristic Based on Magnitude Priming: Is It Just the Basic Anchoring Effect in Disguise?Jakub Traczyk & Pawel Tomczak - 2017 - Polish Psychological Bulletin 48 (3):401-410.
    The anchoring heuristic refers to phenomena when an arbitrary number affects subsequent numerical estimations. Oppenheimer, LeBoeuf and Brewer showed that it is not necessary for the anchor to be a numerical value, yet current models describing the anchoring heuristic do not fully account for the mechanism of non-numerical anchoring. However, this effect shows similarity to the basic anchoring effect - obtained without the comparative question and based on the availability of the given number in working memory. In this study, we (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  6.  1
    Preferential Access to Emotion Under Attentional Blink: Evidence for Threshold Phenomenon.Lewis O. Harvey, Zhao Fan, Jakub Traczyk & Remigiusz Szczepanowski - 2015 - Polish Psychological Bulletin 46 (1):127-132.
    The present study provides evidence that the activation strength produced by emotional stimuli must pass a threshold level in order to be consciously perceived, contrary to the assumption of continuous quality of representation. An analysis of receiver operating characteristics for attentional blink performance was used to distinguish between two models of emotion perception by inspecting two different ROC’s shapes. Across all conditions, the results showed that performance in the attentional blink task was better described by the two-limbs ROC predicted by (...)
    Direct download  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  7.  1
    Attention-Driven Bias for Threat-Related Stimuli in Implicit Memory. Preliminary Results From the Posner Cueing Paradigm.Agata Sobków, Paweł Matusz & Jakub Traczyk - 2010 - Polish Psychological Bulletin 41 (4):163-171.
    Attention-driven bias for threat-related stimuli in implicit memory. Preliminary results from the Posner cueing paradigm An implicit memory advantage for angry faces was investigated in this experiment by means of an additional cueing task. Participants were to assess the orientation of a triangle's peak, which side of presentation was cued informatively by angry and neutral face stimuli, after which they immediately completed an unexpected "old-new" task on a set of the previously presented faces and new, distractor-faces. Surprisingly, the RTs were (...)
    Direct download  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  8.  1
    Chang Chen Chung and Horn Alfred. Prime Ideal Characterization of Generalized Post Algebras. Lattice Theory, Proceedings of Symposia in Pure Mathematics, Vol. 2 , Pp. 43–48. [REVIEW]Tadeusz Traczyk - 1969 - Journal of Symbolic Logic 34 (3):512.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  9.  1
    Review: Chen Chung Chang, Alfred Horn, Prime Ideal Characterization of Generalized Post Algebras. [REVIEW]Tadeusz Traczyk - 1969 - Journal of Symbolic Logic 34 (3):512-512.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  10. Creation of Rules Replacing Sets of Rules.Wiestaw Traczyk - 1996 - Esda 1996: Expert Systems and Ai; Neural Networks 7:107.
    No categories
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  11. Does Fear Increase Search Effort in More Numerate People? An Experimental Study Investigating Information Acquisition in a Decision From Experience Task.Jakub Traczyk, Dominik Lenda, Jakub Serek, Kamil Fulawka, Pawel Tomczak, Karol Strizyk, Anna Polec, Piotr Zjawiony & Agata Sobkow - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  12. Dwinger Ph.. Notes on Post Algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 69 , Pp. 462–478; Also Indagationes Mathematicae, Vol. 28 , Pp. 462–478. [REVIEW]Tadeusz Traczyk - 1969 - Journal of Symbolic Logic 33 (4):626.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  13. Epstein George. The Lattice Theory of Post Algebras. Transactions of the American Mathematical Society, Vol. 95 , Pp. 300–317. [REVIEW]Tadeusz Traczyk - 1969 - Journal of Symbolic Logic 33 (4):626.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  14. Neurohypophyseal Hormone Release.Wladyslaw Z. Traczyk - 1979 - Behavioral and Brain Sciences 2 (3):437.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  15. Review: George Epstein, The Lattice Theory of Post Algebras. [REVIEW]Tadeusz Traczyk - 1968 - Journal of Symbolic Logic 33 (4):626-626.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  16. Review: Ph. Dwinger, Notes on Post Algebras. [REVIEW]Tadeusz Traczyk - 1968 - Journal of Symbolic Logic 33 (4):626-626.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  17.  6
    Review: M. J. Maczynski, T. Traczyk, The $Mathfrak{M}$-Amalgamation Property for $Mathfrak{M}$-Distributive Boolean Algebra. [REVIEW]F. M. Yaqub - 1970 - Journal of Symbolic Logic 35 (2):346-347.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  18.  3
    Traczyk T.. On Post Algebras with Uncountable Chain of Constants. Algebras of Homomorphisms. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 15 , Pp. 673–680. [REVIEW]Don Pigozzi - 1972 - Journal of Symbolic Logic 37 (1):188-189.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  19.  2
    Traczyk T.. On Axioms and Some Properties of Post Algebras. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 10 , Pp. 509–512.Traczyk T.. Axioms and Some Properties of Post Algebras. Colloquium Mathematicum, Vol. 10 , Pp. 193–209.Traczyk T.. A Generalization of the Loomis-Sikorski Theorem. Colloquium Mathematicum, Vol. 12 , Pp. 155–161. [REVIEW]George Grätzer - 1969 - Journal of Symbolic Logic 34 (1):121.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  20.  2
    Traczyk T.. Minimal Extensions of Weakly Distributive Boolean Algebras. Colloquium Mathematicum, Vol. 11 No. 1 , Pp. 17–24. [REVIEW]R. S. Pierce - 1967 - Journal of Symbolic Logic 32 (3):414-415.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  21.  2
    Review: T. Traczyk, Weak Isomorphisms of Boolean and Post Algebras. [REVIEW]G. Gratzer - 1969 - Journal of Symbolic Logic 34 (4):653-653.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  22.  1
    Sikorski R. And Traczyk T.. On Free Products of M-Distributive Boolean Algebras. Colloquium Mathematicum, Vol. 11 No. 1 , Pp. 13–16. [REVIEW]R. S. Pierce - 1967 - Journal of Symbolic Logic 32 (3):414.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  23.  1
    Review: T. Traczyk, On Axioms and Some Properties of Post Algebras; T. Traczyk, Axioms and Some Properties of Post Algebras; T. Traczyk, A Generalization of the Loomis-Sikorski Theorem. [REVIEW]George Gratzer - 1969 - Journal of Symbolic Logic 34 (1):121-121.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  24. Review: T. Traczyk, Some Theorems on Independence in Post Algebras. [REVIEW]Ph Dwinger - 1969 - Journal of Symbolic Logic 34 (2):303-303.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  25. Review: T. Traczyk, An Equational Definition of a Class of Post Algebras. [REVIEW]Ph Dwinger - 1969 - Journal of Symbolic Logic 34 (2):303-303.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  26. Review: T. Traczyk, Prime Ideals in Generalized Post Algebras. [REVIEW]Ph Dwinger - 1972 - Journal of Symbolic Logic 37 (1):189-189.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  27. Traczyk T.. An Equational Definition of a Class of Post Algebras. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 12 , Pp. 147–149. [REVIEW]Ph Dwinger - 1969 - Journal of Symbolic Logic 34 (2):303.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  28. Traczyk T.. Prime Ideals in Generalized Post Algebras. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 15 , Pp. 369–373. [REVIEW]Ph Dwinger - 1972 - Journal of Symbolic Logic 37 (1):189.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  29. Traczyk T.. Some Theorems on Independence in Post Algebras. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 11 , Pp. 3–8. [REVIEW]Ph Dwinger - 1969 - Journal of Symbolic Logic 34 (2):303.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  30. Traczyk T.. Weak Isomorphisms of Boolean and Post Algebras. Colloquium Mathematicum, Vol. 13 No. 2 , Pp. 159–164.G. Grátzer - 1969 - Journal of Symbolic Logic 34 (4):653.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  31. Review: R. Sikorski, T. Traczyk, On Free Products of $Mathfrak{M}$-Distributive Boolean Algebras. [REVIEW]R. S. Pierce - 1967 - Journal of Symbolic Logic 32 (3):414-414.
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  32. Review: T. Traczyk, Minimal Extensions of Weakly Distributive Boolean Algebras. [REVIEW]R. S. Pierce - 1967 - Journal of Symbolic Logic 32 (3):414-415.
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  33. Review: T. Traczyk, On Post Algebras with Uncountable Chain of Constants. Algebras of Homomorphisms; Ph. Dwinger, Generalized Post Algebras. [REVIEW]Don Pigozzi - 1972 - Journal of Symbolic Logic 37 (1):188-189.
    Direct download  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  34. Mączyński M. J. And Traczyk T.. The M-Amalgamation Property for M-Distributive Boolean Algebras. English with Russian Summary. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 15 , Pp. 57–60. [REVIEW]F. M. Yaqub - 1970 - Journal of Symbolic Logic 35 (2):346-347.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*  
  35.  10
    Topological Representations of Post Algebras of Order Ω+ and Open Theories Based on Ω+-Valued Post Logic.Helena Rasiowa - 1985 - Studia Logica 44 (4):353 - 368.
    Post algebras of order + as a semantic foundation for +-valued predicate calculi were examined in [5]. In this paper Post spaces of order + being a modification of Post spaces of order n2 (cf. Traczyk [8], Dwinger [1], Rasiowa [6]) are introduced and Post fields of order + are defined. A representation theorem for Post algebras of order + as Post fields of sets is proved. Moreover necessary and sufficient conditions for the existence of representations preserving a given (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   Delete*   Oldify*   2 citations