Results for 'Agata Wnukiewicz-Kozłowska'

(not author) ( search as author name )
293 found
Order:
  1.  8
    Modelowe rozwiązania w zakresie organizacji i funkcjonowania polskiego narodowego (centralnego) komitetu bioetyki.Agata Wnukiewicz-Kozłowska & Jan Borysowski - 2022 - Etyka 60 (1):31-65.
    W wielu państwach funkcjonują narodowe/centralne komitety bioetyki, których rolą jest monitorowanie i opiniowanie aktualnych problemów bioetycznych pojawiających się ze względu na postęp wiedzy medycznej oraz nauk biologicznych. Procedura ich powoływania oraz sposoby działania, a także wpływ na praktykę różnią się w poszczególnych krajach. UNESCO opracowała szereg wskazówek dotyczących organizacji i funkcjonowania tego typu ciał. W Polsce istnieje potrzeba sprecyzowania zasad działania narodowego/centralnego komitetu bioetyki. Celem tekstu jest przegląd prawnych możliwości powoływania i funkcjonowania komitetów bioetycznych o charakterze narodowym/centralnym wraz z przedstawieniem (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  50
    The admissibility of research in emergency medicine.Agata Wnukiewicz-Kozłowska - 2007 - Science and Engineering Ethics 13 (3):315-332.
    The main goal in this paper is to present the legal rules connected with medical experiment on human beings in emergency medicine and to explain the scope, significance, and meaning of these rules, especially with regard to their interpretation. As the provisions about medical experiments truly make sense only if they can be observed by the whole “civilised” international community, they are presented in the context of international law with reference to Polish law. By considering the appropriate regulations of research (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  5
    Podmiotowość w prawie międzynarodowym.Barbara Mielnik & Agata Wnukiewicz-Kozłowska (eds.) - 2013 - Wrocław: Wydawnictwo Uniwersytetu Wrocławskiego.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  41
    Processing Topics from the Beneficial Cognitive Model in Partially and Over-Successful Persuasion Dialogues.Kamila Debowska-Kozlowska - 2014 - Argumentation 28 (3):325-339.
    A persuasion dialogue is a dialogue in which a conflict between agents with respect to their points of view arises at the beginning of the talk and the agents have the shared, global goal of resolving the conflict and at least one agent has the persuasive aim to convince the other party to accept an opposing point of view. I argue that the persuasive force of argument may have not only extreme values but also intermediate strength. That is, I wish (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  12
    Lecture de Merleau-Ponty et Levinas: le corps, le monde, l'autre.Agata Zielinski - 2002 - Paris: Presses universitaires de France.
    L'originalité de cet ouvrage consiste à poser à deux philosophes contemporains français des questions-clefs de la phénoménologie que jusqu'ici on ne posait guère qu'à Husserl. Ce changement de perspective permet de lire autrement des problèmes essentiels de ce champ philosophique : la corporéité, la relation à autrui, l'être au monde. Le renouveau actuel de l'intérêt pour Merleau-Ponty et Levinas, que l'on commence enfin à étudier pour eux-mêmes et non plus simplement comme des disciples plus ou moins fidèles de la phénoménologie (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. The moral status of stem cells.Agata Sagan & Peter Singer - 2007 - Metaphilosophy 38 (2-3):264–284.
    What moral status should we attribute to stem cells? To answer this neglected question, we look in this essay at the properties of embryos and other entities that could develop into beings who have uncontested moral status, namely, adult humans. Our analysis indicates that those who grant moral status to embryos should also grant it to stem cells. This has implications that verge on absurdity, since even if we were to try to do what we can to protect these entities, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  7.  22
    Equal in the presence of death?Agata Sagan - 2015 - Journal of Medical Ethics 41 (8):584-584.
  8.  1
    Proving Domestic Violence as Gender Structural Discrimination before the European Court of Human Rights.Katarzyna Sękowska-Kozłowska - forthcoming - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique:1-13.
    Since Opuz v. Turkey (2009), the European Court of Human Rights (ECHR) delivered over a dozen judgments in which it examined domestic violence through the prism of gender-based discrimination. Apart from the individual circumstances of the cases, the Court considered the general approach to domestic violence in the defendant states, searching for a large-scale structural gender bias. Hence, although the Court has not directly referred to the notion of “structural discrimination” in relation to domestic violence, it engaged in unveiling this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  13
    Threats, Victims and Unimaginable Subjects of Rights: A Genealogy of Sex Worker Governance in Poland.Agata Dziuban - 2024 - Studies in Social Justice 18 (2):243-263.
    This paper sketches the emergence of, and shifts within, the social, legal, and political figurations of sex workers in Poland. By adopting a genealogical perspective, I investigate how sex workers have been (re)constituted as subjects of governance and unimaginable social justice claimants in legislation, political debates, and law enforcement strategies. With a broad temporal scope, this article traces continuities, transformations, and disruptions within modes of sex work governance in Poland from the adoption of the first laws relating to sex work (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  30
    Hypersequent and Display Calculi – a Unified Perspective.Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing - 2014 - Studia Logica 102 (6):1245-1294.
    This paper presents an overview of the methods of hypersequents and display sequents in the proof theory of non-classical logics. In contrast with existing surveys dedicated to hypersequent calculi or to display calculi, our aim is to provide a unified perspective on these two formalisms highlighting their differences and similarities and discussing applications and recent results connecting and comparing them.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  11.  19
    Cultural and psychological variables predicting academic dishonesty: a cross-sectional study in nine countries.Agata Błachnio, Andrzej Cudo, Paweł Kot, Małgorzata Torój, Kwaku Oppong Asante, Violeta Enea, Menachem Ben-Ezra, Barbara Caci, Sergio Alexis Dominguez-Lara, Nuworza Kugbey, Sadia Malik, Rocco Servidio, Arun Tipandjan & Michelle F. Wright - 2022 - Ethics and Behavior 32 (1):44-89.
    Academic dishonesty has serious consequences for human lives, social values, and economy. The main aim of the study was to explore a model of relations between personal and cultural variables and academic dishonesty. The participants in the study were N = 2,586 individuals from nine countries (Pakistan, Israel, Italy, India, the USA, Peru, Romania, Ghana, and Poland). The authors administered the Academic Dishonesty Scale to measure academic dishonesty, the Kessler Psychological Distress Scale to measure distress, the Almost Perfect Scale – (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12. Display to Labeled Proofs and Back Again for Tense Logics.Agata Ciabattoni, Tim Lyon, Revantha Ramanayake & Alwen Tiu - 2021 - ACM Transactions on Computational Logic 22 (3):1-31.
    We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  22
    Postawa, jako trójczynnikowy model określający istotę dobra.Agata Żaroń - 2013 - Filo-Sofija 13 (20).
    Agata Żaroń An Attitude as a Three-Determinant Model Defining the Essence of GoodPeople have always been trying to find a principle that could define the essence of good. The present paper propounds a model, based on moral attitudes, which takes into account three determinants: emotional, cognitive and behavioral ones. The first is connected with feelings, especially with moral emotions and sensibility, the second is based primarily on intellectual reflection, which creates appropriate beliefs. They both motivate people to good or (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  14.  13
    The New Biology as an Example of Newspeak: The Case of Polish Zoology, 1948–1956.Agata Strządała - 2020 - Journal of the History of Biology 53 (1):141-157.
    The “New Biology” that arose in the Eastern Block during Stalinist times was based on the idea of the heritability of acquired characteristics. In rejecting the paradigm of Mendelian chromosome genetics as well as science-based farming, the New Biology led to a deterioration of scientific life and the free exchange of ideas. In imposing Lysenko’s ideas onto zoology, the New Biology adopted the totalitarian language of Newspeak, which dominated public discourse in communist countries. Newspeak had several defining elements: a limited (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  5
    Ekonomia jako nauka pozytywna. Refleksje na marginesie „Ekonomii dobra i zła” Tomáša Sedláčka.Joanna Dzionek-Kozłowska - 2013 - Annales. Ethics in Economic Life 16:335-344.
    One of the fundamental methodological problems of economics as a separate science is the question whether economic theorists are able to restrict themselves to the description of facts without assessing them. Is it possible to create an economic theory utterly deprived of value judgements? In other words – is economics a positive science? This problem is still debatable, notwithstanding efforts to eradicate all value judgements from economic analysis and to treat it as a touchstone of the scientificity of economic reasoning. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  85
    Algebraic proof theory for substructural logics: cut-elimination and completions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2012 - Annals of Pure and Applied Logic 163 (3):266-290.
  17.  21
    “Agreement Builds and Disagreement Destroys:” How Polish Undergraduates and Graduates Understand Interpersonal Arguing.Kamila Dębowska-Kozłowska & Dale Hample - 2022 - Argumentation 36 (3):365-392.
    This is a descriptive study (_N_ = 243) of how Polish undergraduates and graduates perceive face to face arguing. We had some reasons to suppose that they would not be especially aggressive. The Polish culture has a number of proverbs warning against combative arguing, with “agreement builds and disagreement destroys” being illustrative. In addition, up until 1989 public dissent and open disagreements were suppressed by the government, and older generations often found it prudent to avoid arguing. We compared Polish results (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  22
    Managing the Risk of Adverse Events Using the Example of a Hospital in Wroclaw.Agata Lisiewicz Kaleta, Aleksandra Sierocka, Petre Iltchev & Michał Marczak - 2014 - Studies in Logic, Grammar and Rhetoric 39 (1):155-166.
    Health Care Centres are institutions which, because of their specificity and character, are particularly exposed to various kinds of risk. One of the most important and most frequently used methods of risk management is the black spots method. The research material collected for the study comes from one of the hospitals in Wrocław. All hospital stays of the C22 (Face and Jaw Surgery Ward) and H05 (Injury and Orthopaedics Surgery Ward) settlement groups (DRG) were analysed - a total of 178 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  13
    Sexist Hate Speech and the International Human Rights Law: Towards Legal Recognition of the Phenomenon by the United Nations and the Council of Europe.Katarzyna Sękowska-Kozłowska, Grażyna Baranowska & Aleksandra Gliszczyńska-Grabias - 2022 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 35 (6):2323-2345.
    For many women and girls sexist and misogynistic language is an everyday experience. Some instances of this speech can be categorized as ‘sexist hate speech’, as not only having an insulting or degrading character towards the individuals to whom the speech is addressed, but also resonating with the entire group, contributing to its silencing, marginalization and exclusion. The aim of this article is to examine how sexist hate speech is handled in international human rights law. The argument derives from the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  29
    Towards Responsible and Sustainable Supply Chains – Innovation, Multi-stakeholder Approach and Governance.Agata Gurzawska - 2020 - Philosophy of Management 19 (3):267-295.
    Supply chains are an indispensable element of any global economy. At the same time such supply chains create a societal and environmental burden. Drastic actions are required to mitigate these effects. Supply chains should become responsible and sustainable (where responsibility and sustainability are understood in a broad sense) addressing economic, political, societal, legal, human rights, ethical and environmental concerns. This research shifts from the question of why companies should implement responsibility and sustainability into supply chains, to how they should do (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  70
    Attachment Patterns in Children and Adolescents With Gender Dysphoria.Kasia Kozlowska, Catherine Chudleigh, Georgia McClure, Ann M. Maguire & Geoffrey R. Ambler - 2021 - Frontiers in Psychology 11.
    The current study examines patterns of attachment/self-protective strategies and rates of unresolved loss/trauma in children and adolescents presenting to a multidisciplinary gender service. Fifty-seven children and adolescents (8.42–15.92 years; 24 birth-assigned males and 33 birth-assigned females) presenting with gender dysphoria participated in structured attachment interviews coded using dynamic-maturational model (DMM) discourse analysis. The children with gender dysphoria were compared to age- and sex-matched children from the community (non-clinical group) and a group of school-age children with mixed psychiatric disorders (mixed psychiatric (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  30
    Algebraic proof theory: Hypersequents and hypercompletions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2017 - Annals of Pure and Applied Logic 168 (3):693-737.
  23.  70
    Mīmāṃsā deontic logic: proof theory and applications.Agata Ciabattoni, Francesco Antonio Genco, Björn Lellmann & Elisa Freschi - 2015 - In Hans De Nivelle (ed.), Automated Reasoning with Analytic Tableaux and Related Methods. Springer. pp. 323--338.
  24.  23
    Dwarfism in Imperial Rome: A Case of Skeletal Evidence.Simona Minozzi Agata Lunardini & Paola Catalano Davide Caramella - 2013 - Journal of Clinical Research and Bioethics 4 (3).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  8
    „Fail better”, czyli jak poprawić improwizację.Agata Żaglewska - 2022 - Acta Universitatis Lodziensis. Folia Litteraria Polonica 64 (1):75-91.
    W tym artykule wskazuję związki filomackiej poezji okolicznościowej z improwizacją poetycką. Na podstawie analizy autografów dwóch wybranych utworów – Jambu dla Jana II Tomasza Zana i Odezwy spod stołu Teodora Łozińskiego – uzasadniam tezę, że jamby przedstawiane podczas imieninowych fet to przykłady improwizacji w piśmie. Analizowane utwory intensyfikują dwie najbardziej charakterystyczne cechy jambografii – zawrotną szybkość tworzenia (Zan) i wynikające z niej niedopracowanie, bylejakość wypowiedzi poetyckiej (Łoziński). Zwracam uwagę na uzupełnianie się kodów lingwistycznych i materialnych, tj. wzmożenie podanych cech zawartych (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  10
    Metarefleksje o makroekonomii i polityce makroekonomicznej.Joanna Dzionek-Kozłowska - 2019 - Philosophical Problems in Science 67:262-268.
    Book review: Tomasz Kwarciński, Agnieszka Wincewicz-Price, Metaekonomia II. Zagadnienia z filozofii makroekonomii, Kraków, Copernicus Center Press 2019.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  8
    Political Corruption and Electoral Systems Seen with Economists’ Lenses.Joanna Dzionek-Kozłowska - 2014 - Annales. Ethics in Economic Life 17 (4):79-92.
    The ongoing process of democratisation lead to the growing importance of the electoral systems that regulate the procedures of gaining and legitimizing power in democracy. Taking it into account it is worth asking about the relationship between these particular ‘game rules’ contained into electoral law and the respect of the rule of law, being one of the basic norms of a democratic system. A question then may be raised about the existence and the character of the relation between electoral systems (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Kryptoteologie deleuzjanizmu: wokół książki Michała Herera ( Gilles Deleuze . Struktury-maszyny-kreacje).Agata Bielik- Robson - 2007 - Kronos - metafizyka, kultura, religia 1:139-153.
     
    Export citation  
     
    Bookmark  
  29.  13
    Definite descriptions of events: progressive interpretation in Ga.Agata Renans - 2019 - Linguistics and Philosophy 44 (2):237-279.
    This paper demonstrates that the progressive interpretation in Ga is an effect of the interaction between the imperfective aspect and a definite description of events. Crucially, the data from Ga point to the consequences of the view that definite descriptions of events encode the familiarity of the discourse referent and its uniqueness in bearing the property in question. Namely, they yield direct evidentiality and the necessary ongoingness of the event at the topic time. Thus, the paper identifies previously unattested variation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  14
    Definite descriptions of events: progressive interpretation in Ga.Agata Renans - 2019 - Linguistics and Philosophy 44 (2):237-279.
    This paper demonstrates that the progressive interpretation in Ga is an effect of the interaction between the imperfective aspect and a definite description of events. Crucially, the data from Ga point to the consequences of the view that definite descriptions of events encode the familiarity of the discourse referent and its uniqueness in bearing the property in question. Namely, they yield direct evidentiality and the necessary ongoingness of the event at the topic time. Thus, the paper identifies previously unattested variation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  12
    Definite descriptions of events: progressive interpretation in Ga.Agata Renans - 2019 - Linguistics and Philosophy 44 (2):237-279.
    This paper demonstrates that the progressive interpretation in Ga is an effect of the interaction between the imperfective aspect and a definite description of events. Crucially, the data from Ga point to the consequences of the view that definite descriptions of events encode the familiarity of the discourse referent and its uniqueness in bearing the property in question. Namely, they yield direct evidentiality and the necessary ongoingness of the event at the topic time. Thus, the paper identifies previously unattested variation (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  12
    Definite descriptions of events: progressive interpretation in Ga.Agata Renans - 2019 - Linguistics and Philosophy 44 (2):237-279.
    This paper demonstrates that the progressive interpretation in Ga is an effect of the interaction between the imperfective aspect and a definite description of events. Crucially, the data from Ga point to the consequences of the view that definite descriptions of events encode the familiarity of the discourse referent and its uniqueness in bearing the property in question. Namely, they yield direct evidentiality and the necessary ongoingness of the event at the topic time. Thus, the paper identifies previously unattested variation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  13
    Traumatic Stress in Healthcare Workers During COVID-19 Pandemic: A Review of the Immediate Impact. [REVIEW]Agata Benfante, Marialaura Di Tella, Annunziata Romeo & Lorys Castelli - 2020 - Frontiers in Psychology 11.
  34.  16
    Two Types of Choice-Functional Indefinites: Evidence from Ga.Agata Renans - 2018 - Topoi 37 (3):405-415.
    There is a longstanding discussion whether wide-scope indefinites denote choice functions that are existentially bound or remain free. Data from Ga, an under-researched language spoken in Ghana, show that there are wide-scope indefinites denoting existentially bound skolemized choice functions whose parameter is bound by a higher quantificational NP, free skolemized choice functions with the speaker or a higher quantificational NP as a parameter, and narrow scope quantificational indefinites. Thus the data show that both existentially bound and free skolemized choice functions (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Biofabbriche. Sul “futuro della natura umana”.Agata Cecilia Amato - 2004 - Rivista Internazionale di Filosofia Del Diritto 81.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  8
    The Concept of Subject in Julia Kristeva’s Theory – an Attempt at Reconstruction.Agata Czarnacka - 2007 - Idea. Studia Nad Strukturą I Rozwojem Pojęć Filozoficznych 19:107-114.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  14
    The contemporary model manager as a new man the creator.Agata Dembek - 2013 - International Journal of Management Concepts and Philosophy 7 (2):103.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  13
    La clarté rédactionnelle en droit : une réflexion pluridisciplinaire.Agata de Laforcade - 2019 - Revue D’Études Benthamiennes 15.
    Introduction Dans le cadre d’une convention de collaboration scientifique, l’Università degli Studi di Milano et l’ISIT de Paris ont organisé une journée d’étude internationale sur la clarté rédactionnelle en droit. L’objectif de cette manifestation était de favoriser les échanges pluridisciplinaires visant une meilleure compréhension du droit dans un contexte multilingue, international et multiprofessionnel. Le langage juridique est un vocabulaire technique, souvent difficile à comprendre su...
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  14
    The Allure of Tyrannical Leaders: Moral Foundations, Belief in a Dangerous World, and Follower Gender.Agata Mirowska, Raymond B. Chiu & Rick D. Hackett - 2021 - Journal of Business Ethics 181 (2):355-374.
    AbstractWhat explains followers’ attraction to tyrannical leaders? They systematically coerce, belittle, and manipulate, often at the expense of subordinates’ mental and physical well-being and their organization’s long-term interests. To help address the question, we examine the tendencies of people who view the tyrannical leader prototype (characterized by domineering, pushy, manipulative, loud, conceited, and selfish traits) as a component of effective leadership (Epitropaki and Martin in J Appl Psychol 89:293–310, 2004; Foti et al. in Leadersh Q 23:702–717, 2012). Specifically, we apply (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. Przemoc w narracji i etyce Simone Weil.Agata Sapkowska - 2002 - Nowa Krytyka 12:65-80.
     
    Export citation  
     
    Bookmark  
  41. Wieczność i trzy gesty błazna (Pascal, Nietzsche, Simone Weil).Agata Sapkowska - 2000 - Sztuka I Filozofia (Art and Philosophy) 18:254.
     
    Export citation  
     
    Bookmark  
  42. From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni, Tim Lyon & Revantha Ramanayake - 2018 - In Anil Nerode & Sergei Artemov (eds.), Logical Foundations of Computer Science. Springer International Publishing. pp. 120 - 139.
    We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  43.  33
    Cultural and Personality Predictors of Facebook Intrusion: A Cross-Cultural Study.Błachnio Agata, Przepiorka Aneta, Benvenuti Martina, Cannata Davide, M. Ciobanu Adela, Senol-Durak Emre, Durak Mithat, N. Giannakos Michail, Mazzoni Elvis, O. Pappas Ilias, Popa Camelia, Seidman Gwendolyn, Yu Shu, M. S. Wu Anise & Ben-Ezra Menachem - 2016 - Frontiers in Psychology 7.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  47
    Towards a Semantic Characterization of Cut-Elimination.Agata Ciabattoni & Kazushige Terui - 2006 - Studia Logica 82 (1):95-119.
    We introduce necessary and sufficient conditions for a (single-conclusion) sequent calculus to admit (reductive) cut-elimination. Our conditions are formulated both syntactically and semantically.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  45.  15
    Bounded-analytic sequent calculi and embeddings for hypersequent logics.Agata Ciabattoni, Timo Lang & Revantha Ramanayake - 2021 - Journal of Symbolic Logic 86 (2):635-668.
    A sequent calculus with the subformula property has long been recognised as a highly favourable starting point for the proof theoretic investigation of a logic. However, most logics of interest cannot be presented using a sequent calculus with the subformula property. In response, many formalisms more intricate than the sequent calculus have been formulated. In this work we identify an alternative: retain the sequent calculus but generalise the subformula property to permit specific axiom substitutions and their subformulas. Our investigation leads (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Koncepcja podmiotu w teorii Julii Kristevej - próba rekonstrukcji.Agata Czernacka - 2007 - Idea Studia nad strukturą i rozwojem pojęć filozoficznych 19 (19).
     
    Export citation  
     
    Bookmark  
  47.  10
    A che serve credere: Dio e Marx sembrerebbero morti ma forse non erano loro.Raffaele D'Agata - 2020 - Ancona: Affinità elettive.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  46
    A proof-theoretical investigation of global intuitionistic (fuzzy) logic.Agata Ciabattoni - 2005 - Archive for Mathematical Logic 44 (4):435-457.
    We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced by Takeuti and Titani to formulate an intuitionistic set theory and an intuitionistic fuzzy set theory together with their metatheories. Here we define analytic Gentzen style calculi for GI and GIF. Among other things, these calculi allows one to prove Herbrand’s theorem for suitable fragments of GI and GIF.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  49.  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  
  50. W poszukiwaniu prawdy o człowieku. Diokles Henryka Sienkiewicza.Agata Skała - forthcoming - Estetyka I Krytyka 17 (17/18):237-248.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 293