Results for 'Michal Kuz'

982 found
Order:
  1.  27
    Tocqueville’s Dual Theory of Revolution.Michal Kuz - 2015 - The European Legacy 20 (1):41-55.
    Alexis de Tocqueville’s political thought is often seen as inconsistent for offering two apparently dissimilar theories of revolution. The first is universal democratisation, understood as a social phenomenon and a grand revolutionary change; the second sees revolution as the logical continuation and radicalisation of the preceding regime. The following question arises: was Tocqueville inconsistent in his principal works? I argue that this was not the case and that the two processes are complementary elements in Tocqueville’s model, which combines the ancient (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Robotic Nudges for Moral Improvement through Stoic Practice.Michał Klincewicz - 2019 - Techné: Research in Philosophy and Technology 23 (3):425-455.
    This paper offers a theoretical framework that can be used to derive viable engineering strategies for the design and development of robots that can nudge people towards moral improvement. The framework relies on research in developmental psychology and insights from Stoic ethics. Stoicism recommends contemplative practices that over time help one develop dispositions to behave in ways that improve the functioning of mechanisms that are constitutive of moral cognition. Robots can nudge individuals towards these practices and can therefore help develop (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  3.  15
    Mental Shopping Calculations: A Transcranial Magnetic Stimulation Study.Michal Klichowski & Gregory Kroliczak - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  43
    On the semantics of the Henkin quantifier.Michał Krynicki & Alistair H. Lachlan - 1979 - Journal of Symbolic Logic 44 (2):184-200.
  5.  36
    Brexit and the imaginary of ‘crisis’: a discourse-conceptual analysis of European news media.Michał Krzyżanowski - 2019 - Critical Discourse Studies 16 (4):465-490.
    This article explores the discourse-conceptual linkages between ‘Brexit’ and ‘crisis’ in European news media reporting about the UK referendum on leaving the European Union of 23 June 2016. The study examines media discourse about the Brexit vote in Austria, Germany, Poland and Sweden at the transformative moment in between the pre/after vote period. The conceptually-oriented critical discourse analysis shows how Brexit was not only constructed as an imaginary or a future crisis but also how its mediated visions were made real (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  28
    Husserl and the Radical Individuality of the Aesthetic Object.Michal Lipták - 2024 - Husserl Studies 40 (2):107-128.
    Despite the fact that Husserl did not write a book on aesthetics, it is widely accepted that a Husserlian aesthetics can be developed from his writings. In this article, I describe and analyze a feature of Husserlian aesthetics which I call the “radical individuality of the aesthetic object.” This radical individuality stems from Husserl’s interpretation of aesthetic consciousness in terms of the neutrality modification. I make the case for a radical reading of the neutrality modification by contrasting it with the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  26
    Hierarchies of Partially Ordered Connectives and Quantifiers.Michał Krynicki - 1993 - Mathematical Logic Quarterly 39 (1):287-294.
    Connections between partially ordered connectives and Henkin quantifiers are considered. It is proved that the logic with all partially ordered connectives and the logic with all Henkin quantifiers coincide. This implies that the hierarchy of partially ordered connectives is strongly hierarchical and gives several nondefinability results between some of them. It is also deduced that each Henkin quantifier can be defined by a quantifier of the form equation imagewhat is a strengthening of the Walkoe result. MSC: 03C80.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  8.  12
    What Is a Neganthropic Institution?Michał Krzykawski - 2022 - Theory, Culture and Society 39 (7-8):99-115.
    This article discusses the relation between the institutions and the production of entropy as read by Bernard Stiegler and locates this discussion within a more specific debate on institutions in advanced capitalism. Commenting on Stiegler’s approach to the concept of entropy, the article brings into focus the institutional strand of Stiegler’s increasingly hurried writings where this concept is discussed and reframes his critique of political economy as ‘neganthropology’ in relation to what I describe as neganthropic institutions. A full explanation of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Conscious experience of time: Its significance and interpretation in neuroscience and philosophy.Michał Klincewicz & Sophie Herbst - 2015 - Consciousness and Cognition 38:151-154.
  10.  22
    The color red attracts attention in an emotional context. An ERP study.Michał Kuniecki, Joanna Pilarczyk & Szymon Wichary - 2015 - Frontiers in Human Neuroscience 9.
  11.  38
    Towards Idiodiversity.Michał Krzykawski - 2021 - Philosophy Today 65 (2):265-287.
    This article discusses translation as a technique of doing philosophy and introduces the concept of idiodiversity as an alternative to the current model of automated translation machines. The dominant functionalist approach to technology has made these machines the agents of linguistic homogenisation, which constitutes a threat for the diversity of idiomatic open systems this article advocates for. However, as this article argues, the challenge is not merely to accuse automated translation technologies of impoverishing the knowledge of how to translate but, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  32
    Shades of Awareness on the Mechanisms Underlying the Quality of Conscious Representations: A Commentary to Fazekas and Overgaard ().Anna Anzulewicz & Michał Wierzchoń - 2018 - Cognitive Science 42 (6):2095-2100.
    Fazekas and Overgaard () present a novel, multidimensional model that explains different ways in which conscious representations can be degraded. Moreover, the authors discuss possible mechanisms that underlie different kinds of degradation, primarily those related to attentional processing. In this letter, we argue that the proposed mechanisms are not sufficient. We propose that attentional mechanisms work differently at various processing stages; and factors that are independent of attentional ones, such as expectation, previous experience, and context, should be accounted for if (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Making metaethics work for AI: realism and anti-realism.Michal Klincewicz & Lily E. Frank - 2018 - In Mark Coeckelbergh, M. Loh, J. Funk, M. Seibt & J. Nørskov (eds.), Envisioning Robots in Society – Power, Politics, and Public Space. pp. 311-318.
    Engineering an artificial intelligence to play an advisory role in morally charged decision making will inevitably introduce meta-ethical positions into the design. Some of these positions, by informing the design and operation of the AI, will introduce risks. This paper offers an analysis of these potential risks along the realism/anti-realism dimension in metaethics and reveals that realism poses greater risks, but, on the other hand, anti-realism undermines the motivation for engineering a moral AI in the first place.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Understanding Perception of Time in Terms of Perception of Change.Michal Klincewicz - 2014 - Procedia - Social and Behavioral Sciences 126:58-63.
    In this paper, I offer an account of the dependence relation between perception of change and the subjective flow of time that is consistent with some extant empirical evidence from priming by unconscious change. This view is inspired by the one offered by William James, but it is articulated in the framework of contemporary functionalist accounts of mental qualities and higher-order theories of consciousness. An additional advantage of this account of the relationship between perception of change and subjective time is (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Distributive Full Lambek Calculus Has the Finite Model Property.Michał Kozak - 2009 - Studia Logica 91 (2):201-216.
    We prove the Finite Model Property (FMP) for Distributive Full Lambek Calculus ( DFL ) whose algebraic semantics is the class of distributive residuated lattices ( DRL ). The problem was left open in [8, 5]. We use the method of nuclei and quasi–embedding in the style of [10, 1].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16. Modernizacja szkół zawodowych w oparciu o programy rozwojowe.Andrzej Klimczuk & Michał Skarzyński - 2014 - In Marta Juchnicka (ed.), Formalnoprawne Aspekty Modernizacji Szkolnictwa Zawodowego. Izba Rzemieślnicza I Przedsiȩbiorczości. pp. 119--144.
    A. Klimczuk, M. Skarzyński, Modernizacja szkół zawodowych w oparciu o programy rozwojowe, [in:] M. Juchnicka, Formalnoprawne aspekty modernizacji szkolnictwa zawodowego, Izba Rzemieślnicza i Przedsiȩbiorczości, Białystok 2014, pp. 119-144.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  25
    Learning From Peers’ Eye Movements in the Absence of Expert Guidance: A Proof of Concept Using Laboratory Stock Trading, Eye Tracking, and Machine Learning.Michał Król & Magdalena Król - 2019 - Cognitive Science 43 (2):e12716.
    Existing research shows that people can improve their decision skills by learning what experts paid attention to when faced with the same problem. However, in domains like financial education, effective instruction requires frequent, personalized feedback given at the point of decision, which makes it time‐consuming for experts to provide and thus, prohibitively costly. We address this by demonstrating an automated feedback mechanism that allows amateur decision‐makers to learn what information to attend to from one another, rather than from an expert. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  33
    Depth as Nemesis: Merleau-Ponty’s Concept of Depth in Phenomenology of Perception, Art and Politics.Michal Lipták - 2021 - Human Studies 44 (2):255-281.
    The concept of depth is central to Merleau-Ponty’s phenomenology and informed not only his philosophy of perception but also his thinking about psychology, art and politics. This article traces the ways the notion of depth appears in Merleau-Ponty’s thinking in these fields, contrasting it with Husserl’s own phenomenological investigations. The article starts with a comparison of the function of perception in Husserl’s phenomenology and then proceeds with an analysis of how the issue of depth reappears in Merleau-Ponty’s phenomenology of perception, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  11
    People Copy the Actions of Artificial Intelligence.Michal Klichowski - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  13
    Cywilizacje w ujęciu Feliksa Konecznego a multikulturalizm we współczesnej Europie.Michał Kmieć - 2020 - Civitas. Studia Z Filozofii Polityki 20:199-224.
    The aim of this thesis is to describe contemporary cultural problems in Europe using the category of historiosophy developed by Feliks Koneczny. The author discusses the division of civilisations in Europe as described by Koneczny and his ‘historical laws’ which concern mutual relations between these civilisations. Nowadays, Europe is an area where five civilisations mix. One of them has appeared in Europe due to the mass migration of the Muslim population. According to Koneczny, there can be no synthesis between civilisations (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  17
    Mit apolityczności sportu w kontekście działań Międzynarodowego Komitetu Olimpijskiego.Michał M. Kobierecki - 2022 - International Studies. Interdisciplinary Political and Cultural Journal 27 (1):151-171.
    Artykuł poświęcony jest zagadnieniu apolitycznego charakteru sportu. Badania mają na celu prześledzenie stanowiska Międzynarodowego Komitetu Olimpijskiego wobec upolitycznienia sportu i skonfrontowanie go z faktyczną działalnością MKOl, którą można określić jako polityczną. Badania doprowadziły do wniosku, że apolityczny charakter sportu to tylko mit. Masowa popularność sportu skłoniła wiele państw do prób wykorzystania go do celów politycznych, zmuszając MKOl do zajmowania stanowisk politycznych i przenoszenia sporów politycznych na swoje forum.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  24
    Russia and Its International Image: From Sochi Olympic Games to Annexing Crimea.Michał Kobierecki - 2016 - International Studies. Interdisciplinary Political and Cultural Journal 18 (2):165-186.
    The aim of the article is to analyze the change of the Russian Federation’s international image in the light of two significant events: the Olympic Winter Games in 2014 in Sochi and the annexation of Crimea. According to the first hypothesis, one of the main aims for hosting the Olympic Games was to improve the international prestige of Russia. Shortly after the Olympics Russia increased its activity in Eastern Ukraine, which resulted in the annexation of the Crimean Peninsula. Therefore the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  82
    Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
    We investigate theories of initial segments of the standard models for arithmetics. It is easy to see that if the ordering relation is definable in the standard model then the decidability results can be transferred from the infinite model into the finite models. On the contrary we show that the Σ₂—theory of multiplication is undecidable in finite models. We show that this result is optimal by proving that the Σ₁—theory of multiplication and order is decidable in finite models as well (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24. Przygody cyfrowego tułacza.Michał Kłosiński - 2023 - Katowice: Wydawnictwo Uniwersytetu Śląskiego.
    No categories
     
    Export citation  
     
    Bookmark  
  25.  11
    The mission and message of music: building blocks to the aesthetics of music in our time.Michal Smoira-Cohn - 2010 - Newcastle upon Tyne: Cambridge Scholars Press. Edited by Herzl Shmueli & Michal Smoira-Cohn.
    This English version is rewritten with some chapters omitted and 2 new chapters added of the book in Hebrew: ha-Muzikah: shelihut u-vesorah: avne beniyah la-estetikah shel ha-muzikah by Mikhal Zemorah-Kohen and Hertsel Shemueli, published Or Yehudah: Devir, c2007.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  18
    (1 other version)On Some Applications of Games for Härtig Quantifier.Michal Krynicki - 1987 - Mathematical Logic Quarterly 33 (4):359-370.
  27.  19
    (1 other version)Quantifiers determined by partial orderings.Michal Krynicki - 1990 - Mathematical Logic Quarterly 36 (1):79-86.
  28.  37
    Technics and Desire in the Age of Automatization. From Marcuse to Stiegler.Michał Krzykawski - 2022 - Analiza I Egzystencja 59:135-156.
    This paper describes the relationship between technics and desire in light of Bernard Stiegler’s new critique of political economy. The starting point for the analysis is Stiegler’s critique of the reinterpretation of Freud’s legacy by Herbert Marcuse in Eros and Civilization. The context of the analysis is the ongoing mutation of consumer capitalism into computational capitalism—one in which automated calculation systems are used to control all forms of mental and affective human activity. Digital automatization, I argue, encourages a different view (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. What Does Consciousness Have to Do With It? Quality of Life in Patients With Disorders of Consciousness.Michal Klincewicz & Lily E. Frank - 2016 - American Journal of Bioethics Neuroscience 7 (1):50-52.
  30.  12
    „Kolęda, Nowe Lato i Szczodry Dzień” — geneza, rozwój i schyłek gatunku w XVII wieku.Michał Kuran - 2014 - Acta Universitatis Lodziensis. Folia Litteraria Polonica 25 (3):31-72.
    The article is proving that works arisen from the tradition of wishing carol, in which titles appeared a formula „Carol, The New Year and the Generous Day”, constitute a separate literary genre. What is more, works, which belong to it could exist in two forms: unified and cyclical. The genesis of the genre is regarded to appear in combining into one group the motives and symbols of the Christian holidays (from the Christmas through the Circumcision / the New Year to (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  13
    „Straszna” i „dziwna” zwykłość człowieka. Problem rozumienia postaci w dziele F. Dostojewskiego (w świetle opowiadania Wieczny mąż).Michał Kruszelnicki - 2021 - Przeglad Filozoficzny - Nowa Seria:245-263.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  17
    Special subsets of the generalized Cantor space and generalized Baire space.Michał Korch & Tomasz Weiss - 2020 - Mathematical Logic Quarterly 66 (4):418-437.
    In this paper, we are interested in parallels to the classical notions of special subsets in defined in the generalized Cantor and Baire spaces (2κ and ). We consider generalizations of the well‐known classes of special subsets, like Lusin sets, strongly null sets, concentrated sets, perfectly meagre sets, σ‐sets, γ‐sets, sets with the Menger, the Rothberger, or the Hurewicz property, but also of some less‐know classes like X‐small sets, meagre additive sets, Ramsey null sets, Marczewski, Silver, Miller, and Laver‐null sets. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  24
    Strong negation in intuitionistic style sequent systems for residuated lattices.Michał Kozak - 2014 - Mathematical Logic Quarterly 60 (4-5):319-334.
    We study the sequent system mentioned in the author's work as CyInFL with ‘intuitionistic’ sequents. We explore the connection between this system and symmetric constructive logic of Zaslavsky and develop an algebraic semantics for both of them. In contrast to the previous work, we prove the strong completeness theorem for CyInFL with ‘intuitionistic’ sequents and all of its basic variants, including variants with contraction. We also show how the defined classes of structures are related to cyclic involutive FL‐algebras and Nelson (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  6
    W sprawie Znaków równości.Michał Kozłowski - 2019 - Studia Philosophica Wratislaviensia 13 (4):99-101.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  78
    A model of procedural and distributive fairness.Michal Wiktor Krawczyk - 2011 - Theory and Decision 70 (1):111-128.
    This article presents a new model aimed at predicting behavior in games involving a randomized allocation procedure. It is designed to capture the relative importance and interaction between procedural justice (defined crudely in terms of the difference between one’s expected payoff and average expected payoff in the group) and distributive justice (difference between own and average actual payoffs). The model is applied to experimental games, including “randomized” variations of simple sequential bargaining games, and delivers qualitatively correct predictions. In view of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  20
    Matching pennies games as asymmetric models of conflict.Michał Wiktor Krawczyk - 2019 - Behavioral and Brain Sciences 42:e128.
    De Dreu and Gross (D&G) seem to have disregarded some relevant experimental literature on games of conflict, most notably variations on “matching pennies” games. While in such games, “attacker” and “defender” are typically not explicitly labelled, players’ differentiated roles yield naturally to such notions. These studies partly validate some of D&G's findings and interpretations.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  14
    Autism limits strategic thinking after all: A process tracing study of the beauty contest game.Michał Król & Magdalena Ewa Król - 2019 - Thinking and Reasoning 26 (4):615-626.
    The beauty contest game is widely used to study the determinants of strategic thinking. Here, we examine the role of theory of mind in strategic reasoning by comparing both performance and the reas...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  20
    Great Minds Think Alike? Spatial Search Processes Can Be More Idiosyncratic When Guided by More Accurate Information.Michal Król & Magdalena E. Król - 2022 - Cognitive Science 46 (4).
    Cognitive Science, Volume 46, Issue 4, April 2022.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  12
    Nietzsche i Kierkegaard – wspólna wizja nowożytnego podmiotu.Michał Krot - 2019 - Idea. Studia Nad Strukturą I Rozwojem Pojęć Filozoficznych 31:94-111.
    The task of this work is to make a comparison of subjectivity in the philosophy of Frederic Nietzsche and Soren Kierkegaard in the context of modern metaphysics. It turns out that despite the fact that our XIX century philosophers were trying to go beyond the definition of modern subject by using two separate methods, their thought is marked with similar assumption. It is natural that their projects did not succeed in breaking down the modern metaphysics, but instead it resulted in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  40
    An axiomatization of the logic with the rough quantifier.Michał Krynicki & Hans-Peter Tuschik - 1991 - Journal of Symbolic Logic 56 (2):608-617.
  41.  31
    (1 other version)Notion of Interpretation and Nonelementary Languages.Michal Krynicki - 1988 - Mathematical Logic Quarterly 34 (6):541-552.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  11
    Comparative Conceptual Analysis in a Legal Translation Classroom: Where Do the Pitfalls Lie.Michal Kubánek & Ondřej Klabal - 2021 - Studies in Logic, Grammar and Rhetoric 66 (1):61-81.
    It is a well-acknowledged fact in legal translation studies that when searching for terminological equivalents, translators should make use of comparative conceptual analysis. Thus, legal translation trainees should be equipped with the necessary tools to carry out such analysis, but the question remains: are they? This paper is a follow-up to a study published in 2017, where modified think aloud protocols were used to explore the following research question: to what degree are university students doing a course in legal and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  18
    The Role of Time in the Theory of Narrative Identity in the Philosophy of Paul Ricoeur.Michał Kumorek - 2021 - RUDN Journal of Philosophy 25 (3):483-494.
    Time has a very important function in considering the identity of a person. It is the factor that brings identity into question. The core of the problem is the question of whether the person is the same as he or she was at another time. The problem of personal identity was one of the most important issues in Paul Ricoeurs philosophy. He considers this problem in the context of time and notes that traditional models of identity as sameness and as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  7
    Bohater zbiorowy w twórczości heroicznej Samuela Twardowskiego.Michał Kuran - 2003 - Acta Universitatis Lodziensis. Folia Litteraria Polonica 6:43-66.
    In this paper the author shows that a crowd in Twardowski’s production becomes a community significant, not only ornamentical. This crowd consists of the nobility and a persons Trom behind the ethos. Twardowski produces a part of the nobility on the structure of presented world and he pays attention to their behaviour: knightly and not knightly. Samuel of Skrzypna shows a struggle on the battle field between antagonistic armies. These armies are presented as an anonymous masses. The poet only occasionally (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  16
    Modelowanie akrazji.Michał Kłusek - 2016 - Semina Scientiarum 15:88-106.
    In general, economics does not deal with the details of a decission process, focusing solely on the result of a given behaviour. Model of akrasia formulated by Robert Cooter allows for modelling of the very decision process leading to a given behaviour therefore widening the scope of interest of economics. It does it by allowing for preferences changing in time and the possiblity of anticiaption of the shape of future preferences. This allows for modelling of lapses, the regret connected with (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  18
    Humanistyka emancypacji, czyli przestrzenie życia i przestrzenie komunikacji między słowem a wirtualnością.Michał Lachman - 2021 - Acta Universitatis Lodziensis. Folia Litteraria Polonica 60 (1):7-14.
    The article offers a summary of a number of approaches to contemporary humanities in which the main dynamics of research and methodology could be characterised as emancipation. The humanities is seen here not merely as an open discipline, but it is viewed as a method of research able of accepting its relational and indeterminate progress. The soft dimension of its analysis, which is also rooted in an individual biography of the researcher, results from a particular attention paid to other than (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  11
    On the radio the pictures are better.Michał Lachman - 2013 - Text Matters - a Journal of Literature, Theory and Culture 3:264-270.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  6
    On orderings of the family of all logics.Michał Krynicki & Jouko Väänänen - 1980 - Archive for Mathematical Logic 22 (3-4):141-158.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  35
    Complete Axiomatisations of Properties of Finite Sets.Thomas Agotnes & Michal Walicki - 2008 - Logic Journal of the IGPL 16 (3):293-313.
    We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, both taking a finite set as argument. We present a basic Hilbert-style axiomatisation, and study its completeness. The main results are syntactic and semantic characterisations of complete extensions of the logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  13
    (1 other version)The Logica Yearbook 2014.Pavel Arazim & Michal Dancak (eds.) - 2015 - College Publications.
1 — 50 / 982