Results for 'Co-Heyting algebras'

999 found
Order:
  1. Heyting Mereology as a Framework for Spatial Reasoning.Thomas Mormann - 2013 - Axiomathes 23 (1):137- 164.
    In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspects of spatial reasoning and therefore has to be enhanced by further non-mereological concepts to overcome its congenital limitations. The allegedly unmereological (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Intuitionistic logic versus paraconsistent logic. Categorical approach.Mariusz Kajetan Stopa - 2023 - Dissertation, Jagiellonian University
    The main research goal of the work is to study the notion of co-topos, its correctness, properties and relations with toposes. In particular, the dualization process proposed by proponents of co-toposes has been analyzed, which transforms certain Heyting algebras of toposes into co-Heyting ones, by which a kind of paraconsistent logic may appear in place of intuitionistic logic. It has been shown that if certain two definitions of topos are to be equivalent, then in one of them, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. G'3 as the logic of modal 3-valued Heyting algebras.Marcelo E. Coniglio, Aldo Figallo-Orellano, Alejandro Hernández-Tello & Miguel Perez-Gaspar - 2022 - IfCoLog Journal of Logics and Their Applications 9 (1):175-197.
    In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Intuitionistic Modal Algebras.Sergio A. Celani & Umberto Rivieccio - forthcoming - Studia Logica:1-50.
    Recent research on algebraic models of _quasi-Nelson logic_ has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a _nucleus_. Among these various algebraic structures, for which we employ the umbrella term _intuitionistic modal algebras_, some have been studied since at least the 1970s, usually within the framework of topology and sheaf theory. Others may seem more exotic, for (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Revisiting Constructive Mingle: Algebraic and Operational Semantics.Yale Weiss - 2022 - In Katalin Bimbo (ed.), Essays in Honor of J. Michael Dunn. College Publications. pp. 435-455.
    Among Dunn’s many important contributions to relevance logic was his work on the system RM (R-mingle). Although RM is an interesting system in its own right, it is widely considered to be too strong. In this chapter, I revisit a closely related system, RM0 (sometimes known as ‘constructive mingle’), which includes the mingle axiom while not degenerating in the way that RM itself does. My main interest will be in examining this logic from two related semantical perspectives. First, I give (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Collected Papers (on Neutrosophic Theory and Its Applications in Algebra), Volume IX.Florentin Smarandache - 2022 - Miami, FL, USA: Global Knowledge.
    This ninth volume of Collected Papers includes 87 papers comprising 982 pages on Neutrosophic Theory and its applications in Algebra, written between 2014-2022 by the author alone or in collaboration with the following 81 co-authors (alphabetically ordered) from 19 countries: E.O. Adeleke, A.A.A. Agboola, Ahmed B. Al-Nafee, Ahmed Mostafa Khalil, Akbar Rezaei, S.A. Akinleye, Ali Hassan, Mumtaz Ali, Rajab Ali Borzooei , Assia Bakali, Cenap Özel, Victor Christianto, Chunxin Bo, Rakhal Das, Bijan Davvaz, R. Dhavaseelan, B. Elavarasan, Fahad Alsharari, T. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Khoảng dao động 25-1000 USD và điểm yếu lập luận về chi phí phục hồi vùng sinh thái đước-cỏ biển.Vịt Cỏ - 2023 - Bio2 Ebl.
    Mặc dù 3 điểm nêu trên chưa phải đã đủ, nhưng chắc chắn không thể giải đáp. Vì vậy, khó mà tin vài lập luận đơn giản về “tính khả thi” lại có thể mang ra áp dụng cho cộng đồng trên không gian sinh thái rộng lớn.
    Download  
     
    Export citation  
     
    Bookmark  
  8. Completeness and Doxastic Plurality for Topological Operators of Knowledge and Belief.Thomas Mormann - 2023 - Erkenntnis: 1 - 34, ONLINE.
    The first aim of this paper is to prove a topological completeness theorem for a weak version of Stalnaker’s logic KB of knowledge and belief. The weak version of KB is characterized by the assumption that the axioms and rules of KB have to be satisfied with the exception of the axiom (NI) of negative introspection. The proof of a topological completeness theorem for weak KB is based on the fact that nuclei (as defined in the framework of point-free topology) (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  64
    Ngày đầu năm mới.Thien Co - 2024 - Kinh Tế Và Dự Báo 1.
    Tết đã về với mọi nẻo đường quê hương [thân yêu]. Năm nay nhân dân cơ bản đón Tết Giáp Thìn (2024) trong vui tươi, ấm áp, hạnh phúc. Nhìn ở cấp vĩ mô, vượt qua chừng 4 năm khó khăn thách thức [vừa qua], thế đất nước ngày một lên cao, lực quốc gia ngày càng tăng tiến và có nhiều cơ hội bứt phá trong năm nay và những năm tới...
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  74
    Ngày đầu năm mới.Cơ Thiện - 2024 - Tạp Chí Kinh Tế Và Dự Báo.
    Tết đã về với mọi nẻo đường quê hương [thân yêu]. Năm nay nhân dân cơ bản đón Tết Giáp Thìn (2024) trong vui tươi, ấm áp, hạnh phúc. Nhìn ở cấp vĩ mô, vượt qua thời gian [chừng 4 năm] khó khăn thách thức [vừa qua], thế đất nước ngày một lên cao, lực quốc gia ngày càng tăng tiến và có nhiều cơ hội bứt phá trong năm nay và những năm tới.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  49
    Ngày đầu năm mới.Cơ Thiện - 2024 - Kinh Tế Và Dự Báo.
    Tết đã về với mọi nẻo đường quê hương [thân yêu]. Năm nay nhân dân cơ bản đón Tết Giáp Thìn (2024) trong vui tươi, ấm áp, hạnh phúc. Nhìn ở cấp vĩ mô, vượt qua thời gian [chừng 4 năm] khó khăn thách thức [vừa qua], thế đất nước ngày một lên cao, lực quốc gia ngày càng tăng tiến và có nhiều cơ hội bứt phá trong năm nay và những năm tới.
    Download  
     
    Export citation  
     
    Bookmark  
  12. A crítica de Kant à subjetividade cartesiana.Marco Vinícius de Siqueira Côrtes - 2013 - Dissertation, Ufpr, Brazil
    Download  
     
    Export citation  
     
    Bookmark  
  13.  62
    B-frame duality.Guillaume Massas - 2023 - Annals of Pure and Applied Logic 174 (5):103245.
    This paper introduces the category of b-frames as a new tool in the study of complete lattices. B-frames can be seen as a generalization of posets, which play an important role in the representation theory of Heyting algebras, but also in the study of complete Boolean algebras in forcing. This paper combines ideas from the two traditions in order to generalize some techniques and results to the wider context of complete lattices. In particular, we lift a representation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Belief Modalities Defined by Nuclei.Thomas Mormann - manuscript
    Abstract. The aim of this paper is to show that the topological interpretation of knowledge as an interior kernel operator K of a topological space (X, OX) comes along with a partially ordered family of belief modalities B that fit K in the sense that the pairs (K, B) satisfy all axioms of Stalnaker’s KB logic of knowledge and belief with the exception of the contentious axiom of negative introspection (NI). The new belief modalities B introduced in this paper are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Intermediate Logics and the de Jongh property.Dick Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
    We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  16. À Maneira de Um Colar de Pérolas?André Porto - 2017 - Revista Portuguesa de Filosofia 73 (3-4):1381-1404.
    This paper offers an overview of various alternative formulations for Analysis, the theory of Integral and Differential Calculus, and its diverging conceptions of the topological structure of the continuum. We pay particularly attention to Smooth Analysis, a proposal created by William Lawvere and Anders Kock based on Grothendieck’s work on a categorical algebraic geometry. The role of Heyting’s logic, common to all these alternatives is emphasized.
    Download  
     
    Export citation  
     
    Bookmark  
  17. Collected Papers (on various scientific topics), Volume XIII.Florentin Smarandache - 2022 - Miami, FL, USA: Global Knowledge.
    This thirteenth volume of Collected Papers is an eclectic tome of 88 papers in various fields of sciences, such as astronomy, biology, calculus, economics, education and administration, game theory, geometry, graph theory, information fusion, decision making, instantaneous physics, quantum physics, neutrosophic logic and set, non-Euclidean geometry, number theory, paradoxes, philosophy of science, scientific research methods, statistics, and others, structured in 17 chapters (Neutrosophic Theory and Applications; Neutrosophic Algebra; Fuzzy Soft Sets; Neutrosophic Sets; Hypersoft Sets; Neutrosophic Semigroups; Neutrosophic Graphs; Superhypergraphs; Plithogeny; (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. From the History of Physics to the Discovery of the Foundations of Physics,.Antonino Drago - manuscript
    FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds of logic). (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. McKinsey Algebras and Topological Models of S4.1.Thomas Mormann - manuscript
    The aim of this paper is to show that every topological space gives rise to a wealth of topological models of the modal logic S4.1. The construction of these models is based on the fact that every space defines a Boolean closure algebra (to be called a McKinsey algebra) that neatly reflects the structure of the modal system S4.1. It is shown that the class of topological models based on McKinsey algebras contains a canonical model that can be used (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. An Algebraic View of Super-Belnap Logics.Hugo Albuquerque, Adam Přenosil & Umberto Rivieccio - 2017 - Studia Logica 105 (6):1051-1086.
    The Belnap–Dunn logic is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger logics in the same language, called super-Belnap logics here. We give an overview of several results on these logics which have been proved in recent works by Přenosil and Rivieccio. We present Hilbert-style axiomatizations, describe reduced matrix models, and give a description of the lattice of super-Belnap logics and its connections with graph theory. We adopt the point of (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  21. Agglomerative Algebras.Jeremy Goodman - 2018 - Journal of Philosophical Logic 48 (4):631-648.
    This paper investigates a generalization of Boolean algebras which I call agglomerative algebras. It also outlines two conceptions of propositions according to which they form an agglomerative algebra but not a Boolean algebra with respect to conjunction and negation.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  22. Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
    Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  23. The algebra of negativity. Hegel, Heidegger and their legacy in the contemporary scenario.Francesca Brencio - 2021 - In Antonio Lucci & Jan Knobloch (eds.), Gegen das Leben, gegen die Welt, gegen mich selbst. Figuren der Negativität. pp. 117-132.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Co-constructive logic for proofs and refutations.James Trafford - 2014 - Studia Humana 3 (4):22-40.
    This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and its relation to falsity. It is well known both that intuitionism can not deal constructively with negative information, and that defining falsity by means of intuitionistic negation leads, under widely-held assumptions, to a justification of bivalence. For example, we do not want to (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  25. Cognition, Algebra, and Culture in the Tongan Kinship Terminology.Giovanni Bennardo & Dwight Read - 2007 - Journal of Cognition and Culture 7 (1-2):49-88.
    We present an algebraic account of the Tongan kinship terminology (TKT) that provides an insightful journey into the fabric of Tongan culture. We begin with the ethnographic account of a social event. The account provides us with the activities of that day and the centrality of kin relations in the event, but it does not inform us of the conceptual system that the participants bring with them. Rather, it is a slice in time of an ongoing dynamic process that links (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  26. Co–operation and communication in apes and humans.Ingar Brinck & Peter Gardenfors - 2003 - Mind and Language 18 (5):484–501.
    We trace the difference between the ways in which apes and humans co–operate to differences in communicative abilities, claiming that the pressure for future–directed co–operation was a major force behind the evolution of language. Competitive co–operation concerns goals that are present in the environment and have stable values. It relies on either signalling or joint attention. Future–directed co–operation concerns new goals that lack fixed values. It requires symbolic communication and context–independent representations of means and goals. We analyse these ways of (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  27.  91
    Pura Vida Neutrosophic Algebra.Ranulfo Paiva Barbosa & Florentin Smarandache - 2023 - Neutrosophic Systems with Applications 9.
    We introduce Pura Vida Neutrosophic Algebra, an algebraic structure consisting of neutrosophic numbers equipped with two binary operations namely addition and multiplication. The addition can be calculated sometimes with the function min and other times with the max function. The multiplication operation is the usual sum between numbers. Pura Vida Neutrosophic Algebra is an extension of both Tropical Algebra (also known as Min-Plus, or Min-Algebra) and Max-Plus Algebra (also known as Max-algebra). Tropical and Max-Plus algebras are algebraic structures included (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Improving Algebraic Thinking Skill, Beliefs And Attitude For Mathematics Throught Learning Cycle Based On Beliefs.Widodo Winarso & Toheri - 2017 - Munich University Library.
    In the recent years, problem-solving become a central topic that discussed by educators or researchers in mathematics education. it’s not only as the ability or as a method of teaching. but also, it is a little in reviewing about the components of the support to succeed in problem-solving, such as student's belief and attitude towards mathematics, algebraic thinking skills, resources and teaching materials. In this paper, examines the algebraic thinking skills as a foundation for problem-solving, and learning cycle as a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Co‐Subjective Consciousness Constitutes Collectives.Michael Schmitz - 2018 - Journal of Social Philosophy 49 (1):137-160.
    In this paper I want to introduce and defend what I call the "subject mode account" of collective intentionality. I propose to understand collectives from joint attention dyads over small informal groups of various types to organizations, institutions and political entities such as nation states, in terms of their self-awareness. On the subject mode account, the self-consciousness of such collectives is constitutive for their being. More precisely, their self-representation as subjects of joint theoretical and practical positions towards the world – (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  30. Temporalities and the Urban Fabric: Co-Producing Liminal Spaces in Transitional Epochs.Asma Mehan & Sina Mostafavi - 2023 - Uou Scientific Journal (06):116-125.
    Within the framework of 'Temporalities and the Urban Fabric: Co-Producing Liminal Spaces in Transitional Epochs,' this rigorous examination unravels the multilayered nuances of temporality and its intimate relationship with urban spaces in times of transition. The research delineates the intricate interplay between public exhibitions, urban realms, and socio-political paradigms, particularly within the dynamic settings of the metropolitan entities of Houston and Amsterdam. These cities, as epitomes of temporal urban flux, become fertile grounds for exploring the ephemeral essence of liminal spaces (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. SPEP Co-Director's Address: Hesitation as Philosophical Method—Travel Bans, Colonial Durations, and the Affective Weight of the Past.Alia Al-Saji - 2018 - Journal of Speculative Philosophy 32 (3):331-359.
    It is, without a doubt, a difficult task to address at once the state of philosophy as embodied by the Society for Phenomenology and Existential Philosophy and the place of one’s own thought within it. This is the task that a co-director’s address tries to fill. Whether with a critical reexamination of the phenomenological mode of seeing distinctive of SPEP, of philosophical progress, or of the place of transcontinental philosophy, prior co-directors found ways to subtly chart the windings and turns (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  32. Non-deterministic algebraization of logics by swap structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.
    Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  33. Co-creation with Companies: A Means to Enhance Societal Impact of University Researchers?Kirsi Pulkkinen & Antti Hautamäki - 2019 - In Mads P. Sørensen, Lars Geschwind, Jouni Kekäle & Rómulo Pinheiro (eds.), The Responsible University: Exploring the Nordic Context and Beyond. Springer Verlag. pp. 145-172.
    In this chapter, we explore co-creation as a form of societal interaction of science. We approach co-creation as a goal-oriented form of dynamic interaction aiming at mutual benefit of all parties. As such, we exclude technology transfer and other linear societal interaction forms that follow a closed-model innovation format. We argue that focusing solely on tapping the needs of researchers and ‘pure’ science would lead to ignoring the broader context in which researchers work. An excessive focus on meeting the needs (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Neutrosophic Algebraic Structures and Their Applications.Florentin Smarandache, Memet Şahin, Derya Bakbak, Vakkas Uluçay & Abdullah Kargın - 2022 - Gallup, NM, USA: NSIA Publishing House.
    Neutrosophic theory and its applications have been expanding in all directions at an astonishing rate especially after of the introduction the journal entitled “Neutrosophic Sets and Systems”. New theories, techniques, algorithms have been rapidly developed. One of the most striking trends in the neutrosophic theory is the hybridization of neutrosophic set with other potential sets such as rough set, bipolar set, soft set, hesitant fuzzy set, etc. The different hybrid structures such as rough neutrosophic set, single valued neutrosophic rough set, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. The Algebraic Creativity in The Neutrosophic Square Matrices‏.Mohammad Abobala, Ahmed Hatip, A. A. Salama, Necati Olgun, Broumi Said & Huda E. Khaled - 2021 - Neutrosophic Sets and Systems 40:1-11.
    The objective of this paper is to study algebraic properties of neutrosophic matrices, where a necessary and sufficient condition for the invertibility of a square neutrosophic matrix is presented by defining the neutrosophic determinant. On the other hand, this work introduces the concept of neutrosophic Eigen values and vectors with an easy algorithm to compute them. Also, this article finds a necessary and sufficient condition for the diagonalization of a neutrosophic matrix.
    Download  
     
    Export citation  
     
    Bookmark  
  36. Connecting the revolutionary with the conventional: Rethinking the differences between the works of Brouwer, Heyting, and Weyl.Kati Kish Bar-On - 2023 - Philosophy of Science 90 (3):580–602.
    Brouwer’s intuitionism was a far-reaching attempt to reform the foundations of mathematics. While the mathematical community was reluctant to accept Brouwer’s work, its response to later-developed brands of intuitionism, such as those presented by Hermann Weyl and Arend Heyting, was different. The paper accounts for this difference by analyzing the intuitionistic versions of Brouwer, Weyl, and Heyting in light of a two-tiered model of the body and image of mathematical knowledge. Such a perspective provides a richer account of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Algebra of Theoretical Term Reductions in the Sciences.Dale Jacquette - 2014 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 1 (1): 51-67.
    An elementary algebra identifies conceptual and corresponding applicational limitations in John Kemeny and Paul Oppenheim’s (K-O) 1956 model of theoretical reduction in the sciences. The K-O model was once widely accepted, at least in spirit, but seems afterward to have been discredited, or in any event superceeded. Today, the K-O reduction model is seldom mentioned, except to clarify when a reduction in the Kemeny-Oppenheim sense is not intended. The present essay takes a fresh look at the basic mathematics of K-O (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Cómo pensar sobre otra cosa.Axel Barceló - 2018 - In Max A. Freund, Max Fernandez de Castro & Marco Ruffino (eds.), Logic and Philosophy of Logic: Recent Trends in Latin America and Spain. London, UK: College Publications.
    Pronpongo una nueva manera de concebir la aceptación de proposiciones y su relación con la creencia y la inferencia. Argumento además que adoptar esta propuesta nos permite resolver de manera relativamente sencilla algunas paradojas aparentemente tan disímbolas cómo la del prefacio, la lotería y el sorites. Según esta propuesta, el error detrás de la paradoja sorítica es pensar que quién cree que hay una línea divisoria entre lo que cae dentro de la extensión de un término y lo que cae (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. An Algebra for Tracing Categories of Social Processes: From a Surprising Fact to Middle-Range Theory using Categorical-Generative Analysis.Bruno da Rocha Braga - manuscript
    This paper describes a method for the analysis of the evolutionary path of a complex, dynamic, and contingent social phenomenon in an empirical setting. Given empirical evidence of a surprising or anomalous fact, which contradicts the prediction of the wide-acknowledged theory, the goal is to formulate a plausible explanation based on the context of occurrence, taking a holistic and historical point of view. The procedure begins by translating theoretical propositions into grammar rules to describe patterns of either individual action or (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Co-operation and human values: a study of moral reasoning.R. E. Ewin - 1981 - New York: St. Martin's Press.
    I shall be dealing, throughout this book, with a set of related problems: the relationship between morality and reasoning in general, the way in which moral reasoning is properly to be carried on, and why morality is not arbitrary. The solutions to these problems come out of the same train of argument. Morality is not arbitrary, I shall argue, because the acceptance of certain qualities of character as virtues and the rejection of others as vices is forced on us by (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  41.  35
    Nilpotent Symplectic Alternating Algebras.L. Sorkatti & G. Traustason - 2015 - Journal of Algebra 423:615-635.
    We develop a structure theory for nilpotent symplectic alternating algebras.
    Download  
     
    Export citation  
     
    Bookmark  
  42. Ontological Co-belonging in Peter Sloterdijk's Spherological Philosophy of Mediation.Thomas Sutherland - 2017 - Paragraph 40 (2):133-152.
    This article examines the ontology and politics of Peter Sloterdijk's Spheres trilogy, focusing in particular upon the notion of microspherical enclosure explicated in the first volume of this series. Noting Sloterdijk's unusual alignment of his philosophy with media theory, three main contentions are put forward. Firstly, that Sloterdijk's reconfiguration of Heidegger's fundamental ontology represents a largely unacknowledged renunciation of the primacy of Being-towards-death in the authentic existence of Dasein, foregrounding instead an originary co-belonging between mother and child. Secondly, that Sloterdijk (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  43. Paskian Algebra: A Discursive Approach to Conversational Multi-agent Systems.Thomas Manning - 2023 - Cybernetics and Human Knowing 30 (1-2):67-81.
    The purpose of this study is to compile a selection of the various formalisms found in conversation theory to introduce readers to Pask's discursive algebra. In this way, the text demonstrates how concept sharing and concept formation by means of the interaction of two participants may be formalized. The approach taken in this study is to examine the formal notation system used by Pask and demonstrate how such formalisms may be used to represent concept sharing and concept formation through conversation. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. ALGEBRA OF FUNDAMENTAL MEASUREMENTS AS A BASIS OF DYNAMICS OF ECONOMIC SYSTEMS.Sergiy Melnyk - 2012 - arXiv.
    We propose an axiomatic approach to constructing the dynamics of systems, in which one the main elements 9e8 is the consciousness of a subject. The main axiom is the statements that the state of consciousness is completely determined by the results of measurements performed on it. In case of economic systems we propose to consider an offer of transaction as a fundamental measurement. Transactions with delayed choice, discussed in this paper, represent a logical generalization of incomplete transactions and allow for (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Is co-management a double-edged sword in the protected areas of Sundarbans mangrove?Md Mizanur Rahman - 2022 - Biology and Philosophy 37 (1):1-22.
    The overall objective of the study was to examine the pros and cons of the participatory approach adopted in natural resource management in the ecologically protected areas of the Sundarbans mangrove of Bangladesh. A comparative study was done between the people who are involved and non-involved in this approach. Empirical data was collected through personal interviews with a structured questionnaire. The Gini coefficient was measured first and then embedded with the Lorenz curve to draw a line between perfect equality and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Có thể giúp minh họa truyện bằng tranh của AI không?Ngài Bói Cá - 2023 - Ai Drawings.
    Tiết trời oi nồng cuối tháng 7. Chờ tắt nắng. Chờ thời tiết mát hơn. Vậy thử xem AI sau suốt vài tháng cãi cọ, có công năng đủ để giúp làm cho việc viết lách (cho xuất bản) được sinh động hơn hay không.
    Download  
     
    Export citation  
     
    Bookmark  
  47. The Basic Algebra of Game Equivalences.Valentin Goranko - 2003 - Studia Logica 75 (2):221-238.
    We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities.En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways, game identities into modal formulae.The completeness proof is based on reduction of game terms to a certain ‘minimal (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  48. Algebraic symbolism in medieval Arabic algebra.Jeffrey A. Oaks - 2012 - Philosophica 87 (4):27-83.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  49. Álgebras booleanas, órdenes parciales y axioma de elección.Franklin Galindo - 2017 - Divulgaciones Matematicas 18 ( 1):34-54.
    El objetivo de este artículo es presentar una demostración de un teorema clásico sobre álgebras booleanas y ordenes parciales de relevancia actual en teoría de conjuntos, como por ejemplo, para aplicaciones del método de construcción de modelos llamado “forcing” (con álgebras booleanas completas o con órdenes parciales). El teorema que se prueba es el siguiente: “Todo orden parcial se puede extender a una única álgebra booleana completa (salvo isomorfismo)”. Donde extender significa “sumergir densamente”. Tal demostración se realiza utilizando cortaduras de (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Algebraic aspects and coherence conditions for conjoined and disjoined conditionals.Angelo Gilio & Giuseppe Sanfilippo - 2020 - International Journal of Approximate Reasoning 126:98-123.
    We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by $n$ conditional events and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 999