Results for 'Iwaszkiewicz, Jaros±aw'

475 found
Order:
  1.  75
    On decidable consequence operators.Jaros?aw Achinger & Andrzej W. Jankowski - 1986 - Studia Logica 45 (4):415 - 424.
    The main theorem says that a consequence operator is an effective part of the consequence operator for the classical prepositional calculus iff it is a consequence operator for a logic satisfying the compactness theorem, and in which every finitely axiomatizable theory is decidable.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  49
    Generalization of Scott's formula for retractions from generalized alexandroff's cube.Jaros?aw Achinger - 1986 - Studia Logica 45 (3):281 - 292.
    In the paper [2] the following theorem is shown: Theorem (Th. 3,5, [2]), If =0 or = or , then a closure space X is an absolute extensor for the category of , -closure spaces iff a contraction of X is the closure space of all , -filters in an , -semidistributive lattice.In the case when = and =, this theorem becomes Scott's theorem.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  47
    On a problem of p(α, δ, π) concerning generalized alexandroff S cube.Jaros?aw Achinger - 1986 - Studia Logica 45 (3):293 - 300.
    Universality of generalized Alexandroff's cube plays essential role in theory of absolute retracts for the category of , -closure spaces. Alexandroff's cube. is an , -closure space generated by the family of all complete filters. in a lattice of all subsets of a set of power .Condition P(, , ) says that is a closure space of all , -filters in the lattice ( ).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  19
    Theories and Models in Scientific Processes: Proceedings of AFOS '94 Workshop, August 15-26, Mądralin and IUHPS '94 Conference, August 27-29, Warszawa.William E. Herfel, Wladlyslaw Krajewski, Ilkka Niiniluoto & Ryszard Wójcicki - 1995 - Rodopi.
    Contents: PART 1. MODELS IN SCIENTIFIC PROCESSES. Joseph AGASSI: Why there is no theory of models. Ma??l??gorzata CZARNOCKA: Models and symbolic nature of knowledge. Adam GROBLER: The representational and the non-representational in models of scientific theories. Stephan HARTMANN: Models as a tool for the theory construction; some strategies of preliminary physics. William HERFEL: Nonlinear dynamical models as concrete construction. Elzbieta KA??L??USZY??N??SKA: Styles of thinking. Stathis PSILLOS: The cognitive interplay between theories and models: the case of 19th century optics. PART 2. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  40
    Medical Assistance in Dying (MAID) in Canada: Key Multidisciplinary Perspectives.Jaro Kotalik & David Shannon (eds.) - 2023 - Springer Verlag.
    This book, written both for a Canadian and an international readership, provides a multidisciplinary review of the framework and performance of the Canadian Medical Assistance in Dying (MAID) program. In the first five years (2015-2021) of operation, this program delivered voluntary euthanasia and assistance in suicide to over 30,000 Canadian residents, presently representing a 30% annual growth. Looking back on these first five years, the 30 Canadian scholars and clinicians contributing to this volume raise important issues and attempt to answer (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  57
    Preparing for an influenza pandemic: Ethical issues.Jaro Kotalik - 2005 - Bioethics 19 (4):422–431.
    In the near future, experts predict, an influenza pandemic will likely spread throughout the world. Many countries have been creating a contingency plan in order to mitigate the severe health and social consequences of such an event. Examination of the pandemic plans of Canada, the United Kingdom and the United States, from an ethical perspective, raises several concerns. One: scarcity of human and material resources is assumed to be severe. Plans focus on prioritization but do not identify resources that would (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  7.  36
    Adolf Portmann: A Thinker of Self-Expressive Life.Filip Jaroš & Jiří Klouda (eds.) - 2021 - Springer Verlag.
    This edited volume is the first specialized book in English about the Swiss zoologist and anthropologist Adolf Portmann. It provides a clarification and update of Portmann’s theoretical approach to the phenomenon of life, characterized by terms such as “inwardness” and “self-presentation.” Portmann’s concepts of secondary altriciality and the social uterus have become foundational in philosophical anthropology, providing a benchmark of the difference between humans and animals. In its content, this book brings together two approaches: historical and philosophical analysis of Portmann’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  20
    Medical Assistance in Dying: Challenges of Monitoring the Canadian Program.Jaro Kotalik - 2020 - Canadian Journal of Bioethics / Revue canadienne de bioéthique 3 (3):202-209.
    Le programme canadien d’aide médicale à mourir (AMM), qui repose sur une législation ambitieuse et des règlements détaillés, n’a pas réussi à fournir aux Canadiens suffisamment de preuves accessibles au public pour montrer qu’il fonctionne comme le prévoit les exigences de la loi, les règlements et les attentes de toutes les parties prenantes. La loi fédérale qui a été adoptée en 2016 a défini les critères d’éligibilité et mis en place un certain nombre de garanties qui devaient être satisfaites avant (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  61
    Biomatrix: The web of life.Gyorgy Jaros & Anacreon Cloete - 1987 - World Futures 23 (3):203-224.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  10.  13
    Monitoring of MAID: Deficits of Transparency and Accountability.Jaro Kotalik - 2023 - In Jaro Kotalik & David Shannon (eds.), Medical Assistance in Dying (MAID) in Canada: Key Multidisciplinary Perspectives. Springer Verlag. pp. 115-126.
    Monitoring of MAIDMonitoring of MAID was recognised as an essential component of the MAID program. However, monitoring started late in the rollout of the program, and even at present is missing some essential elements that would be important for effective oversight and public accountability. Health CanadaCanada is using some of the data obtained from practitioners and pharmacists to produce Annual Reports on MAID, but these reports aim at providing only a “societal perspective,” rather than an in-depth assessment of the program’s (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  42
    Organisms as subjects: Jakob von Uexküll and Adolf Portmann on the autonomy of living beings and anthropological difference.Filip Jaroš & Carlo Brentari - 2022 - History and Philosophy of the Life Sciences 44 (3):1-23.
    This paper focuses on the links between Jakob von Uexküll’s theoretical biology and Adolf Portmann’s conception of organic life. Its main purpose is to show that Uexküll and Portmann not only share a view of the living being as an autonomous and holistically organized entity, but also base this view on the seminal idea of the subjectivity of the organism. In other words, the respective holistic principles securing the autonomy of the living being—the Bauplan, for Uexküll; the Innerlichkeit, for Portmann—share (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  63
    Aboriginal Health Care and Bioethics: A Reflection on the Teaching of the Seven Grandfathers.Jaro Kotalik & Gerry Martin - 2016 - American Journal of Bioethics 16 (5):38-43.
    Contemporary bioethics recognizes the importance of the culture in shaping ethical issues, yet in practice, a process for ethical analysis and decision making is rarely adjusted to the culture and ethnicity of involved parties. This is of a particular concern in a health care system that is caring for a growing Aboriginal population. We raise the possibility of constructing a bioethics grounded in traditional Aboriginal knowledge. As an example of an element of traditional knowledge that contains strong ethical guidance, we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  13.  31
    Cognitive Systems of Human and Non-human Animals: At the Crossroads of Phenomenology, Ethology and Biosemiotics.Filip Jaroš & Matěj Pudil - 2020 - Biosemiotics 13 (2):155-177.
    The article aims to provide a general framework for assessing and categorizing the cognitive systems of human and non-human animals. Our approach stems from biosemiotic, ethological, and phenomenological investigations into the relations of organisms to one another and to their environment. Building on the analyses of Merleau-Ponty and Portmann, organismal bodies and surfaces are distinguished as the base for sign production and interpretation. Following the concept of modelling systems by Sebeok, we develop a concentric model of human and non-human animal (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  64
    Cats and Human Societies: a World of Interspecific Interaction and Interpretation.Filip Jaroš - 2016 - Biosemiotics 9 (2):287-306.
    This article focuses on the social structure of domestic cat colonies, and on the various ways these are represented in ethological literature. Our analysis begins with detailed accounts of different forms of cat societies from the works of Leyhausen, Tabor, and Alger and Alger, and then puts these descriptions into a broader epistemological perspective. The analysis is inspired by the bi-constructivist approach to ethological studies formulated by Lestel, which highlights the position of the ethologist in the constitution of particular animal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  15.  82
    Humans on Top, Humans among the Other Animals: Narratives of Anthropological Difference.Filip Jaroš & Timo Maran - 2019 - Biosemiotics 12 (3):381-403.
    The relationship of humans to other primates – both in terms of abilities and evolution - has been an age-old topic of dispute in science. In this paper the claim is made that the different views of authors are based not so much on differences in empirical evidence, but on the ontological stances of the authors and the underlying ground narratives that they use. For comparing and reconciling the views presented by the representatives of, inter alia, cognitive ethology, comparative psychology, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  16.  55
    Structural Linguistics And Formal Semantics.Jaro Slav Peregrin - unknown
    The beginning of this century hailed a new paradigm in linguistics, the paradigm brought about by de Saussure's Cours de Linguistique Generale and subsequently elaborated by Jakobson, Hjelmslev and other linguists. It seemed that the linguistics of this century was destined to be structuralistic. However, half of the century later a brand new paradigm was introduced by Chomsky's Syntactic Structures followed by Montague's formalization of semantics. This new turn has brought linguistics surprisingly close to mathematics and logic, and has facilitated (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  18
    Federal Annual Reports on MAID: Informative but Incomplete Picture.Jaro Kotalik - 2023 - In Jaro Kotalik & David Shannon (eds.), Medical Assistance in Dying (MAID) in Canada: Key Multidisciplinary Perspectives. Springer Verlag. pp. 2147483647-2147483647.
    Annual Reports on Medical Assistance in Dying (MAID) issued by Health CanadaCanada on behalf of the Government of Canada strive to make essential information public, on this large national program that over five years has provided death to over 30,000 Canadians. The source of the information is self-reporting by physicians and nurse practitioners who offer to act as MAID assessors and providers, as well as self-reporting by cooperating pharmacists. Focus of this discussion is the latest available document in this series, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Darwinismus a portmannismus: střetnutí nesouměřitelných biologických paradigmat?Filip Jaroš - 2010 - Teorie Vědy / Theory of Science 32 (3):301-318.
    Tzv. portmannismus je specifický, v biologii kořenící myšlenkový směr, jehož dosah je v současné době omezen převážně na české země. Řada knižních, časopiseckých a popularizačních prací dokazuje, že na platformě Portmannových myšlenek vznikla v Čechách specifická a originální myšlenková škola. Portmann uznával Darwinovu teorii, upozorňoval však na množství jevů, které si žádají interpretaci sahající za rámec známých darwinistických mechanismů. Mezi zastánci Portmannovy nauky a hlavním proudem darwinistů existuje napětí, které koření v různých pojetích vědy. Portmannismus je často považován za nauku (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  51
    Cat Cultures and Threefold Modelling of Human-Animal Interactions: on the Example of Estonian Cat Shelters.Filip Jaroš - 2018 - Biosemiotics 11 (3):365-386.
    Interaction between humans and cats in urban environments is subject to dynamic change. Based on the frequency and quality of relations with humans, we can distinguish several populations of domestic cats : pedigree, pet, semi-feral, feral, and pseudo-wild. Bringing together theoretical perspectives of the Tartu school of biosemiotics and ethological studies of animal societies, we distinguish two basic types of cat cultures: the culture of street cats and the humano-cat culture of pets. The difference between these cultures is documented on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  20. The seasonal structure underlying the arrangement of hexagrams in the yijing'.Aw Anderson - 1990 - Journal of Chinese Philosophy 17 (3):275-299.
  21. Fixation position and word-processing in reading.Aw Inhoff & C. Connine - 1986 - Bulletin of the Psychonomic Society 24 (5):332-332.
     
    Export citation  
     
    Bookmark  
  22.  18
    Correction to: Organisms as subjects: Jakob von Uexküll and Adolf Portmann on the autonomy of living beings and anthropological difference.Filip Jaroš & Carlo Brentari - 2022 - History and Philosophy of the Life Sciences 44 (4):1-1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  6
    Člověk mezi filosofií a antropologií.Filip Jaroš & Iva Svačinová - 2024 - Filosofie Dnes 15 (2).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  43
    Materia poetica: models of corporeality and onto-poetic pata-physics of the post-mechanical age.Milan Jaros - 2005 - Technoetic Arts 3 (1):3-12.
    In the course of the twentieth century natural sciences became an integral part not only of the industrial production but also of the semiotics of audio-visual and literary cultures. In the absence of legitimating traditions the techno-scientific models and relations appear to be a readily available habitual source of creative dynamics. Yet this domination contains a paradox. The application of analogy in, for example, visual culture does not work the same way as in mathematics. In the latter when a relation (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  41
    The teleonic approach to smart partnership: Synergy between individuals, organisations and societies.Gyorgy Jaros & Tony Bunn - 1998 - World Futures 52 (1):1-33.
    The Information Age that has dawned upon us requires a new way of thinking about problems. Teleonics, which is a process?based systems approach, can be used for this purpose. The main aspects of teleonics are described, including structure, action, goal?relatedness and ethos, goal and ethos related systems, the web of life, with its spheres and levels, uncertainty and the synergy of complements. In particular, out of the Langkawi International Dialogues, organised in Malaysia in 1995, 1996 and 1997, has emerged the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Can Mandatory Vaccination of Health Care Professionals during an Influenza Pandemic ever be Justified?Jaro Kotalik - 2006 - Advances in Bioethics 9:69-89.
     
    Export citation  
     
    Bookmark  
  27.  41
    Framework for Ethical Decision-Making Based on Mission, Vision and Values of the Institution.Jaro Kotalik, Cathy Covino, Nadine Doucette, Steve Henderson, Michelle Langlois, Karen McDaid & Louisa M. Pedri - 2014 - HEC Forum 26 (2):125-133.
    The authors led the development of a framework for ethical decision-making for an Academic Health Sciences Centre. They understood the existing mission, vision, and values statement (MVVs) of the centre as a foundational assertion that embodies an ethical commitment of the institution. Reflecting the Patient and Family Centred Model of Care the institution is living, the MVVs is a suitable base on which to construct an ethics framework. The resultant framework consists of a set of questions for each of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  43
    The Three Semiotic Lives of Domestic Cats: A Case Study on Animal Social Cognition.Filip Jaroš - 2017 - Biosemiotics 10 (2):279-293.
    The social cognition of domestic cats is a scarcely studied topic due to the reputation of the animal as individualistic. Nevertheless, cats are capable of cognitively demanding cooperative activities such as a communal nest-moving. The cognitive abilities of free-ranging cats are evaluated against the background of the shared intentionality hypothesis, proposed by a research group of Michael Tomasello. Although their comparative studies are carried out on chimpanzees, they are valuable as a source of conceptual work linking empirical cognitive studies with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29. Examining the suitability of the principle of subsidiarity for bioethics.Jaro Kotalik - 2010 - Kennedy Institute of Ethics Journal 20 (4):371-390.
    There is a significant omission in the whole endeavor of moral analysis as commonly used in bioethics. Whether the analysis is based on a set of moral principles grounded in common morality, on a deontological or a consequentialist theory, or on other considerations, the focus has been to assist moral agents in making ethically appropriate decisions. Little or no attention has been paid to the issue of who the appropriate moral agent or decision maker is in any given situation. Yet, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  30.  9
    Evoluční psychiatrie: Problematická nabídka k evolučnímu pojetí duševních nemocí.Filip Jaroš - 2014 - Filosofie Dnes 5 (2):26-49.
    Stať je věnována kritickému rozboru Stevensova (a Priceova) pojetí evoluční psychiatrie. Největší pozornost je věnována problému, jestli je možné uspokojivě propojit poznatky z genocentricky orientované evoluční biologie, klasické etologie a Jungovy analytické psychologie.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. Dzienniki 1911-1955.Jarosław Iwaszkiewicz - 2008 - Kronos - metafizyka, kultura, religia 4 (4):346-347.
    No categories
     
    Export citation  
     
    Bookmark  
  32.  19
    Evoluční etika Franse de Waala a její filozofické reflexe.Filip Jaroš & Adéla Šrůtková - 2017 - Filosofie Dnes 9 (1):52-70.
    Článek představuje teorii původu lidské morálky od Franse de Waala a zhodnocuje přínos filozofických komentářů od Christine M. Korsgaardové a Mary Midgleyové z hlediska oboru evoluční etiky. Základní struktura de Waalova přístupu je v souladu se sentimentalistickou teorií morálky, která určuje soucítění jako bazální morální cit. V interpretaci vlivné neodarwinistické genocentrické školy dále hraje zásadní roli altruismus. Stoupenci tohoto směru (R. Dawkins, G. C. Williams) nicméně obhajují rozdělení krutého světa přírody a etického světa lidské kultury; distinkce byla Fransem de Waalem (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  16
    Loyalists, Localists, and Legibility: The Calibrated Control of Provincial Leadership Teams in China.Kyle A. Jaros & David J. Bulman - 2020 - Politics and Society 48 (2):199-234.
    Selecting provincial leaders is a fraught task for authoritarian regimes. Although central authorities more readily trust provincial leaders with close ties to the center, such loyalists may lack the local knowledge and connections necessary to govern adeptly. Using an original data set on the tenures and backgrounds of China’s provincial party standing committee members, this article explores how Beijing fine-tunes provincial leadership teams to resolve this dilemma. The analysis challenges the conventional wisdom that Beijing exerts its tightest personnel control in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  58
    Synergy of complements and the exclusivity of opposites.Gyorgy Jaros - 2000 - World Futures 56 (1):1-19.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  44
    Technology: Meeting of spirit, mind and matter.Gyorgy Jaros - 1999 - World Futures 54 (1):1-20.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  57
    The name of the devil is suboptimization.György Jaros & Martine M. E. Dodds - 1995 - World Futures 44 (1):33-70.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  50
    Telentropy: Uncertainty in the biomatrix.Gyorgy Jaros - 2001 - World Futures 57 (1):49-78.
    Teleonics is a systemic approach for the study and management of complex living systems, such as human beings, families, communities, business organisations and even countries and international relationships. The approach and its applications have been described in several publications, quoted in the paper. The units of teleonics are teleons, viz, end?related, autonomous process systems. An indication of malfunction in teleons is a high level of telentropy that can be caused by many factors, among which the most common are the lack (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38. Ethics in context.Aw Brian Simpson - 1985 - Criminal Justice Ethics 4 (2).
     
    Export citation  
     
    Bookmark  
  39.  48
    Mindshaping: A New Framework for Understanding Human Social Cognition.Tadeusz Wies aw Zawidzki - 2013 - Bradford.
    Argues that the key distinction between human and nonhuman social cognition consists in our complex, diverse and flexible capacities to shape each other's minds in ways that make them easier to interpret.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   87 citations  
  40. Současné teorie sociálního rozumění na pozadí sporu a antropologickou diferenci.Filip Jaroš - 2018 - Teorie Vědy / Theory of Science 40 (1):3-27.
    Tato studie je inspirována knížkou Petra Urbana Jak rozumíme druhým? Studie o sociálním rozumění a sdílení světa nejen u člověka a věnuje se současným diskuzím o povaze sociálního rozumění, zejména v případě nelinguálních tvorů. Nejvýraznější pozice zastává na jedné straně skupina srovnávacích psychologů kolem M. Tomasella, která vychází z filosofů kolektivní intencionality, na straně druhé D. Leavens a K. Bardová, kteří mají blízko k interaktivistické interpretaci problému sociálního rozumění. Bude ukázáno, že rozdíly ve výsledcích empirických výzkumů mají základ v ontologických (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41.  9
    S. Awodey.Aw Carus - 2003 - In Paolo Parrini, Merrilee H. Salmon & Wesley C. Salmon (eds.), Logical Empiricism: Historical and Contemporary Perspectives. University of Pittsburgh Press. pp. 57.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  48
    Teleonics of health and healthcare: Focus on health promotion.Gyorgy Jaros - 1999 - World Futures 54 (3):259-284.
  43.  87
    Holism revisited: Its principles 75 years on.György Járos - 2002 - World Futures 58 (1):13 – 32.
    It was seventy five years ago that the book, Holism and Evolution by Jan Christiaan Smuts was published. Although the book was very popular at the time, it has not been accepted by either the scientific or the philosophical community. Its complex message was truncated to the truism "the whole is more than the sum of its parts," which became the definition of holism, but ensured its rejection by the skeptic as a too general statement to be of practical value. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  47
    320 index.Aw Moore, John Allen Paulos, Ad Irvine, Brian Rotman, Mark Steiner & Neil Tennant - unknown - Philosophical Papers 1896 (99).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Foundational development without foundationalism.Aw Van Haaften & G. L. M. Snik - forthcoming - Philosophy of Education.
     
    Export citation  
     
    Bookmark  
  46. Priming from partial-word previews.Aw Inhoff & S. Tousman - 1988 - Bulletin of the Psychonomic Society 26 (6):512-512.
  47.  66
    Aristotle's syllogistic and its extensions.Czes?aw Lejewski - 1963 - Synthese 15 (1):125 - 154.
  48.  15
    Jim Edwards.Aw Moore - 1994 - European Journal of Philosophy 2 (1).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Development in terms of the Biomatrix.M. M. A. Dodds & G. G. Járos - 1995 - World Futures 40:1-28.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  50.  52
    Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic.Wies?aw Dziobiak - 1983 - Studia Logica 42 (2-3):173 - 177.
    We prove that each proper ideal in the lattice of axiomatic, resp. standard strengthenings of the intuitionistic propositional logic is of cardinality 20. But, each proper ideal in the lattice of structural strengthenings of the intuitionistic propositional logic is of cardinality 220. As a corollary we have that each of these three lattices has no atoms.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 475