Results for 'Tadeuz Traczyk'

33 found
Order:
  1.  37
    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  
     
    Bookmark   56 citations  
  2.  38
    Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 , pp. 194–211. - Krister Segerberg. 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 Tadeuz Traczyk, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, pp. 31–46. - Rohit Parikh. The completeness of propositional dynamic logic. Mathematical foundations of computer science 1978, Proceedings, 7th symposium, Zakopane, Poland, September 4–8, 1978, edited by J. Winkowski, Lecture notes in computer science, vol. 64, Springe. [REVIEW]Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.
  3.  43
    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 (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  4.  8
    Numeracy moderates the influence of task-irrelevant affect on probability weighting.Jakub Traczyk & Kamil Fulawka - 2016 - Cognition 151 (C):37-41.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  15
    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:371286.
    The aim of this study was to investigate the effect of numeracy and the emotion of fear on the decision-making process. While previous research demonstrated that these factors are independently related to search effort, search policy and choice in a decision from experience task, less is known about how their interaction contributes to processing information under uncertainty. We attempted to address this problem and to fill this gap. In the present study, we hypothesized that more numerate people would sample more (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  19
    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 (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7. Creation of rules replacing sets of rules.Wiestaw Traczyk - 1996 - Esda 1996: Expert Systems and Ai; Neural Networks 7:107.
    No categories
     
    Export citation  
     
    Bookmark  
  8.  7
    Neurohypophyseal hormone release.Wladyslaw Z. Traczyk - 1979 - Behavioral and Brain Sciences 2 (3):437-437.
  9.  14
    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  
     
    Bookmark  
  10.  9
    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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  15
    Chen Chung Chang and Alfred Horn. 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.
  12.  9
    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-626.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  16
    George Epstein. 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.
  14.  12
    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.
  15.  7
    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  
     
    Bookmark  
  16.  8
    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  
     
    Bookmark  
  17.  8
    Worry, Risk Perception, and Controllability Predict Intentions Toward COVID-19 Preventive Behaviors.Agata Sobkow, Tomasz Zaleskiewicz, Dafina Petrova, Rocio Garcia-Retamero & Jakub Traczyk - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  19
    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  
     
    Bookmark  
  19.  11
    T. Traczyk. Weak isomorphisms of Boolean and Post algebras. Colloquium mathematicum, vol. 13 no. 2 (1965), pp. 159–164.G. Grátzer - 1970 - Journal of Symbolic Logic 34 (4):653-653.
  20.  21
    T. Traczyk. 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. - T. Traczyk. Axioms and some properties of Post algebras. Colloquium mathematicum, vol. 10 , pp. 193–209. - T. Traczyk. A generalization of the Loomis-Sikorski theorem.Colloquium mathematicum, vol. 12 , pp. 155–161. [REVIEW]George Gratzer - 1969 - Journal of Symbolic Logic 34 (1):121-121.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21.  22
    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-189.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  19
    T. Traczyk. 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 (1963), pp. 3–8. [REVIEW]Ph Dwinger - 1969 - Journal of Symbolic Logic 34 (2):303-303.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  23.  16
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  30
    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 (5 more)  
     
    Export citation  
     
    Bookmark  
  25.  6
    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  
     
    Bookmark  
  26.  11
    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  
     
    Bookmark  
  27.  9
    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  
     
    Bookmark  
  28. 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  
     
    Bookmark  
  29. Review: T. Traczyk, Minimal Extensions of Weakly Distributive Boolean Algebras. [REVIEW]R. S. Pierce - 1967 - Journal of Symbolic Logic 32 (3):414-415.
  30.  26
    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-414.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31.  7
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  25
    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.
  33.  24
    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 (4 more)  
     
    Export citation  
     
    Bookmark   3 citations