Results for 'homomorphism'

13 found
Order:
  1. Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC.Richard Zach - 2023 - Logic and Logical Philosophy 32 (2):161-179.
    Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Soft Neutrosophic Ring and Soft Neutrosophic Field.Mumtaz Ali, Florentin Smarandache, Muhammad Shabir & Munazza Naz - 2014 - Neutrosophic Sets and Systems 3:53-59.
    In this paper we extend the theory of neutrosophic rings and neutrosophic fields to soft sets and construct soft neutrosophic rings and soft neutrosophic fields. We also extend neutrosophic ideal theory to form soft neutrosophic ideal over a neutrosophic ring and soft neutrosophic ideal of a soft neutrosophic ring . We have given many examples to illustrate the theory of soft neutrosophic rings and soft neutrosophic fields and display many properties of of these. At the end of this paper we (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Interpretation of Neutrosophic Soft cubic T-ideal in the Environment of PS-Algebra.Neha Andaleeb Khalid, Muhammad Saeed & Florentin Smarandache - 2023 - Neutrosophic Sets and Systems 58.
    This study provides an innovative approach to neutrosophic algebraic structures by introducing a new structure called Neutrosophic Soft Cubic T-ideal (NSCTID), which combines T-ideal (TID) and neutrosophic Soft Cubic Sets (NSCSs) within the framework of PS-Algebra. Within the already-existing neutrosophic cubic structures, the addition of soft sets with the characteristics of TID makes this structure more desirable. The theoretical development of the proposed structure includes the application of fundamental ideas as union, intersection, the Cartesian product, and homomorphism. We also (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4.  58
    Lógica cuántica, Nmatrices y adecuación, II.Juan Pablo Jorge & Federico Holik - 2023 - Teorema: International Journal of Philosophy 42 (1):149-169.
    By elaborating on the results presented in Lógica cuántica, Nmatrices y adecuación I, here we discuss the notions of adequacy and truth functionality in quantum logic from the point of view of a non-deterministic semantics based on Nmatrices. We present a proof of the impossibility of providing a functional semantics for the quantum lattice. An advantage of our proof is that it is independent of the number of truth values involved, generalizing previous works. Due to the impossibility of defining adequate (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. On Refined Neutrosophic Finite p-Group.Sunday Adesina Adebisi & Florentin Smarandache - 2023 - Journal of Fuzzy Extension and Applications 4.
    The neutrosophic automorphisms of a neutrosophic groups G (I) , denoted by Aut(G (I)) is a neu-trosophic group under the usual mapping composition. It is a permutation of G (I) which is also a neutrosophic homomorphism. Moreover, suppose that X1 = X(G (I)) is the neutrosophic group of inner neutrosophic auto-morphisms of a neutrosophic group G (I) and Xn the neutrosophic group of inner neutrosophic automorphisms of Xn-1. In this paper, we show that if any neutrosophic group of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Logic-Language-Ontology.Urszula B. Wybraniec-Skardowska - 2022 - Cham, Switzerland: Springer Nature, Birkhäuser, Studies in Universal Logic series.
    The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Weakly Free Multialgebras.Marcelo E. Coniglio & Guilherme V. Toledo - 2022 - Bulletin of the Section of Logic 51 (1):109-141.
    In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Logic and Sense.Urszula Wybraniec-Skardowska - 2016 - Philosophy Study 6 (9).
    In the paper, original formal-logical conception of syntactic and semantic: intensional and extensional senses of expressions of any language L is outlined. Syntax and bi-level intensional and extensional semantics of language L are characterized categorically: in the spirit of some Husserl’s ideas of pure grammar, Leśniewski-Ajukiewicz’s theory syntactic/semantic categories and in accordance with Frege’s ontological canons, Bocheński’s famous motto—syntax mirrors ontology and some ideas of Suszko: language should be a linguistic scheme of ontological reality and simultaneously a tool of its (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. A partial model theory and some of its applications.Rodolfo Cunha Carnier - manuscript
    In this paper, we introduce the basics of what we shall call "partial model theory", which is an extension of traditional model theory to partial structures. These are a specific kind of structure developed within the partial structures approach, which is a view constituting the semantic approach of theories. And together with other related semantical concepts, like the concept of quasi-truth, partial structures have been used in contemporary philosophy of science for several purposes. Nonetheless, those uses presuppose certain technical results, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Algebraic structures of neutrosophic triplets, neutrosophic duplets, or neutrosophic multisets. Volume I.Florentin Smarandache, Xiaohong Zhang & Mumtaz Ali - 2018 - Basel, Switzerland: MDPI. Edited by Florentin Smarandache, Xiaohong Zhang & Mumtaz Ali.
    The topics approached in the 52 papers included in this book are: neutrosophic sets; neutrosophic logic; generalized neutrosophic set; neutrosophic rough set; multigranulation neutrosophic rough set (MNRS); neutrosophic cubic sets; triangular fuzzy neutrosophic sets (TFNSs); probabilistic single-valued (interval) neutrosophic hesitant fuzzy set; neutro-homomorphism; neutrosophic computation; quantum computation; neutrosophic association rule; data mining; big data; oracle Turing machines; recursive enumerability; oracle computation; interval number; dependent degree; possibility degree; power aggregation operators; multi-criteria group decision-making (MCGDM); expert set; soft sets; LA-semihypergroups; single (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Algebraic structures of neutrosophic triplets, neutrosophic duplets, or neutrosophic multisets. Volume II.Florentin Smarandache, Xiaohong Zhang & Mumtaz Ali - 2019 - Basel, Switzerland: MDPI.
    The topics approached in this collection of papers are: neutrosophic sets; neutrosophic logic; generalized neutrosophic set; neutrosophic rough set; multigranulation neutrosophic rough set (MNRS); neutrosophic cubic sets; triangular fuzzy neutrosophic sets (TFNSs); probabilistic single-valued (interval) neutrosophic hesitant fuzzy set; neutro-homomorphism; neutrosophic computation; quantum computation; neutrosophic association rule; data mining; big data; oracle Turing machines; recursive enumerability; oracle computation; interval number; dependent degree; possibility degree; power aggregation operators; multi-criteria group decision-making (MCGDM); expert set; soft sets; LA-semihypergroups; single valued trapezoidal neutrosophic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. What Is the Sense in Logic and Philosophy of Language.Urszula Wybraniec-Skardowska - 2020 - Bulletin of the Section of Logic 49 (2):185-211.
    In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequacy of expressions of L. The adequacy ensures their unambiguous syntactic and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. What Constitutes a Formal Analogy?Kenneth Olson & Gilbert Plumer - 2002 - In Hans V. Hansen, Christopher W. Tindale, J. Anthony Blair, Ralph H. Johnson & Robert C. Pinto (eds.), Argumentation and its Applications, CD-ROM. Ontario Society for the Study of Argumentation. pp. 1-8.
    There is ample justification for having analogical material in standardized tests for graduate school admission, perhaps especially for law school. We think that formal-analogy questions should compare different scenarios whose structure is the same in terms of the number of objects and the formal properties of their relations. The paper deals with this narrower question of how legitimately to have formal analogy test items, and the broader question of what constitutes a formal analogy in general.
    Download  
     
    Export citation  
     
    Bookmark