Search results for "MV-algebras"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Volker Weispfenning	Efficient Decision Algorithms for Locally Finite Theories.	AAECC	1985	DBLP DOI BibTeX RDF
21	Jan A. Bergstra, Manfred Broy, John V. Tucker, Martin Wirsing	On the Power of Algebraic Specifications.	MFCS	1981	DBLP DOI BibTeX RDF
21	Robert L. Herrmann	Selection and implementation of a ternary switching algebra.	AFIPS Spring Joint Computing Conference	1968	DBLP DOI BibTeX RDF
20	Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana	Positive Fork Graph Calculus.	LFCS	2009	DBLP DOI BibTeX RDF	Positive relational calculi, fork algebras, graph calculus, completeness, decidability
20	Guillaume Demarcq, Laurent Mascarilla, Pierre Courtellemont	A Metric and Multiscale Color Segmentation Using the Color Monogenic Signal.	CAIP	2009	DBLP DOI BibTeX RDF	Monogenic signal, differential geometry, color segmentation, color image processing, Clifford algebras
20	Thomas Batard, Michel Berthier	The Clifford-Hodge Flow: An Extension of the Beltrami Flow.	CAIP	2009	DBLP DOI BibTeX RDF	Vector-valued data, Differential Geometry, Anisotropic diffusion, Clifford algebras, Heat equations
20	Bernhard Heinemann	A Hybrid Logic for Reasoning about Knowledge and Topology.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	The logic of knowledge, Nominalstructure for subset spaces, Algebras of sets, Hybrid logic, Topological reasoning
20	Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis	Extending statecharts with process algebra operators.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	EB3, Information systems, Process algebras, Statecharts, State transition diagrams
20	Jan A. Bergstra, John V. Tucker	The rational numbers as an abstract data type.	J. ACM	2007	DBLP DOI BibTeX RDF	division-by-zero, meadow, total versus partial functions, abstract data types, algebraic specification, computable algebras, field, equations, Rational numbers, initial algebra
20	Neil Ghani, Tarmo Uustalu, Makoto Hamana	Explicit substitutions and higher-order syntax.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Algebras, Monads, Abstract syntax, Explicit substitutions, Variable binding
20	Eugene W. Stark, Rance Cleaveland, Scott A. Smolka	Probabilistic I/O Automata: Theories of Two Equivalences.	CONCUR	2006	DBLP DOI BibTeX RDF	process equivalences, continuous-time Markov chains, equational theories, stochastic process algebras, complete axiomatizations
20	Alessandro Fantechi, Stefania Gnesi, Laura Semini	Achieving Fault Tolerance by a Formally Validated Interaction Policy.	RODIN Book	2006	DBLP DOI BibTeX RDF	Integrity policies, fault tolerance, model checking, process algebras
20	Joan Gispert, Antoni Torrens	Axiomatic Extensions of IMT3 Logic.	Stud Logica	2005	DBLP DOI BibTeX RDF	IMTL-algebras, involutive monoidal t-norm logic, residu-ated lattices, many-valued logics
20	Timothy G. Griffin, João L. Sobrinho	Metarouting.	SIGCOMM	2005	DBLP DOI BibTeX RDF	algebraic routing, path algebras, routing protocols
20	R. Padmanabhan, P. Penner	Semilattice Operations Generated by Lattice Terms.	Order	2004	DBLP DOI BibTeX RDF	quasilattice, compatible orders, subdirectly irreducible, distributive multisemilattice, pseudomedian algebras, lattice, semilattice, modular lattice
20	Marco Bernardo 0001	Symbolic semantic rules for producing compact STGLAs from value passing process descriptions.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	symbolic semantics, value passing, Process algebras
20	Beloslav Riecan	On the Law of Large Numbers on IFS Events.	Fuzzy Days	2004	DBLP DOI BibTeX RDF	IFS-events, probability, observables, MV-algebras
20	Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo	An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them: I: Language Extension Mechanisms.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF	Calculus of relations, logic programming, relation algebras, algebraic specifications, computational logic
20	Ahmed Bouajjani, Javier Esparza, Tayssir Touili	A generic approach to the static analysis of concurrent programs with procedures.	POPL	2003	DBLP DOI BibTeX RDF	concurrent programs with procedures, verification, static analysis, abstraction, kleene algebras, pushdown systems
20	Neil Ghani, Tarmo Uustalu	Explicit substitutions and higher-order syntax.	MERLIN	2003	DBLP DOI BibTeX RDF	algebras, monads, abstract syntax, explicit substitutions, variable binding
20	Marek Golasinski	Disconnected Equivariant Rational Homotopy Theory.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	closed model category, cofinite EI-category, equivariant KS-minimal model, Grothendieck construction, Hamiltonian group, linearly compact k-module, system of differential graded complete algebras and simplicial sets
20	Anton Setzer	Java as a Functional Programming Language.	TYPES	2002	DBLP DOI BibTeX RDF	object calculi, higher types, algebraic types, state pattern, Java, object-oriented programming, functional programming, Lambda calculus, visitor pattern, initial algebras, call-by-value
20	Patrik Nordbeck	On the Finiteness of Gröbner Bases Computation in Quotients of the Free Algebra.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Non-commutative algebras, Gröbner bases, Dickson's lemma, Noetherianity, Syzygies
20	Sakaé Fuchino, Stefan Geschke, Lajos Soukup	On the weak Freese-Nation property of ?(omega).	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Weak Freese-Nation property, Cohen models, Cicho?'s diagram, Superatomic Boolean algebras
20	Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla	An example of performance evaluation by using the stochastic process algebra: ROSA.	RTCSA	2000	DBLP DOI BibTeX RDF	ROSA, algebraic language, performance indexes, Reasoning On Stochastic Algebras, average time to send a message, performance evaluation, performance evaluation, fault tolerance, real-time systems, formal methods, temporal logic, case studies, specification languages, process algebra, algebraic specification, stochastic process algebra, real-time requirements, designs specifications, Alternating Bit Protocol, temporal requirements
20	Hajime Ishihara	Function algebraic characterizations of the polytime functions.	Comput. Complex.	1999	DBLP DOI BibTeX RDF	Polytime functions, function algebras, recursion schemes
20	Markus Bläser	A 5/2 n2-Lower Bound for the Rank of n×n Matrix Multiplication over Arbitrary Fields.	FOCS	1999	DBLP DOI BibTeX RDF	associative algebras, computational complexity, rank, matrix multiplication, bilinear complexity
20	Andrea Formisano 0001, Eugenio G. Omodeo	An Equational Re-engineering of Set Theories.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF	first-order theorem-proving, relation algebras, Set Theory, algebraic logic
20	Rodney G. Downey, André Nies	Undecidability Results for Low Complexity Degree Structures.	CCC	1997	DBLP DOI BibTeX RDF	undecidability results, low complexity degree structures, EXPTIME degrees, polynomial time Turing, many-one reducibility, coding method, ideal lattices, hyper-polynomial time classes, Boolean algebra, Boolean algebras
20	Soumitra Bose, Vishwani D. Agrawal	Sequential logic path delay test generation by symbolic analysis.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	sequential logic path delay test generation, two-vector test sequences, non-scan sequential circuit, multivalued algebras, three-vector test sequences combinational logic, value propagation rule, ISCAS89 benchmarks, fault diagnosis, logic testing, delays, Boolean functions, Boolean functions, finite state machines, finite state machines, sequential circuits, encoding, automatic testing, Binary Decision Diagrams, multivalued logic, sequential machines, symbolic analysis, combinational logic, state transitions
20	Helmut Thiele	On the Mutual Definability of Fuzzy Tolerance Relations and Fuzzy Tolerance Coverings.	ISMVL	1995	DBLP DOI BibTeX RDF	tolerance analysis, mutual definability, fuzzy tolerance relations, fuzzy tolerance coverings, systems of sets, fixed universe, crisp set theory, bijections, fuzzy equivalence relations, crisp tolerance relations, crisp coverings, pattern recognition, cluster analysis, symmetry, fuzzy clusters, fuzzy set theory, equivalence classes, similarity relations, universal algebras, binary relations, reflexivity, fuzzy partitions, lattice isomorphisms
20	Wendy MacCaull	Finite Algebraic Models for Residuated Logic.	ISMVL	1995	DBLP DOI BibTeX RDF	finite algebraic models, residuated logic, model pruning, nonclassical logics, combinatorial explosions, structure theorems, residuated algebras, theorem proving, inference mechanisms, search problems, multivalued logic, approximate reasoning, substructural logics, algebraic semantics, automated theorem prover
19	J. Patricio Díaz Varela, Noemí Lubomirsky	Functional description of free algebras in subvarieties of BL-algebras.	Fuzzy Sets Syst.	2024	DBLP DOI BibTeX RDF
19	Zhicheng Zhu, Huhu Zhang, Xing Gao	Free weighted (modified) differential algebras, free (modified) Rota-Baxter algebras and Gröbner-Shirshov bases.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
19	Guram Bezhanishvili, Luca Carai, Patrick J. Morandi	A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ-Algebras.	Order	2023	DBLP DOI BibTeX RDF
19	Abdi Oli, Gerima Tefera	Fuzzy derivations of d-ideals of d-algebras and Cartesian product of Fuzzy derivation of d-ideals of d-algebras.	Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
19	Miklós Ferenczi	On the Representation of Transposition Algebras and Non-commutative Cylindric Algebras.	FLAP	2023	DBLP BibTeX RDF
19	Akihide Hanaki, Masayoshi Yoshikawa	Terwilliger algebras and some related algebras defined by finite connected simple graphs.	Discret. Math.	2023	DBLP DOI BibTeX RDF
19	Tarek Sayed Ahmed	Notions of representability for cylindric algebras: some algebras are more representable than others.	Period. Math. Hung.	2023	DBLP DOI BibTeX RDF
19	Mayuka F. Kawaguchi, Michiro Kondo	On quotient algebras of normal eo-algebras by congruences.	ISMVL	2023	DBLP DOI BibTeX RDF
19	Armando Reyes, Cristian Sarmiento	On the differential smoothness of 3-dimensional skew polynomial algebras and diffusion algebras.	Int. J. Algebra Comput.	2022	DBLP DOI BibTeX RDF
19	Yudan Du, Xiaohong Zhang 0001	QM-BZ-Algebras and Quasi-Hyper BZ-Algebras.	Axioms	2022	DBLP DOI BibTeX RDF
19	Zahra Eidinejad, Reza Saadati, Donal O'Regan, Fehaid Salem Alshammari	Minimum Superstability of Stochastic Ternary Antiderivations in Symmetric Matrix-Valued FB-Algebras and Symmetric Matrix-Valued FC-⋄-Algebras.	Symmetry	2022	DBLP DOI BibTeX RDF
19	Sergio A. Celani, Ramon Jansana	A variety of algebras closely related to subordination algebras.	J. Appl. Non Class. Logics	2022	DBLP DOI BibTeX RDF
19	Yingying Jiang, Wenjuan Chen	Quasi-MV* algebras: a generalization of MV*-algebras.	Soft Comput.	2022	DBLP DOI BibTeX RDF
19	Anatolij Dvurecenskij, Dominik Lachman	n-dimensional observables on k-perfect MV-algebras and k-perfect effect algebras. II. One-to-one correspondence.	Fuzzy Sets Syst.	2022	DBLP DOI BibTeX RDF
19	Anatolij Dvurecenskij, Dominik Lachman	n-dimensional observables on k-perfect MV-algebras and k-perfect effect algebras. I. Characteristic points.	Fuzzy Sets Syst.	2022	DBLP DOI BibTeX RDF
19	Zongzhen Xie, Hanpeng Gao, Zhaoyong Huang	Tilting modules over Auslander algebras of Nakayama algebras with radical cube zero.	Int. J. Algebra Comput.	2021	DBLP DOI BibTeX RDF
19	Runxuan Zhang	Representations of ω-Lie algebras and tailed derivations of Lie algebras.	Int. J. Algebra Comput.	2021	DBLP DOI BibTeX RDF
19	Alina Dobrogowska, Karolina Wojciechowicz	Linear Bundle of Lie Algebras Applied to the Classification of Real Lie Algebras.	Symmetry	2021	DBLP DOI BibTeX RDF
19	Ali Molkhasi	Representations of Sheffer stroke algebras and Visser algebras.	Soft Comput.	2021	DBLP DOI BibTeX RDF
19	Xiu-Juan Hua	State L-algebras and derivations of L-algebras.	Soft Comput.	2021	DBLP DOI BibTeX RDF
19	Brijesh Dongol, Ian J. Hayes, Georg Struth	Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras.	Log. Methods Comput. Sci.	2021	DBLP BibTeX RDF
19	Afrodita Iorgulescu	On Quantum-MV Algebras - Part I: The Orthomodular Algebras.	Sci. Ann. Comput. Sci.	2021	DBLP DOI BibTeX RDF
19	Anatolij Dvurecenskij, Omid Zahiri	A variety containing EMV-algebras and Pierce sheaves of EMV-algebras.	Fuzzy Sets Syst.	2021	DBLP DOI BibTeX RDF
19	Hongxing Liu	EMV-algebras with Quantifier and Semi-states on EMV-algebras.	J. Multiple Valued Log. Soft Comput.	2020	DBLP BibTeX RDF
19	Jing Wang, Yali Wu, Yichuan Yang	Hyper Commutative Basic Algebras, Hyper MV-algebras, and States.	J. Multiple Valued Log. Soft Comput.	2020	DBLP BibTeX RDF
19	Afrodita Iorgulesc, Michael Kinyon	Putting Bounded Involutive Lattices, De Morgan Algebras, Ortholattices and Boolean Algebras on the "Map".	FLAP	2020	DBLP BibTeX RDF
19	Daniel Abraham Romano	Hilbert Algebras in a Non-Classical Framework: Hilbert Algebras with Apartness.	FLAP	2020	DBLP BibTeX RDF
19	Alfons Van Daele, Shuanhong Wang	Weak Multiplier Hopf Algebras II: Source and Target Algebras.	Symmetry	2020	DBLP DOI BibTeX RDF
19	Fatmah Baker H. Jamjoom, A. H. Al Otaibi	On the Relationship between Jordan Algebras and Their Universal Enveloping Algebras.	Int. J. Math. Math. Sci.	2020	DBLP DOI BibTeX RDF
19	Aldo V. Figallo, Claudia M. Gomes	Monadic Boolean algebras with an automorphism and their relation to ${\mathbf{Df}}_{\mathbf{2}}$-algebras.	Soft Comput.	2020	DBLP DOI BibTeX RDF
19	Jing Wang, Yali Wu, Yichuan Yang	Basic algebras and L-algebras.	Soft Comput.	2020	DBLP DOI BibTeX RDF
19	Francesco Ciraulo, Michele Contente	Overlap Algebras: a Constructive Look at Complete Boolean Algebras.	Log. Methods Comput. Sci.	2020	DBLP DOI BibTeX RDF
19	Manuela Busaniche, José Luis Castiglioni, Noemí Lubomirsky	Functional representation of finitely generated free algebras in subvarieties of BL-algebras.	Ann. Pure Appl. Log.	2020	DBLP DOI BibTeX RDF
19	Gejza Jenca	Pseudo effect algebras are algebras over bounded posets.	Fuzzy Sets Syst.	2020	DBLP DOI BibTeX RDF
19	Nikolaos Galatos, Peter Jipsen	Weakening Relation Algebras and FL2-algebras.	RAMiCS	2020	DBLP DOI BibTeX RDF
19	Rajab Ali Borzooei, Hee Sik Kim, Nader Kouhestani	Constructing (pre)norms in BL-algebras and its action on topological BL-algebras.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
19	Donggyun Kim, Sangjib Kim, Euisung Park	On the structures of hive algebras and tensor product algebras for general linear groups of low rank.	Int. J. Algebra Comput.	2019	DBLP DOI BibTeX RDF
19	Namhee Kwon	Branching Functions for Admissible Representations of Affine Lie Algebras and Super-Virasoro Algebras.	Axioms	2019	DBLP DOI BibTeX RDF
19	Hassan Almusawa, Ryad Ghanam, Gerard Thompson	Classification of Symmetry Lie Algebras of the Canonical Geodesic Equations of Five-Dimensional Solvable Lie Algebras.	Symmetry	2019	DBLP DOI BibTeX RDF
19	Paolo Aglianò	Varieties of BL-Algebras III: Splitting Algebras.	Stud Logica	2019	DBLP DOI BibTeX RDF
19	Aldo Figallo Orellano, Inés Pascual	On Monadic Operators on Modal Pseudocomplemented De Morgan Algebras and Tetravalent Modal Algebras.	Stud Logica	2019	DBLP DOI BibTeX RDF
19	Francesco Ciraulo, Michele Contente	Overlap Algebras: a constructive look at complete Boolean algebras.	CoRR	2019	DBLP BibTeX RDF
19	Yali Wu, Jing Wang, Yichuan Yang	Lattice-ordered effect algebras and L-algebras.	Fuzzy Sets Syst.	2019	DBLP DOI BibTeX RDF
19	Hongxing Liu	On categorical equivalences of equality algebras and monadic equality algebras.	Log. J. IGPL	2019	DBLP DOI BibTeX RDF
19	Afrodita Iorgulescu	Quasi-i-Boolean algebras vs. quasi-m Boolean algebras.	EUSFLAT Conf.	2019	DBLP DOI BibTeX RDF
19	Gejza Jenca	Effect Algebras as Presheaves on Finite Boolean Algebras.	Order	2018	DBLP DOI BibTeX RDF
19	Xiaohong Zhang 0001, Rajab Ali Borzooei, Young Bae Jun	Q-Filters of Quantum B-Algebras and Basic Implication Algebras.	Symmetry	2018	DBLP DOI BibTeX RDF
19	Kuanyun Zhu, Bao Qing Hu	A novel Z-soft rough fuzzy BCI-algebras (ideals) of BCI-algebras.	Soft Comput.	2018	DBLP DOI BibTeX RDF
19	Juan Manuel Cornejo, Hernán Javier San Martín	A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras.	Log. J. IGPL	2018	DBLP DOI BibTeX RDF
19	Juan Climent Vidal, Enric Cosme-Llópez	When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?	Log. J. IGPL	2018	DBLP DOI BibTeX RDF
19	Mart Abel	Generalization of Segal algebras for arbitrary topological algebras.	Period. Math. Hung.	2018	DBLP DOI BibTeX RDF
19	Dong Su, Shilin Yang	Green rings of weak Hopf algebras based on generalized Taft algebras.	Period. Math. Hung.	2018	DBLP DOI BibTeX RDF
19	Sarah Alexander, Peter Jipsen, Nadiya Upegui	On the Structure of Generalized Effect Algebras and Separation Algebras.	RAMiCS	2018	DBLP DOI BibTeX RDF
19	Vsevolod Gubarev	Universal Enveloping Commutative Rota-Baxter Algebras of Pre- and Post-Commutative Algebras.	Axioms	2017	DBLP DOI BibTeX RDF
19	Roberto Cignoli, Antoni Torrens	Erratum to: Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x2) = (2x)22.	Stud Logica	2017	DBLP DOI BibTeX RDF
19	Liyi Li 0002, Elsa L. Gunter	A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras.	WPTE@FSCD	2017	DBLP DOI BibTeX RDF
19	Vladimir V. Bavula	Quiver Generalized Weyl Algebras, Skew Category Algebras and Diskew Polynomial Rings.	Math. Comput. Sci.	2017	DBLP DOI BibTeX RDF
19	Stefano Aguzzoli, Tommaso Flaminio, Sara Ugolini	Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
19	Noemí Lubomirsky, Hernán Javier San Martín, William Javier Zuluaga Botero	Relatively compatible operations in BCK-algebras and some related algebras.	Log. J. IGPL	2017	DBLP DOI BibTeX RDF
19	Peter Jipsen	Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras.	RAMiCS	2017	DBLP DOI BibTeX RDF
19	Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg	Boolean Algebras in Visser Algebras.	Notre Dame J. Formal Log.	2016	DBLP DOI BibTeX RDF
19	Mathys Rennela, Sam Staton, Robert Furber	Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras.	QPL	2016	DBLP DOI BibTeX RDF
19	Dusko Pavlovic, Peter-Michael Seidel	(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras.	QPL	2016	DBLP DOI BibTeX RDF
19	Ivo Düntsch, Ewa Orlowska, Clint J. van Alten	Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras.	Fuzzy Sets Syst.	2016	DBLP DOI BibTeX RDF
19	Jeremy F. Alm, Robin Hirsch, Roger D. Maddux	There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation Algebras.	Rev. Symb. Log.	2016	DBLP DOI BibTeX RDF
19	Samuel Coskey	G. A. Elliott, I. Farah, V. I. Paulsen, C. Rosendal, A. S. Toms, and A. Törnquist. The isomorphism relation for separable C-algebras. Mathematics Research Letters, vol. 20 (2013), no. 6, pp. 1071-1080. - Marcin Sabok. Completeness of the isomorphism problem for separable C-algebras. Inventiones Mathematicae, to appear, published online at link.springer.com/journal/222.	Bull. Symb. Log.	2015	DBLP DOI BibTeX RDF
19	Afrodita Iorgulescu	Quasi-Algebras versus Regular Algebras - Part I.	Sci. Ann. Comput. Sci.	2015	DBLP DOI BibTeX RDF
19	Ian M. Hodkinson	Connections between Relation Algebras and Cylindric Algebras.	RAMiCS	2015	DBLP DOI BibTeX RDF