Search results for 'Commutative rings Congresses' (try it on Scholar)

1000+ found
Sort by:
  1. John N. Crossley (ed.) (1975). Algebra and Logic: Papers From the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia. Springer-Verlag.score: 180.0
     
    My bibliography  
     
    Export citation  
  2. Lawrence P. Belluce & Antonio Di Nola (2009). Commutative Rings Whose Ideals Form an MV‐Algebra. Mathematical Logic Quarterly 55 (5):468-486.score: 140.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Mihai Prunescu (2003). Diophantine Properties of Finite Commutative Rings. Archive for Mathematical Logic 42 (3):293-302.score: 112.0
    Simple observations on diophantine definability over finite commutative rings lead to a characterization of those rings in terms of their diophantine behavior.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Misao Nagayama (1992). On Boolean Algebras and Integrally Closed Commutative Regular Rings. Journal of Symbolic Logic 57 (4):1305-1318.score: 96.0
    In this paper we consider properties, related to model-completeness, of the theory of integrally closed commutative regular rings. We obtain the main theorem claiming that in a Boolean algebra B, the truth of a prenex Σn-formula whose parameters ai partition B, can be determined by finitely many conditions built from the first entry of Tarski invariant T(ai)'s, n-characteristic D(n, ai)'s and the quantities S(ai, l) and S'(ai, l) for $l < n$. Then we derive two important theorems. One (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. G. L. Cherlin (1973). Algebraically Closed Commutative Rings. Journal of Symbolic Logic 38 (3):493-499.score: 84.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Stephen D. Comer (1983). Review: G. L. Cherlin, The Model-Companion of a Class of Structures; L. Lipshitz, D. Saracino, The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements; Angus Macintyre, Model-Completeness for Sheaves of Structures. [REVIEW] Journal of Symbolic Logic 48 (2):496-496.score: 84.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Dan Saracino (1999). Prime E.C. Commutative Rings in Characteristic N ≥. Journal of Symbolic Logic 64 (2):629-633.score: 84.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Luis F. Caceres-Duque (2003). Ideal Theories of Some Commutative Rings. Bulletin of the Section of Logic 32 (1/2):9-18.score: 84.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Gregory L. Cherlin & Joachim Reineke (1976). Categoricity and Stability of Commutative Rings. Annals of Mathematical Logic 9 (4):367-399.score: 84.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. J. C. C. McKinsey (1944). Review: Alfred L. Foster, B. A. Bernstein, Symmetric Approach to Commutative Rings, With Duality Theorem: Boolean Duality as a Special Case. [REVIEW] Journal of Symbolic Logic 9 (4):97-97.score: 84.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Gena Puninski & Carlo Toffalori (2009). Towards the Decidability of the Theory of Modules Over Finite Commutative Rings. Annals of Pure and Applied Logic 159 (1):49-70.score: 84.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. K.-P. Podewski & Joachim Reineke (1979). Algebraically Closed Commutative Local Rings. Journal of Symbolic Logic 44 (1):89-94.score: 72.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. Kay Smith (1984). Commutative Regular Rings and Boolean-Valued Fields. Journal of Symbolic Logic 49 (1):281-297.score: 72.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. L. van den Dries (1977). Artin-Schreier Theory for Commutative Regular Rings. Annals of Mathematical Logic 12 (2):113-150.score: 72.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Annual Congresses (forthcoming). ERS Annual Congress Barcelona 2010. Hermes.score: 60.0
    No categories
     
    My bibliography  
     
    Export citation  
  16. Bruce I. Rose (1978). Rings Which Admit Elimination of Quantifiers. Journal of Symbolic Logic 43 (1):92-112.score: 42.0
    We say that a ring admits elimination of quantifiers, if in the language of rings, {0, 1, +, ·}, the complete theory of R admits elimination of quantifiers. Theorem 1. Let D be a division ring. Then D admits elimination of quantifiers if and only if D is an algebraically closed or finite field. A ring is prime if it satisfies the sentence: ∀ x ∀ y ∃ z (x = 0 ∨ y = 0 ∨ xzy ≠ 0). (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  17. Olivier Finkel & Stevo Todorčević (2012). A Hierarchy of Tree-Automatic Structures. Journal of Symbolic Logic 77 (1):350-368.score: 40.0
    We consider ω n -automatic structures which are relational structures whose domain and relations are accepted by automata reading ordinal words of length ω n for some integer n ≥ 1. We show that all these structures are ω-tree-automatic structures presentable by Muller or Rabin tree automata. We prove that the isomorphism relation for ω 2 -automatic (resp. ω n -automatic for n > 2) boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. Gerd Niestegge (2009). A Representation of Quantum Measurement in Nonassociative Algebras. Foundations of Physics 39 (2):120-136.score: 24.0
    Starting from an abstract setting for the Lüders-von Neumann quantum measurement process and its interpretation as a probability conditionalization rule in a non-Boolean event structure, the author derived a certain generalization of operator algebras in a preceding paper. This is an order-unit space with some specific properties. It becomes a Jordan operator algebra under a certain set of additional conditions, but does not own a multiplication operation in the most general case. A major objective of the present paper is the (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  19. L. Yu Glebsky, E. I. Gordon & C. Ward Hensen (2007). On Finite Approximations of Topological Algebraic Systems. Journal of Symbolic Logic 72 (1):1 - 25.score: 24.0
    We introduce and discuss a concept of approximation of a topological algebraic system A by finite algebraic systems from a given class K. If A is discrete, this concept agrees with the familiar notion of a local embedding of A in a class K of algebraic systems. One characterization of this concept states that A is locally embedded in K iff it is a subsystem of an ultraproduct of systems from K. In this paper we obtain a similar characterization of (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  20. Kinjalk Lochan, Seema Satin & Tejinder P. Singh (2012). Statistical Thermodynamics for a Non-Commutative Special Relativity: Emergence of a Generalized Quantum Dynamics. [REVIEW] Foundations of Physics 42 (12):1556-1572.score: 18.0
    There ought to exist a description of quantum field theory which does not depend on an external classical time. To achieve this goal, in a recent paper we have proposed a non-commutative special relativity in which space-time and matter degrees of freedom are treated as classical matrices with arbitrary commutation relations, and a space-time line element is defined using a trace. In the present paper, following the theory of Trace Dynamics, we construct a statistical thermodynamics for the non-commutative (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  21. S. Twareque Ali, Claudio Carmeli, Teiko Heinosaari & Alessandro Toigo (2009). Commutative POVMs and Fuzzy Observables. Foundations of Physics 39 (6):593-612.score: 18.0
    In this paper we review some properties of fuzzy observables, mainly as realized by commutative positive operator valued measures. In this context we discuss two representation theorems for commutative positive operator valued measures in terms of projection valued measures and describe, in some detail, the general notion of fuzzification. We also make some related observations on joint measurements.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. Norihiro Kamide (2010). Dynamic Non-Commutative Logic. Journal of Logic, Language and Information 19 (1):33-51.score: 18.0
    A first-order dynamic non-commutative logic (DN), which has no structural rules and has some program operators, is introduced as a Gentzen-type sequent calculus. Decidability, cut-elimination and completeness theorems are shown for DN or its fragments. DN is intended to represent not only program-based, resource-sensitive, ordered, sequence-based, but also hierarchical (tree-based) reasoning.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  23. Rostislav Horčík (2012). Minimal Varieties of Representable Commutative Residuated Lattices. Studia Logica 100 (6):1063-1078.score: 18.0
    We solve several open problems on the cardinality of atoms in the subvariety lattice of residuated lattices and FL-algebras [4, Problems 17—19, pp. 437]. Namely, we prove that the subvariety lattice of residuated lattices contains continuum many 4-potent commutative representable atoms. Analogous results apply also to atoms in the subvariety lattice of FL i -algebras and FL o -algebras. On the other hand, we show that the subvariety lattice of residuated lattices contains only five 3-potent commutative representable atoms (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  24. Hans Schoutens (1999). Existentially Closed Models of the Theory of Artinian Local Rings. Journal of Symbolic Logic 64 (2):825-845.score: 18.0
    The class of all Artinian local rings of length at most l is ∀ 2 -elementary, axiomatised by a finite set of axioms Art l . We show that its existentially closed models are Gorenstein, of length exactly l and their residue fields are algebraically closed, and, conversely, every existentially closed model is of this form. The theory Got l of all Artinian local Gorenstein rings of length l with algebraically closed residue field is model complete and the (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  25. Lee Cronk & Bria Dunham (2007). Amounts Spent on Engagement Rings Reflect Aspects of Male and Female Mate Quality. Human Nature 18 (4):329-333.score: 18.0
    Previous research has shown that the qualities of nuptial gifts among nonhumans and marriage-related property transfers in human societies such as bridewealth and dowry covary with aspects of mate quality. This article explores this issue for another type of marriage-related property transfer: engagement rings. We obtained data on engagement ring costs and other variables through a mail survey sent to recently married individuals living in the American Midwest. This article focuses on survey responses regarding rings that were purchased (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  26. Norihiro Kamide (2009). Temporal Non-Commutative Logic: Expressing Time, Resource, Order and Hierarchy. Logic and Logical Philosophy 18 (2):97-126.score: 18.0
    A first-order temporal non-commutative logic TN[l], which has no structural rules and has some l-bounded linear-time temporal operators, is introduced as a Gentzen-type sequent calculus. The logic TN[l] allows us to provide not only time-dependent, resource-sensitive, ordered, but also hierarchical reasoning. Decidability, cut-elimination and completeness (w.r.t. phase semantics) theorems are shown for TN[l]. An advantage of TN[l] is its decidability, because the standard first-order linear-time temporal logic is undecidable. A correspondence theorem between TN[l] and a resource indexed non-commutative (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  27. Claude Sureson (2009). Model Companion and Model Completion of Theories of Rings. Archive for Mathematical Logic 48 (5):403-420.score: 18.0
    Extending the language of rings to include predicates for Jacobson radical relations, we show that the theory of regular rings defined by Carson, Lipshitz and Saracino is the model completion of the theory of semisimple rings. Removing the requirement on the Jacobson radical (reduced to {0}), we prove that the theory of rings with no nilpotents does not admit a model companion relative to this augmented language.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. María E. Alonso, Henri Lombardi & Hervé Perdry (2008). Elementary Constructive Theory of Henselian Local Rings. Mathematical Logic Quarterly 54 (3):253-271.score: 15.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  29. Hervé Perdry (2008). Lazy Bases: A Minimalist Constructive Theory of Noetherian Rings. Mathematical Logic Quarterly 54 (1):70-82.score: 15.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  30. Jan Krajíček & Thomas Scanlon (2000). Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings. Bulletin of Symbolic Logic 6 (3):311-330.score: 14.0
    We recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially ordered Euler characteristic and Grothendieck ring and give a characterization of structures that have non-trivial partially ordered Grothendieck ring. We give a generalization of counting functions to locally finite structures, and use the construction to show that the Grothendieck ring of the complex numbers contains as a subring the ring of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  31. Cédric Milliet (2011). Stable Division Rings. Journal of Symbolic Logic 76 (1):348 - 352.score: 14.0
    It is shown that a stable division ring with positive characteristic has finite dimension over its centre. This is then extended to simple division rings.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. Uri Abraham (1989). Free Sets for Commutative Families of Functions. In Jens Erik Fenstad, Ivan Timofeevich Frolov & Risto Hilpinen (eds.), Logic, Methodology, and Philosophy of Science Viii: Proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987. Sole Distributors for the U.S.A. And Canada, Elsevier Science.score: 14.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Vincent Astier (2008). Elementary Equivalence of Some Rings of Definable Functions. Archive for Mathematical Logic 47 (4):327-340.score: 14.0
    We characterize elementary equivalences and inclusions between von Neumann regular real closed rings in terms of their boolean algebras of idempotents, and prove that their theories are always decidable. We then show that, under some hypotheses, the map sending an L-structure R to the L-structure of definable functions from R n to R preserves elementary inclusions and equivalences and gives a structure with a decidable theory whenever R is decidable. We briefly consider structures of definable functions satisfying an extra (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  34. Krzysztof Krupiński (2011). On Relationships Between Algebraic Properties of Groups and Rings in Some Model-Theoretic Contexts. Journal of Symbolic Logic 76 (4):1403-1417.score: 14.0
    We study relationships between certain algebraic properties of groups and rings definable in a first order structure or *-closed in a compact G-space. As a consequence, we obtain a few structural results about ω-categorical rings as well as about small, nm-stable compact G-rings, and we also obtain surprising relationships between some conjectures concerning small profinite groups.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  35. Bas Spitters (2012). The Space of Measurement Outcomes as a Spectral Invariant for Non-Commutative Algebras. Foundations of Physics 42 (7):896-908.score: 12.0
    The recently developed technique of Bohrification associates to a (unital) C*-algebra Athe Kripke model, a presheaf topos, of its classical contexts;in this Kripke model a commutative C*-algebra, called the Bohrification of A;the spectrum of the Bohrification as a locale internal in the Kripke model. We propose this locale, the ‘state space’, as a (n intuitionistic) logic of the physical system whose observable algebra is A.We compute a site which externally captures this locale and find that externally its points may (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  36. Anna Jenčová & Sylvia Pulmannová (2009). Characterizations of Commutative POV Measures. Foundations of Physics 39 (6):613-624.score: 12.0
    Two different characterizations of POV measures with commutative range are compared using a representation of some stochastic operators by (weak) Markov kernels. A representation by Choquet theorem is obtained as an integral over functions of a sharp observable appearing in one of the characterizations. A Naimark extension is constructed.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  37. Abigail E. Ruane (2012). The International Relations of Middle-Earth: Learning From the Lord of the Rings. University of Michigan Press.score: 12.0
    Introduction: Middle-Earth, The lord of the rings, and international relations -- Order, justice, and Middle-Earth -- Thinking about international relations and Middle-Earth -- Middle-Earth and three great debates in international relations -- Middle-Earth, levels of analysis, and war -- Middle-Earth and feminist theory -- Middle-Earth and feminist analysis of conflict -- Middle-Earth as a source of inspiration and enrichment -- Conclusion: international relations and our many worlds.
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Andrzej Wroński (2004). The Distance Function in Commutative ℓ-Semigroups and the Equivalence in Łukasiewicz Logic. Studia Logica 77 (2):241 - 253.score: 12.0
    The equivalence connective in ukasiewicz logic has its algebraic counterpart which is the distance function d(x,y) =|x–y| of a positive cone of a commutative -group. We make some observations on logically motivated algebraic structures involving the distance function.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  39. Roberto Cignoli & Antoni Torrens (2012). Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term. Studia Logica 100 (6):1107-1136.score: 12.0
    Let ${\mathbb{BRL}}$ denote the variety of commutative integral bounded residuated lattices (bounded residuated lattices for short). A Boolean retraction term for a subvariety ${\mathbb{V}}$ of ${\mathbb{BRL}}$ is a unary term t in the language of bounded residuated lattices such that for every ${{\bf A} \in \mathbb{V}, t^{A}}$ , the interpretation of the term on A, defines a retraction from A onto its Boolean skeleton B(A). It is shown that Boolean retraction terms are equationally definable, in the sense that there (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  40. Anatolij Dvurečenskij (2000). On Categorical Equivalences of Commutative BCK-Algebras. Studia Logica 64 (1):21-36.score: 12.0
    A commutative BCK-algebra with the relative cancellation property is a commutative BCK-algebra (X;*,0) which satisfies the condition: if a ≤ x, a ≤ y and x * a = y * a, then x = y. Such BCK-algebras form a variety, and the category of these BCK-algebras is categorically equivalent to the category of Abelian ℓ-groups whose objects are pairs (G, G 0), where G is an Abelian ℓ-group, G 0 is a subset of the positive cone generating (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  41. Miklós Rédei (1992). When Can Non-Commutative Statistical Inference Be Bayesian? International Studies in the Philosophy of Science 6 (2):129 – 132.score: 12.0
    Based on recalling two characteristic features of Bayesian statistical inference in commutative probability theory, a stability property of the inference is pointed out, and it is argued that that stability of the Bayesian statistical inference is an essential property which must be preserved under generalization of Bayesian inference to the non-commutative case. Mathematical no-go theorems are recalled then which show that, in general, the stability can not be preserved in non-commutative context. Two possible interpretations of the impossibility (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  42. K. Matczak & A. Romanowska (2004). Quasivarieties of Cancellative Commutative Binary Modes. Studia Logica 78 (1-2):321 - 335.score: 12.0
    The paper describes the isomorphic lattices of quasivarieties of commutative quasigroup modes and of cancellative commutative binary modes. Each quasivariety is characterised by providing a quasi-equational basis. A structural description is also given. Both lattices are uncountable and distributive.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  43. Hiroki Takamura (2012). Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-Commutative Residuated Lattices with an S4-Like Modal Operator. Studia Logica 100 (6):1137-1148.score: 12.0
    In this paper, we show that all semisimple varieties of bounded weak-commutative residuated lattices with an S4-like modal operator are discriminator varieties. We also give a characterization of discriminator and EDPC varieties of bounded weak-commutative residuated lattices with an S4-like modal operator follows.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  44. Marcelo E. Coniglio & Francisco Miraglia (2000). Non-Commutative Topology and Quantales. Studia Logica 65 (2):223-236.score: 12.0
    The relationship between q-spaces (c.f. [9]) and quantum spaces (c.f. [5]) is studied, proving that both models coincide in the case of Spec A, the spectrum of a non-commutative C*-algebra A. It is shown that a sober T 1 quantum space is a classical topological space. This difficulty is circumvented through a new definition of point in a quantale. With this new definition, it is proved that Lid A has enough points. A notion of orthogonality in quantum spaces is (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  45. Brian Bocking (2013). Flagging Up Buddhism: Charles Pfoundes (Omoie Tetzunostzuke) Among the International Congresses and Expositions, 1893–1905. Contemporary Buddhism 14 (1):17-37.score: 12.0
    Charles James William Pfoundes (1840?1907), a young emigrant from Southeast Ireland, spent most of his adult life in Japan, received a Japanese name ?Omoie Tetzunostzuke?, first embraced and then turned against Theosophy and, from 1893, was ordained in several Japanese Buddhist traditions. Lacking independent means but educated, intellectually curious, entrepreneurial, fluent in Japanese and with a keen interest in Asian culture, Pfoundes subsisted as a cultural intermediary, explaining Japan and Asia to both Japanese and foreign audiences and actively seeking involvement (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  46. Moshe Kamensky (2009). The Model Completion of the Theory of Modules Over Finitely Generated Commutative Algebras. Journal of Symbolic Logic 74 (3):734-750.score: 12.0
    We find the model completion of the theory modules over , where is a finitely generated commutative algebra over a field K. This is done in a context where the field K and the module are represented by sorts in the theory, so that constructible sets associated with a module can be interpreted in this language. The language is expanded by additional sorts for the Grassmanians of all powers of $K^n $ , which are necessary to achieve quantifier (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  47. Misao Nagayama & Mitsuhiro Okada (2001). A New Correctness Criterion for the Proof Nets of Non-Commutative Multiplicative Linear Logics. Journal of Symbolic Logic 66 (4):1524-1542.score: 12.0
    This paper presents a new correctness criterion for marked Danos-Reginer graphs (D-R graphs, for short) of Multiplicative Cyclic Linear Logic MCLL and Abrusci's non-commutative Linear Logic MNLL. As a corollary we obtain an affirmative answer to the open question whether a known quadratic-time algorithm for the correctness checking of proof nets for MCLL and MNLL can be improved to linear-time.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  48. Miklós Rédei (1992). When Can Non‐Commutative Statistical Inference Be Bayesian? International Studies in the Philosophy of Science 6 (2):129-132.score: 12.0
    Abstract Based on recalling two characteristic features of Bayesian statistical inference in commutative probability theory, a stability property of the inference is pointed out, and it is argued that that stability of the Bayesian statistical inference is an essential property which must be preserved under generalization of Bayesian inference to the non?commutative case. Mathematical no?go theorems are recalled then which show that, in general, the stability can not be preserved in non?commutative context. Two possible interpretations of the (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. Thanases Pheidas & Karim Zahidi (2004). Elimination Theory for Addition and the Frobenius Map in Polynomial Rings. Journal of Symbolic Logic 69 (4):1006 - 1026.score: 12.0
    We develop an elimination theory for addition and the Frobenius map over rings of polynomials. As a consequence we show that if F is a countable. recursive and perfect field of positive characteristic p, with decidable theory, then the structure of addition, the Frobenius map x $\rightarrow$ $x^{p}$ and the property 'x $\epsilon$ F', over the ring of polynomials F[T]. has a decidable theory.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  50. Michal Botur & Radomír Halaš (2009). Commutative Basic Algebras and Non-Associative Fuzzy Logics. Archive for Mathematical Logic 48 (3-4):243-255.score: 12.0
    Several investigations in probability theory and the theory of expert systems show that it is important to search for some reasonable generalizations of fuzzy logics (e.g. Łukasiewicz, Gödel or product logic) having a non-associative conjunction. In the present paper, we offer a non-associative fuzzy logic L CBA having as an equivalent algebraic semantics lattices with section antitone involutions satisfying the contraposition law, so-called commutative basic algebras. The class (variety) CBA of commutative basic algebras was intensively studied in several (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000