Search results for "MV-algebras"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Richard Mayr	Model Checking PA-Processes.	CONCUR	1997	DBLP DOI BibTeX RDF	PA-processes, model checking, process algebras, tableau systems
13	Hans-E. Porst	The algebraic theory of order.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Essentially equational theory, essentially algebraic category, order and preorder, ordered algebras
13	Richard Gerber 0001, Insup Lee 0001	Specification and Analysis of Resource-Bound Real-Time Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	verification, Real-time, specification, programming languages, process algebras, configuration, proof systems
13	Corrado Böhm	Subduing Self-Application.	ICALP	1989	DBLP DOI BibTeX RDF	combinatory and lambda-algebras, typability, strong normalizability, recursor, permutator, iterator, Self-application, recursive schemes
13	Gérard Boudol, Ilaria Castellani	Permutation of transitions: An event structure semantics for CCS and SCCS.	REX Workshop	1988	DBLP DOI BibTeX RDF	pomset-labelled transition systems, process algebras, event structures
13	Matthew Hennessy	Observing processes.	REX Workshop	1988	DBLP DOI BibTeX RDF	behavioural semantics, testing, process algebras, Concurrent Processes
13	Antoni W. Mazurkiewicz	Compositional Semantics of Pure Place/ Transition Systems.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF	pomsets, Petri nets, semantics, concurrency, modularity, algebras, Compositionality
13	Corrado Böhm, Adolfo Piperno	Surjectivity for Finite Sets of Combinators by Weak Reduction.	CSL	1987	DBLP DOI BibTeX RDF	Pure -calculus, combinatory algebras, surjectivity, discriminability or X-separability in -()-calculus
13	Manfred Schmidt-Schauß	Unification in Many-Sorted Eqational Theories.	CADE	1986	DBLP DOI BibTeX RDF	Many-Sorted Logics, Heterogeneous Algebras, Unification, Equational Theories
10	L. Blanco, Fernando Jiménez, Javier de Lucas, Cristina Sardón	Geometry-Preserving Numerical Methods for Physical Systems with Finite-Dimensional Lie Algebras.	J. Nonlinear Sci.	2024	DBLP DOI BibTeX RDF
10	Rajab Ali Borzooei, Sun Shin Ahn, Young Bae Jun	Łukasiewicz fuzzy filters of Sheffer stroke Hilbert algebras.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
10	Qiuyan Zhan, A. Borumand Saeid, Bijan Davvaz	Operators on L-algebras.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
10	Anh-Tu Nguyen, Thanh-Lam Bui, Huy Anh Bui, Sy-Tai Nguyen, Xuan-Thuan Nguyen	Application of hedge algebras algorithm for mobile robot controller via hand gestures and wireless protocol.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
10	C. E. Kofinas, Athanassios I. Papistas	On automorphisms of certain free nilpotent-by-abelian Lie algebras.	Int. J. Algebra Comput.	2024	DBLP DOI BibTeX RDF
10	C. E. Kofinas	Symmetric polynomials in free center-by-metabelian Lie algebras of rank 2.	Int. J. Algebra Comput.	2024	DBLP DOI BibTeX RDF
10	Miguel Couceiro, Dwight Duffus	Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet.	Order	2024	DBLP DOI BibTeX RDF
10	Diogo Diniz, Dimas José Gonçalves, Viviane Ribeiro Tomaz da Silva, Manuela da Silva Souza	The isomorphism problem in the context of PI-theory for two-dimensional Jordan algebras.	Finite Fields Their Appl.	2024	DBLP DOI BibTeX RDF
10	Q. Labriet, Loïc Poulain d'Andecy	Realisations of Racah algebras using Jacobi operators and convolution identities.	Adv. Appl. Math.	2024	DBLP DOI BibTeX RDF
10	Axel Osmond	Codescent and Bicolimits of Pseudo-Algebras.	Appl. Categorical Struct.	2024	DBLP DOI BibTeX RDF
10	Luis M. Pardo	Exploring implications of Trace (Inversion) formula and Artin algebras in extremal combinatorics.	Appl. Algebra Eng. Commun. Comput.	2024	DBLP DOI BibTeX RDF
10	Fatmah Baker H. Jamjoom, Fadwa M. Algamdei	Product States of Infinite Tensor Product of JC-algebras.	Axioms	2024	DBLP DOI BibTeX RDF
10	Yu Yang, Xingtao Wang	Representations of Generalized Loop Planar Galilean Conformal Algebras W(Γ).	Axioms	2024	DBLP DOI BibTeX RDF
10	Abdullah Assiry, Sabeur Mansour, Amir Baklouti	S-Embedding of Lie Superalgebras and Its Implications for Fuzzy Lie Algebras.	Axioms	2024	DBLP DOI BibTeX RDF
10	Tugce Katican, Hashem Bordbar	Sheffer Stroke Hilbert Algebras Stabilizing by Ideals.	Axioms	2024	DBLP DOI BibTeX RDF
10	Alexander A. Balinsky, Victor A. Bovdi, Anatolij K. Prykarpatski	On the Quantum Deformations of Associative Sato Grassmannian Algebras and the Related Matrix Problems.	Symmetry	2024	DBLP DOI BibTeX RDF
10	Mieczyslaw Cichon, Kinga Cichon	On Normed Algebras and the Generalized Maligranda-Orlicz Lemma.	Symmetry	2024	DBLP DOI BibTeX RDF
10	Hongyu Yu, Xiaopei Jiao, Stephen S.-T. Yau	Complete Classification of Finite Dimensional Estimation Algebras With State Dimension n, Linear Rank n-1, and Constant Wong Matrix.	IEEE Trans. Autom. Control.	2024	DBLP DOI BibTeX RDF
10	Pavel S. Kolesnikov, Bauyrzhan K. Sartayev	On the Special Identities of Gelfand-Dorfman Algebras.	Exp. Math.	2024	DBLP DOI BibTeX RDF
10	Hau-Wen Huang	The Clebsch-Gordan coefficients of U(sl2) and the Terwilliger algebras of Johnson graphs.	J. Comb. Theory, Ser. A	2024	DBLP DOI BibTeX RDF
10	Jeremy F. Alm, Ashlee Bostic, Claire Chenault, Kenyon Coleman, Chesney Culver	Cyclic Group Spectra for Some Small Relation Algebras.	CoRR	2024	DBLP DOI BibTeX RDF
10	Daniel Lehmann	Projection-algebras and quantum logic.	CoRR	2024	DBLP DOI BibTeX RDF
10	Louis Mozart Kamdem, Caglar Demir, Axel-Cyrille Ngonga Ngomo	Embedding Knowledge Graphs in Degenerate Clifford Algebras.	CoRR	2024	DBLP DOI BibTeX RDF
10	Jonas Frey	Uniform Preorders and Partial Combinatory Algebras.	CoRR	2024	DBLP DOI BibTeX RDF
10	Juan Climent Vidal, Enric Cosme-Llópez	From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms.	CoRR	2024	DBLP DOI BibTeX RDF
10	Sacha Huriot-Tattegrain, Glynn Winskel	Concurrent Strategies on Games with Algebras.	CoRR	2024	DBLP DOI BibTeX RDF
10	Milan Lopuhaä-Zwakenberg	Attack tree metrics are operad algebras.	CoRR	2024	DBLP DOI BibTeX RDF
10	Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio	Nelson algebras, residuated lattices and rough sets: A survey.	CoRR	2024	DBLP DOI BibTeX RDF
10	José Luis Castiglioni, Rodolfo Cristian Ertola Biraben	Assume-guarantee contract algebras are bounded Sugihara monoids.	CoRR	2024	DBLP DOI BibTeX RDF
10	Moulay A. Barkatou, Lucas Legrand, Tristan Vaccon	Gr{ö}bner bases over polytopal affinoid algebras.	CoRR	2024	DBLP DOI BibTeX RDF
10	Thi Thoa Mac, Tien-Duy Nguyen, Hai-Le Bui, Ngoc-An Tran	Optimal design of hedge-algebras-based controller for vibration control of vehicle suspension systems.	J. Syst. Control. Eng.	2024	DBLP DOI BibTeX RDF
10	Sergio A. Celani	Relational representation for subordination Tarski algebras.	J. Appl. Non Class. Logics	2024	DBLP DOI BibTeX RDF
10	Damla Yilmaz	Symmetric bi-derivations of UP(BCC)-algebras.	J. Appl. Non Class. Logics	2024	DBLP DOI BibTeX RDF
10	Jouni Järvinen, Michiro Kondo	Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras.	Soft Comput.	2024	DBLP DOI BibTeX RDF
10	Xueting Zhao, Aiping Gan, Yichuan Yang	$(\odot ,\vee )$-Derivations on MV-algebras.	Soft Comput.	2024	DBLP DOI BibTeX RDF
10	Abd El-Mohsen Badawy, Kamal El-Saady, Essam Abd El-Baset	δ-ideals of p-algebras.	Soft Comput.	2024	DBLP DOI BibTeX RDF
10	Xianglong Ruan	A class of cancellable L-algebras.	Soft Comput.	2024	DBLP DOI BibTeX RDF
10	Ahsan Mahboob, G. Muhiuddin	m-Polar cubic p(q and a)-ideals of BCI-algebras.	Discret. Math. Algorithms Appl.	2024	DBLP DOI BibTeX RDF
10	Natanael Alpay, Peter Jipsen, Melissa Sugimoto	Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras.	Log. Methods Comput. Sci.	2024	DBLP DOI BibTeX RDF
10	Lianzhen Liu	The existence of nontrivial monadic operators on linearly ordered monadic nilpotent minimum algebras.	Fuzzy Sets Syst.	2024	DBLP DOI BibTeX RDF
10	Aiping Gan, Wei Luan, Fangan Deng, Yichuan Yang	On regularity of topological MV-algebras.	Fuzzy Sets Syst.	2024	DBLP DOI BibTeX RDF
10	Jitsupat Rattanakangwanwong, Yotsanan Meemark	Subgraph of unitary Cayley graph of matrix algebras induced by idempotent matrices.	Discret. Math.	2024	DBLP DOI BibTeX RDF
10	Evgeny Kolmakov	On Shavrukov's non-Isomorphism Theorem for diagonalizable Algebras.	Rev. Symb. Log.	2024	DBLP DOI BibTeX RDF
10	Yajie Lv, Wenjuan Chen	The Spectra of Quasi-Boolean Algebras.	Log. J. IGPL	2024	DBLP DOI BibTeX RDF
10	Vincent Knibbeler	Computing equivariant matrices on homogeneous spaces for geometric deep learning and automorphic Lie algebras.	Adv. Comput. Math.	2024	DBLP DOI BibTeX RDF
10	E. Mohammadzadeh, G. Muhiuddin, Rajab Ali Borzooei	Fuzzy Nilpotent Ideals in BCK-Algebras.	New Math. Nat. Comput.	2024	DBLP DOI BibTeX RDF
10	Nikolay Bazhenov 0001, Manat Mustafa	On Learning Families of Ideals in Lattices and Boolean Algebras.	TAMC	2024	DBLP DOI BibTeX RDF
10	Piotr Kawalek, Michael Kompatscher, Jacek Krzaczkowski	Circuit Equivalence in 2-Nilpotent Algebras.	STACS	2024	DBLP DOI BibTeX RDF
10	Michael Kompatscher	The Subpower Membership Problem of 2-Nilpotent Algebras.	STACS	2024	DBLP DOI BibTeX RDF
10	Casper Bach Poulsen, Cas van der Rest	Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
10	Gregg Musiker, Kayla Wright	Mixed Dimer Configuration Model in Type D Cluster Algebras.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
10	Sebastian König	Combinatorics of Centers of 0-Hecke Algebras in Type A.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
10	Mahmood Bakhshi, Sun Shin Ahn, Young Bae Jun, Xiao Long Xin 0001, Rajab Ali Borzooei	Construction of some algebras of logic by using fuzzy ideals in mv-modules.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
10	Mariana Floricica Calin, Cristina Flaut, Dana Piciu	Remarks regarding some Algebras of Logic.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
10	Thanh-Lam Bui, Thanh-Hung Nguyen, Xuan-Thuan Nguyen	A Controller for Delta Parallel Robot Based on Hedge Algebras Method.	J. Robotics	2023	DBLP DOI BibTeX RDF
10	Sy-Tai Nguyen, Thi Thoa Mac, Hai-Le Bui	Motion Control of a Mobile Robot Using the Hedge-Algebras-Based Controller.	J. Robotics	2023	DBLP DOI BibTeX RDF
10	Danilo Vilela Avelar, Viviane Ribeiro Tomaz da Silva	ℤ2-gradings and minimal varieties of ℤ2-graded PI algebras.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
10	D. Chen, X. Zhang	On the number of tilting modules over a class of Auslander algebras.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
10	Boris Kunyavskii, Vadim Z. Ostapenko	Tate-Shafarevich groups and algebras.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
10	Valentino Delle Rose, Luca San Mauro, Andrea Sorbi	Classifying word problems of finitely generated algebras via computable reducibility.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
10	Nik Ruskuc, Bill de Witt	On the number of countable subdirect powers of unary algebras.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
10	Yali Wu, Xia Li, Jing Wang	Notes on Sharp and Principal Elements in Effect Algebras.	Order	2023	DBLP DOI BibTeX RDF
10	Alex Citkin	On Finitely-Generated Johansson Algebras.	Order	2023	DBLP DOI BibTeX RDF
10	Kentarô Yamamoto	The automorphism Group of the FRAïSSé Limit of finite Heyting Algebras - addendum.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
10	George Metcalfe, Luca Reggio	Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
10	James Mathew Koussas	Finite Relation Algebras.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
10	Kentarô Yamamoto	The automorphism Group of the FRAïSSé Limit of finite Heyting Algebras.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
10	Piotr Borodulin-Nadzieja, Damian Sobota	On Sequences of Homomorphisms Into Measure Algebras and the Efimov Problem.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
10	Masiur Rahaman Sardar, Mihir Kumar Chakraborty	Rough set models of some abstract algebras close to pre-rough algebra.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
10	Fernand Kuiebove Pefireko	Lattices of (Generalized) Fuzzy Ideals in Double Boolean Algebras.	TFSS	2023	DBLP DOI BibTeX RDF
10	Juan Manuel Cornejo, Hanamantagouda P. Sankappanavar	Gautama and Almost Gautama Algebras and their associated logics.	TFSS	2023	DBLP DOI BibTeX RDF
10	Giacomo Lenzi	On The Spectrum of Countable MV-algebras.	TFSS	2023	DBLP DOI BibTeX RDF
10	Tenkeu Jeufack Yannick Léa, Cyrille Nganteu Tchikapa	On the Lattice of Filters of Intuitionistic Linear Algebras.	TFSS	2023	DBLP DOI BibTeX RDF
10	Mahta Bedrood, Giuseppina Barbieri, Giacomo Lenzi, Farhad Sajadian, Arsham Borumand Saeid	A Special Type of Ideals in MV-algebras of Continuous Functions.	FLAP	2023	DBLP BibTeX RDF
10	Xiaoxue Zhang, Hongxing Liu	The Annihilating-ideal Graphs of MV-algebras.	FLAP	2023	DBLP BibTeX RDF
10	Francesco Brenti, Roberto Conti, Gleb Nenashev	Permutative automorphisms of the Cuntz algebras: Quadratic cycles, an involution and a box product.	Adv. Appl. Math.	2023	DBLP DOI BibTeX RDF
10	Nantel Bergeron, Rafael S. González D'León, Shu Xiao Li, C. Y. Amy Pang, Yannic Vargas	Hopf algebras of parking functions and decorated planar trees.	Adv. Appl. Math.	2023	DBLP DOI BibTeX RDF
10	Erik Bédos, S. Kaliszewski, John Quigg, Jonathan Turk	Coactions on C*-Algebras and Universal Properties.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
10	Guram Bezhanishvili, Luca Carai, Patrick J. Morandi, Bruce Olberding	De Vries Powers and Proximity Specker Algebras.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
10	Mateusz Stroinski	Weighted Colimits of 2-Representations and Star Algebras.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
10	Florin F. Nichita	Unification Theories: Rings, Boolean Algebras and Yang-Baxter Systems.	Axioms	2023	DBLP DOI BibTeX RDF
10	Marjan Matvejchuk	Ideals of Projections According to σ-Algebras and Unbounded Measurements.	Axioms	2023	DBLP DOI BibTeX RDF
10	Manuel Ojeda-Hernández, Domingo López-Rodríguez, Pablo Cordero	Fuzzy Algebras of Concepts.	Axioms	2023	DBLP DOI BibTeX RDF
10	Wen Teng, Jiulin Jin, Fengshan Long	Generalized Reynolds Operators on Lie-Yamaguti Algebras.	Axioms	2023	DBLP DOI BibTeX RDF
10	Reem K. Alhefthi, Akhlaq Ahmad Siddiqui, Fatmah Baker H. Jamjoom	Homotopes of Quasi-Jordan Algebras.	Axioms	2023	DBLP DOI BibTeX RDF
10	Xiaohong Zhang 0001, Rong Liang	Interval-Valued General Residuated Lattice-Ordered Groupoids and Expanded Triangle Algebras.	Axioms	2023	DBLP DOI BibTeX RDF
10	Zoriana Novosad, Svitlana Vasylyshyn, Andriy Zagorodnyuk	Countably Generated Algebras of Analytic Functions on Banach Spaces.	Axioms	2023	DBLP DOI BibTeX RDF
10	Asma Ali, Amal S. Alali, Mohd Tasleem	Characterization of Non-Linear Bi-Skew Jordan n-Derivations on Prime ∗-Algebras.	Axioms	2023	DBLP DOI BibTeX RDF
10	Shadi Shaqaqha	Fuzzy Hom-Lie Ideals of Hom-Lie Algebras.	Axioms	2023	DBLP DOI BibTeX RDF
10	Rutwig Campoamor-Stursberg, Francisco Oviaño García	Construction of Rank-One Solvable Rigid Lie Algebras with Nilradicals of a Decreasing Nilpotence Index.	Axioms	2023	DBLP DOI BibTeX RDF
10	Francisco Miguel García-Olmedo, Antonio J. Rodríguez Salas, Pedro González-Rodelas	Certain Bounds of Formulas in Free Temporal Algebras.	Axioms	2023	DBLP DOI BibTeX RDF