Results for 'MacNeille completion'

1000+ found
Order:
  1.  26
    Informing research participants of research results: analysis of Canadian university based research ethics board policies.S. D. MacNeil - 2006 - Journal of Medical Ethics 32 (1):49-54.
    Background: Despite potential benefits of the return of research results to research participants, the TriCouncil Policy Statement , which reflects Canadian regulatory ethical requirements, does not require this. The policies of Canadian research ethics boards are unknown.Objectives: To examine the policies of Canadian university based REBs regarding returning results to research participants, and to ascertain if the presence/absence of a policy may be influenced by REB member composition.Design: Email survey of the coordinators of Canadian university based REBs to determine the (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  37
    Attitudes of research ethics board chairs towards disclosure of research results to participants: results of a national survey.S. D. MacNeil & C. V. Fernandez - 2007 - Journal of Medical Ethics 33 (9):549-553.
    Background: The offer of aggregate study results to research participants following study completion is increasingly accepted as a means of demonstrating greater respect for participants. The attitudes of research ethics board chairs towards this practice, although integral to policy development, are unknown.Objectives: To determine the attitudes of REB chairs and the practices of REBs with respect to disclosure of results to research participants.Design: A postal questionnaire was distributed to the chairs of English-language university-based REBs in Canada. In total, 88 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  13
    Hyper-MacNeille Completions of Heyting Algebras.J. Harding & F. M. Lauridsen - 2021 - Studia Logica 109 (5):1119-1157.
    A Heyting algebra is supplemented if each element a has a dual pseudo-complement \, and a Heyting algebra is centrally supplement if it is supplemented and each supplement is central. We show that each Heyting algebra has a centrally supplemented extension in the same variety of Heyting algebras as the original. We use this tool to investigate a new type of completion of Heyting algebras arising in the context of algebraic proof theory, the so-called hyper-MacNeille completion. We (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  34
    Supersound many-valued logics and Dedekind-MacNeille completions.Matteo Bianchi & Franco Montagna - 2009 - Archive for Mathematical Logic 48 (8):719-736.
    In Hájek et al. (J Symb Logic 65(2):669–682, 2000) the authors introduce the concept of supersound logic, proving that first-order Gödel logic enjoys this property, whilst first-order Łukasiewicz and product logics do not; in Hájek and Shepherdson (Ann Pure Appl Logic 109(1–2):65–69, 2001) this result is improved showing that, among the logics given by continuous t-norms, Gödel logic is the only one that is supersound. In this paper we will generalize the previous results. Two conditions will be presented: the first (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  58
    Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics.Hiroakira Ono - 2012 - Studia Logica 100 (1-2):339-359.
    This paper discusses Crawley completions of residuated lattices. While MacNeille completions have been studied recently in relation to logic, Crawley completions (i.e. complete ideal completions), which are another kind of regular completions, have not been discussed much in this relation while many important algebraic works on Crawley completions had been done until the end of the 70’s. In this paper, basic algebraic properties of ideal completions and Crawley completions of residuated lattices are studied first in their conncetion with the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  17
    Join-completions of partially ordered algebras.José Gil-Férez, Luca Spada, Constantine Tsinakis & Hongjun Zhou - 2020 - Annals of Pure and Applied Logic 171 (10):102842.
    We present a systematic study of join-extensions and join-completions of partially ordered algebras, which naturally leads to a refined and simplified treatment of fundamental results and constructions in the theory of ordered structures ranging from properties of the Dedekind–MacNeille completion to the proof of the finite embeddability property for a number of varieties of lattice-ordered algebras.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  5
    On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results.Tarek Sayed Ahmed - 2021 - Bulletin of the Section of Logic 50 (4):465-511.
    Fix a finite ordinal \ and let \ be an arbitrary ordinal. Let \ denote the class of cylindric algebras of dimension \ and \ denote the class of relation algebras. Let \\) stand for the class of polyadic algebras of dimension \. We reprove that the class \ of completely representable \s, and the class \ of completely representable \s are not elementary, a result of Hirsch and Hodkinson. We extend this result to any variety \ between polyadic algebras (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  14
    Completions of μ-algebras.Luigi Santocanale - 2008 - Annals of Pure and Applied Logic 154 (1):27-50.
    A μ-algebra is a model of a first-order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms where μx.f is axiomatized as the least prefixed point of f, whose axioms are equations or equational implications.Standard μ-algebras are complete meaning that their lattice reduct is a complete lattice. We prove that any nontrivial quasivariety of μ-algebras contains a μ-algebra that has no embedding into a complete μ-algebra.We then focus on modal μ-algebras, i.e. algebraic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  8
    Ethics and the Arts.Paul Macneill (ed.) - 2014 - Dordrecht: Imprint: Springer.
    This book proposes that the highest expression of ethics is an aesthetic. It suggests that the quintessential performance of any field of practice is an art that captures an ethic beyond any literal statement of values. This is toadvocate for a shift in emphasis,away from current juridical approaches to ethics (ethicalcodes or regulation), toward ethics as an aesthetic practice-away from ethics as a minimal requirement, toward ethics as an aspiration. The book explores the relationship between art and ethics: a subject (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  9
    Yoga and Ethics.Paul Ulhas MacNeill - 2011-10-14 - In Fritz Allhoff & Liz Stillwaggon Swan (eds.), Yoga ‐ Philosophy for Everyone. Wiley‐Blackwell. pp. 187–199.
    This chapter contains sections titled: The Role of Practice Yoga Scholarship Aristotelian and Yoga Ethics Yoga and Yoga Metaphysics Yoga and Ethics Why Hatha Yoga? Discussion Acknowledgements.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  20
    Bioethics as Engaged Activity.Paul Macneill, Christopher F. C. Jordens, Deborah Zion & Angus Dawson - 2021 - American Journal of Bioethics 21 (2):64-66.
    We applaud and support the call by Mithani et al. for “a proactive form of bioethics that actively resists and denounces i...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  18
    Balancing bioethics by sensing the aesthetic.Paul Macneill - 2017 - Bioethics 31 (8):631-643.
    This article is critical of “bioethics” as it is widely understood and taught, noting in particular an emphasis given to philosophical justification, reason and rationality. It is proposed that “balancing” bioethics be achieved by giving greater weight to practice and the aesthetic: defined in terms of sensory perception, emotion and feeling. Each of those three elements is elaborated as a non-cognitive capacity and, when taken together, comprise aesthetic sensitivity and responsiveness. This is to recognise the aesthetic as a productive element (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  7
    A Response to “Fragile Objects”.Paul Macneill - 2020 - Journal of Bioethical Inquiry 17 (1):21-23.
    This is a critical response to “Fragile objects: A visual essay,” by Chapman et al. published in the Journal of Bioethical Inquiry : 185-189). Whilst “Fragile objects” is evocative of the author’ experience in sitting with a man, who had been diagnosed with Alzheimer’s, I express concern that there are unwarranted and unsubstantiated conclusions drawn about Patrick’s phenomenological experience of dementia/Alzheimer’s.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  8
    A Response to “Fragile Objects”.Paul Macneill - 2020 - Journal of Bioethical Inquiry 17 (1):21-23.
    This is a critical response to “Fragile objects: A visual essay,” by Chapman et al. published in the Journal of Bioethical Inquiry : 185-189). Whilst “Fragile objects” is evocative of the author’ experience in sitting with a man, who had been diagnosed with Alzheimer’s, I express concern that there are unwarranted and unsubstantiated conclusions drawn about Patrick’s phenomenological experience of dementia/Alzheimer’s.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  3
    A Response to “Fragile Objects”.Paul Macneill - 2020 - Journal of Bioethical Inquiry 17 (1):21-23.
    This is a critical response to “Fragile objects: A visual essay,” by Chapman et al. published in the Journal of Bioethical Inquiry : 185-189). Whilst “Fragile objects” is evocative of the author’ experience in sitting with a man, who had been diagnosed with Alzheimer’s, I express concern that there are unwarranted and unsubstantiated conclusions drawn about Patrick’s phenomenological experience of dementia/Alzheimer’s.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  42
    Universal Basic Income and the Natural Environment: Theory and Policy.Amber Vibert & Timothy MacNeill - 2019 - Basic Income Studies 14 (1).
    We analyze the environmental implications of basic income programs through literature review, government documents, pilot studies, and interviews eliciting expert knowledge. We consider existing knowledge and then use a grounded approach to produce theory on the relationship between a basic income guarantee and environmental protection/damage. We find that very little empirical or theoretical work has been done on this relationship and that theoretical arguments can be made for both positive and negative environmental impacts. Ultimately, this implies, the environmental impact of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  58
    Exchange revisited: Individual utility and social solidarity.Ian R. Macneil - 1986 - Ethics 96 (3):567-593.
  18.  10
    Response—A Critical Response to “Discourse Communities and the Discourse of Experience”.Paul Macneill - 2022 - Journal of Bioethical Inquiry 19 (1):71-77.
    In their article Little, Jordens, and Sayers developed the notion of “discourse communities”—as groups of people who share an ideology and common “language”—with the support of seminal ideas from M.M. Bakhtin. Such communities provide benefits although they may also impose constraints. An ethical community would open to others’ discourse and be committed to critique. Those commitments may counter the limitations of discourse communities. Since their paper was published in 2003, the notion of “discourse communities” has been widely adopted and applied (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Review of Ian R. Macneil: The New Social Contract: An Inquiry into Modern Contractual Relations[REVIEW]Ian R. Macneil - 1982 - Ethics 93 (1):168-168.
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  20.  9
    An ethical engagement: creative practice research, the academy and professional codes of conduct.Kate MacNeill, Barbara Bolt, Estelle Barrett, Megan McPherson, Marie Sierra, Sarah Miller, Pia Ednie-Brown & Carole Wilson - 2021 - Research Ethics 17 (1):73-86.
    This paper reports on the experiences of creative practice graduate researchers and academic staff as they seek to comply with the requirements of the Australian National Statement on the Ethical Conduct of Research Involving Humans. The research was conducted over a two-year period as part of a wider project ‘iDARE – Developing New Approaches to Ethics and Research Integrity Training through Challenges Presented by Creative Practice Research’. The research identified the appreciation of ethics that the participants acquired through their experience (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  47
    The Philosopher's Baedeker: Wittgenstein's Tractatus as Guidebook.Kevin MacNeil - 2017 - Philosophical Investigations 40 (4):350-369.
    The Wittgenstein of the Tractatus is committed to four central and interlocking claims: a limit to sense and nonsense can be drawn in logic; a limit to meaningful and meaningless language – to meaningful and meaningless nonsense – cannot be drawn in logic; whether nonsense is meaningful is shown in its use rather than its form; the Tractatus consists largely of meaningful nonsense. Undergirding these commitments is an account of language-to-world picturing in which shared “mathematical multiplicities” play a key role. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  8
    Disruption Leads to Methodological and Analytic Innovation in Developmental Sciences: Recommendations for Remote Administration and Dealing With Messy Data.Sheila Krogh-Jespersen, Leigha A. MacNeill, Erica L. Anderson, Hannah E. Stroup, Emily M. Harriott, Ewa Gut, Abigail Blum, Elveena Fareedi, Kaitlyn M. Fredian, Stephanie L. Wert, Lauren S. Wakschlag & Elizabeth S. Norton - 2022 - Frontiers in Psychology 12.
    The COVID-19 pandemic has impacted data collection for longitudinal studies in developmental sciences to an immeasurable extent. Restrictions on conducting in-person standardized assessments have led to disruptive innovation, in which novel methods are applied to increase participant engagement. Here, we focus on remote administration of behavioral assessment. We argue that these innovations in remote assessment should become part of the new standard protocol in developmental sciences to facilitate data collection in populations that may be hard to reach or engage due (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  28
    The Integrity Continuum and Lonergan Three Levels of the Good.Morag McAleese & Jessie MacNeil - 2016 - The Lonergan Review 7 (1):100-128.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  7
    Regulating Experimentation in Research and Medical Practice.Paul Ulhas Macneill - 2009 - In Helga Kuhse & Peter Singer (eds.), A Companion to Bioethics. Oxford, UK: Wiley‐Blackwell. pp. 469–486.
    This chapter contains sections titled: Introduction History of Experimentation on Human Beings Regulation of Human Experimentation Guidelines, Regulations and Directives to Regulate Human Experimentation Regulation of Experimentation in Surgery and Clinical Medicine Discussion References.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  54
    Art and Bioethics: Shifts in Understanding Across Genres. [REVIEW]Paul Ulhas Macneill & Bronaċ Ferran - 2011 - Journal of Bioethical Inquiry 8 (1):71-85.
    This paper describes and discusses overlapping interests and concerns of art and bioethics and suggests that bioethics would benefit from opening to contributions from the arts. There is a description of recent events in bioethics that have included art, and trends in art that relate to bioethics. The paper outlines art exhibits and performances within two major international bioethics congress programs alongside a discussion of the work of leading hybrid and bio artists who experiment with material (including their own bodies) (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  14
    A reexamination of implicit verbal chaining.Burton H. Cohen & Donald A. Macneil - 1966 - Journal of Experimental Psychology 71 (3):432.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27. Arts Bioethics Network.Chamu Kuppuswamy & Paul Macneill - 2009 - Eubios Journal of Asian and International Bioethics 19 (2):60-60.
     
    Export citation  
     
    Bookmark  
  28.  16
    Preemption of Local Smoke-Free Air Ordinances: The Implications of Judicial Opinions for Meeting National Health Objectives.Jean C. O'Connor, Allison MacNeil, Jamie F. Chriqui, Michael Tynan, Hannalori Bates & Shelby K. S. Eidson - 2008 - Journal of Law, Medicine and Ethics 36 (2):403-412.
    Elimination of state laws that preempt local antismoking ordinances is a national health objective. However, the tobacco industry and its supporters have continued to pursue statelevel preemption of local tobacco control ordinances as part of an apparent strategy to avoid the difusion of grassroots antismoking initiatives. And, an increasing number of challenges to local ordinances by the tobacco industry and persons supported by the tobacco industry are being decided in state supreme courts and courts of appeals. The outcomes of seemingly (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  30
    Preemption of Local Smoke-Free Air Ordinances: The Implications of Judicial Opinions for Meeting National Health Objectives.Jean C. O'Connor, Allison MacNeil, Jamie F. Chriqui, Michael Tynan, Hannalori Bates & Shelby K. S. Eidson - 2008 - Journal of Law, Medicine and Ethics 36 (2):403-412.
    Despite governmental and private antismoking initiatives, tobacco smoking remains a significant public health and economic challenge. The Centers for Disease Control and Prevention estimates that for each year between 1997 and 2001, cigarette smoking and exposure to secondhand smoke caused approximately 438,000 U.S. residents to die prematurely, resulting in 5.5 million years of potential life lost, and in $92 billion dollars of lost productivity. Also, despite convincing scientific data that laws against indoor smoking protect people from the negative health effects (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  32
    Bioethics and the Myth of Neutrality.Angus Dawson, Christopher F. C. Jordens, Paul Macneill & Deborah Zion - 2018 - Journal of Bioethical Inquiry 15 (4):483-486.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  31. Inspiration.W. Macneile Dixon - 1913 - Hibbert Journal 12:509.
    No categories
     
    Export citation  
     
    Bookmark  
  32. The Human Situation.W. Macneile Dixon - 1939 - Ethics 49 (2):230-232.
     
    Export citation  
     
    Bookmark  
  33. The Human Situation.W. Macneile Dixon - 1958 - Tijdschrift Voor Filosofie 20 (4):756-757.
    No categories
     
    Export citation  
     
    Bookmark  
  34. The Human Situation: The Gifford Lectures Delivered in the University of Glasgow, 1935-1937.W. Macneile Dixon - 1938 - Philosophy 13 (49):98-100.
    No categories
     
    Export citation  
     
    Bookmark  
  35.  22
    The human situation.William Macneile Dixon - 1937 - London,: E, Arnold & co..
    PREFACE I AM greatly indebted to my friends, Professor Dewar of Reading and Miss Maude G. May of Glasgow, for many corrections and suggestions while the following pages were passing through the press. W. M. D. PART I I INTRODUCTION Y. D.H.S. The most singular and deepest themes in the History of the Universe and Mankind, to which all the rest are subordinate, are those in which there is a conflict between Belief and Unbelief, and all epochs, wherein Belief prevails, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  23
    Michael Hymers, Wittgenstein on Sensation and Perception . xiii + 202, price £85.00 hb. [REVIEW]Kevin MacNeil - 2017 - Philosophical Investigations 41 (1):112-117.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  4
    Nutrient Sensing and Response Drive Developmental Progression in Caenorhabditis elegans.Sabih Rashid, Kim B. Pho, Hiva Mesbahi & Lesley T. MacNeil - 2020 - Bioessays 42 (3):1900194.
    In response to nutrient limitation, many animals, including Caenorhabditis elegans, slow or arrest their development. This process requires mechanisms that sense essential nutrients and induce appropriate responses. When faced with nutrient limitation, C. elegans can induce both short and long‐term survival strategies, including larval arrest, decreased developmental rate, and dauer formation. To select the most advantageous strategy, information from many different sensors must be integrated into signaling pathways, including target of rapamycin (TOR) and insulin, that regulate developmental progression. Here, how (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  14
    The Human Situation.DeWitt H. Parker & W. MacNeille Dixon - 1940 - Philosophical Review 49 (1):82.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. The Human Situation. By Ordway Tead. [REVIEW]W. Macneile Dixon - 1938 - International Journal of Ethics 49:230.
     
    Export citation  
     
    Bookmark  
  40.  15
    Complete Issue.Complete Issue - 2023 - Architecture Philosophy 6 (1/2).
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  11
    Enabling and Empowering Lens-based Workers: An Analysis of the Photo Bill of Rights.Keith Greenwood, Ryan J. Thomas & Cory W. MacNeil - 2022 - Journal of Media Ethics 37 (3):194-207.
    In June 2020, representatives of eight photography organizations addressed ongoing challenges to the industry by introducing the “Photo Bill of Rights,” asserting “the rights of all lens-based workers and defining actions that build a safer, healthier, more inclusive, and transparent industry.” The bill centers what “lens-based workers” are owed by the media organizations that employ them. This study analyzes the bill’s contents and the explicit and implicit values within it, finding that the bill presents a normative view of the work (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  13
    Complete Issue.Complete Issue - 2022 - Architecture Philosophy 5 (2).
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  24
    Grace Under Pressure: a drama-based approach to tackling mistreatment of medical students.Karen M. Scott, Špela Berlec, Louise Nash, Claire Hooker, Paul Dwyer, Paul Macneill, Jo River & Kimberley Ivory - 2017 - Medical Humanities 43 (1):68-70.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  27
    Grishin Algebras and Cover Systems for Classical Bilinear Logic.Robert Goldblatt - 2011 - Studia Logica 99 (1-3):203-227.
    Grishin algebras are a generalisation of Boolean algebras that provide algebraic models for classical bilinear logic with two mutually cancelling negation connectives. We show how to build complete Grishin algebras as algebras of certain subsets (“propositions”) of cover systems that use an orthogonality relation to interpret the negations. The variety of Grishin algebras is shown to be closed under MacNeille completion, and this is applied to embed an arbitrary Grishin algebra into the algebra of all propositions of some (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  45. Er caianiello1.Completely Solved - 1986 - In G. Palm & A. Aertsen (eds.), Brain Theory. Springer. pp. 147.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  3
    Lie algebra labels,[1,\ A 11 B] I if ABC 11 C.A. L. Completing - 2010 - In Harald Fritzsch & K. K. Phua (eds.), Proceedings of the Conference in Honour of Murray Gell-Mann's 80th Birthday. World Scientific. pp. 74.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  43
    A Note on Algebraic Semantics for $mathsf{S5}$ with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
    In two of the earliest papers on extending modal logic with propositional quantifiers, R. A. Bull and K. Fine studied a modal logic S5Π extending S5 with axioms and rules for propositional quantification. Surprisingly, there seems to have been no proof in the literature of the completeness of S5Π with respect to its most natural algebraic semantics, with propositional quantifiers interpreted by meets and joins over all elements in a complete Boolean algebra. In this note, we give such a proof. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Godabarisha Mishra.Complete Works ofSwami Vivekananda - 2007 - In Rekha Jhanji (ed.), The Philosophy of Vivekananda. Aryan Books International.
    No categories
     
    Export citation  
     
    Bookmark  
  49. Table Des matieres editorial preface 3.Jair Minoro Abe, Curry Algebras Pt, Paraconsistent Logic, Newton Ca da Costa, Otavio Bueno, Jacek Pasniczek, Beyond Consistent, Complete Possible Worlds, Vm Popov & Inverse Negation - 1998 - Logique Et Analyse 41:1.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  61
    A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
    In two of the earliest papers on extending modal logic with propositional quantifiers, R. A. Bull and K. Fine studied a modal logic S5Π extending S5 with axioms and rules for propositional quantification. Surprisingly, there seems to have been no proof in the literature of the completeness of S5Π with respect to its most natural algebraic semantics, with propositional quantifiers interpreted by meets and joins over all elements in a complete Boolean algebra. In this note, we give such a proof. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 1000