Search results for "MV-algebras"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
44	Tomás Kroupa	Representation and extension of states on MV-algebras.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B52, 28E99, 03E72
44	Wojciech Buszkowski	On the Complexity of the Equational Theory of Relational Action Algebras.	RelMiCS	2006	DBLP DOI BibTeX RDF
44	Lawrence Peter Belluce, Antonio Di Nola, Ada Lettieri	Symmetric MV-Algebras.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
44	Vladimir V. Kornyak	Cohomologies of restricted Lie algebras of Hamiltonian vector fields: Computer analysis.	Program. Comput. Softw.	2005	DBLP DOI BibTeX RDF
44	Andrei Popescu 0001	Lukasiewicz-Moisil Relation Algebras.	Stud Logica	2005	DBLP DOI BibTeX RDF	?ukasiewicz-Moisil relation algebra, complex algebra
44	Éric Badouel, Jules Chenou, Goulven Guillou	Petri Algebras.	ICALP	2005	DBLP DOI BibTeX RDF
44	Peter Burmeister	Algebraic theory of quasivarieties of heterogeneous partial algebras.	Stud Logica	2004	DBLP DOI BibTeX RDF	heterogeneous partial algebra, existence equation (E-equation), QE-equation, strong equation, logical (Craig) projection, extended signature, implicational theory, algebraic closure operators, primitive class, quasiprimitive class, quasivariety
44	Maria Manuel Clementino, Dirk Hofmann	Topological Features of Lax Algebras.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	(lax) monad, (lax) algebra, ultrafilter monad, approach space, quasi-uniform space, ech-Stone compactification, topological space
44	Roman Fric	Measures on MV-algebras.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Semisimple M V -algebra, Initial sequential convergence, I -sequential M V -algebra, Sequential continuity, Absolutely sequentially closed object, Epireflection, Sequentially continuous measure, ?-completion, Extension of measures, Natural equivalence, Bold algebra, ?ukasiewicz tribe, Measurable map, Probability event, D -poset, Coproduct, Quantum structure, Observable, Duality, Measurable space
44	Anatolij Dvurecenskij	On pseudo MV-algebras.	Soft Comput.	2001	DBLP DOI BibTeX RDF	?-group, Partial addition, Normal ideal, Archimedean property, MV-algebra, State, Commutativity, Ideal, Pseudo MV-algebra
44	Anatolij Dvurecenskij, Maria Gabriella Graziano	Dedekind Complete Commutative BCK-algebras.	Order	2000	DBLP DOI BibTeX RDF	atomic BCK-algebra, commutative BCK-algebra, Dedekind complete BCK-algebra, relative cancellation property, subdirect product, universal group
44	Andrea Corradini 0001, Fabio Gadducci	Functorial Semantics for Multi-algebras.	WADT	1998	DBLP DOI BibTeX RDF
44	Philippe Jorrand	Communication as Unification in Process Algebras: Operational Semantics (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
44	Jan Reiterman, Vera Trnková	On Representations of Dynamic Algebras with Reversion.	MFCS	1981	DBLP DOI BibTeX RDF
44	Anthony S. Wojcik, Gernot Metze	An Analysis of Some Relationships Between Post and Boolean Algebras.	J. ACM	1974	DBLP DOI BibTeX RDF
44	Wei-Zhi Wu 0001, You-Hong Xu	On Fuzzy Rough Set Algebras in Infinite Universes.	RSKT	2009	DBLP DOI BibTeX RDF	Fuzzy rough set algebras, Rough sets, Fuzzy sets, Fuzzy rough sets, Approximation operators
44	Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi 0001	TAPAs: A Tool for the Analysis of Process Algebras.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	behavioural equivalences, concurrency, process algebras, modal logics, bisimulation, property verification
44	Xiaohong Zhang 0001, Yingcang Ma, Zhanao Xue, Gang Yao	Implication Operators Based on Rough Set Model over Boolean Algebras.	GrC	2007	DBLP DOI BibTeX RDF	Implication operator, IMTL-algebra, Heyting Wajsberg algebra (HW algebra), Fuzzy Logic, Rough Set, Boolean Algebras
44	Wei-Zhi Wu 0001, You-Hong Xu	On Rough Fuzzy Set Algebras.	FSKD	2006	DBLP DOI BibTeX RDF	Rough fuzzy set algebras, Rough sets, Fuzzy sets, Approximation operators, Rough fuzzy sets
44	Bernhard Heinemann	Algebras as Knowledge Structures.	MFCS	2005	DBLP DOI BibTeX RDF	modal and hybrid logic, knowledge and algebras, decidability, topological reasoning, reasoning about knowledge
44	Antonio Di Nola, Laurentiu Leustean	Compact representations of BL-algebras.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Basic logic, Sheaf representations, Gelfand duality, BL-algebras
43	Yun Shang, Ruqian Lu	Semirings and pseudo MV algebras.	Soft Comput.	2007	DBLP DOI BibTeX RDF	K-? automata, K-languages, Semirings, Pseudo MV algebras, Pseudo BL algebras
43	Francesc Esteva, Lluís Godo, Franco Montagna	Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras.	Stud Logica	2004	DBLP DOI BibTeX RDF	t-norm algebras, axiomatization, varieties, Bl-algebras
43	Sylvia Pulmannová	Extensions of MV-algebras.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Abelian partially ordered groups, Partially ordered partial abelian monoids, Riesz decomposition properties, Short exact sequences, Extensions, MV-algebras, Effect algebras
43	Ivo G. Rosenberg, Dan A. Simovici, Szymon Jaroszewicz	On Functions Defined on Free Boolean Algebras.	ISMVL	2002	DBLP DOI BibTeX RDF	Free Boolean Algebras, Post Algebras, inclusion-exclusion, query-size estimation, measure
43	Abdelilah Kandri-Rody, Deepak Kapur, Paliath Narendran	An Ideal-Theoretic Approach to Work Problems and Unification Problems over Finitely Presented Commutative Algebras.	RTA	1985	DBLP DOI BibTeX RDF	Unification Problem, Finitely Presented Algebras, Commutative Algebras, Gröbner Basis, Knuth-Bendix Completion Procedure, Term Rewriting, Word Problem, Polynomial Ideals
42	Jirí Rachunek, Dana Salounová	A Generalization of Local Fuzzy Structures.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Rl-monoid, Local Rl-monoid, Perfect Rl-monoid, Pseudo MV-algebra, Pseudo BL-algebra
42	Michiro Kondo	Characterization Theorem of Lattice Implication Algebra.	ISMVL	2004	DBLP DOI BibTeX RDF
42	Sándor Jenei	On the structure of rotation-invariant semigroups.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
42	Roberto Cignoli, Antoni Torrens	Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
41	Steve Barker, Marek J. Sergot, Duminda Wijesekera	Status-Based Access Control.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	distributed security, status-based access control, logic, algebras
41	Tarek Sayed Ahmed	A Note on Neat Reducts.	Stud Logica	2007	DBLP DOI BibTeX RDF	neat reducts, elementary, Algebraic logic, cylindric algebras
40	Roberto M. Amadio	Max-Plus Quasi-interpretations.	TLCA	2003	DBLP DOI BibTeX RDF	Functional languages and term rewriting, Function algebras and implicit computational complexity, Polynomial interpretations and max-plus algebras, Static analysis
40	Corrado Böhm	Reducing Recursion to Iteration by Algebraic Extension.	ESOP	1986	DBLP DOI BibTeX RDF	subrecursive function theory, Functional programming, initial algebras, algebraic data types, term algebras
40	Björn Vormbrock	Complete Subalgebras of Semiconcept Algebras and Protoconcept Algebras.	ICFCA	2005	DBLP DOI BibTeX RDF
40	Afrodita Iorgulescu	Iséki algebras. Connection with BL algebras.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Product algebra, Gödel algebra, Iséki algebra, MV algebra, t-norm, BL algebra, BCK algebra, t-conorm
39	Itaï Ben Yaacov	Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras I: stability. Bulletin of the London Mathematical Society, vol. 45 (2013), no. 4, pp. 825-838, doi:10.1112/blms/bdt014. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras II: model theory. Israel Journal of Mathematics, vol. 201 (2014), no. 1, pp. 477-505, doi:10.1007/s11856-014-1046-7. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras III: elementary equivalence and II1factors. Bulletin of the London Mathematical Society, vol. 46 (2014), no. 3, pp. 609-628, doi:10.1112/blms/bdu012. - Isaac Goldbring, Bradd Hart, and Thomas Sinclair. The theory of tracial von Neumann algebras does not have a model companion. Journal of Symbolic Logic, vol. 78 (2013), no. 3, pp. 1000-1004.	Bull. Symb. Log.	2015	DBLP DOI BibTeX RDF
38	Werner M. Seiler	A combinatorial approach to involution and delta-regularity I: involutive bases in polynomial algebras of solvable type.	Appl. Algebra Eng. Commun. Comput.	2009	DBLP DOI BibTeX RDF
38	Robert Dockins, Aquinas Hobor, Andrew W. Appel	A Fresh Look at Separation Algebras and Share Accounting.	APLAS	2009	DBLP DOI BibTeX RDF
38	Jie Fang	Ockham Algebras with Balanced Double Pseudocomplementation.	Stud Logica	2008	DBLP DOI BibTeX RDF	double pseudocomplementation, Ockham algebra, Priestely duality, subdirectly irreducible
38	Fabio Gadducci	A Term-Graph Syntax for Algebras over Multisets.	WADT	2008	DBLP DOI BibTeX RDF
38	Roberto Giuntini, Antonio Ledda, Francesco Paoli	Expanding Quasi-MV Algebras by a Quantum Operator.	Stud Logica	2007	DBLP DOI BibTeX RDF
38	Frédérique E. Oggier	Cyclic Algebras for Noncoherent Differential Space-Time Coding.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
38	Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi	Profinite Completions and Canonical Extensions of Heyting Algebras.	Order	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06D20, Secondary 06D50, 06B30, 03B55
38	K. Cipková	On a quasiorder on the class of monounary algebras.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Monounary algebra, Degree of element, endomorphism, Quasiorder, homomorphism
38	Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin	P01-Presentations of Algebras.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF
38	Majid Alizadeh, Mohammad Ardeshir	Amalgamation property for the class of basic algebras and some of its natural subclasses.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification Primary 03G25, Primary 03D20, Secondary 03B20
38	Jeffery I. Zucker	Primitive Recursive Selection Functions over Abstract Algebras.	CiE	2006	DBLP DOI BibTeX RDF
38	Ivo Düntsch	Relation Algebras and their Application in Temporal and Spatial Reasoning.	Artif. Intell. Rev.	2005	DBLP DOI BibTeX RDF	qualitative temporal and spatial reasoning, constraint satisfaction, relation algebra
38	Franco Montagna	Generating the variety of BL-algebras.	Soft Comput.	2005	DBLP DOI BibTeX RDF
38	Lawrence Peter Belluce, Ada Lettieri	Boolean dominated MV-algebras.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Boolean dominated MV-algebra, Weakly stonean MV-algebra
38	Antonio Di Nola, Philippe Niederkorn	Natural dualities for varieties of BL-algebras.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
38	Antonio Di Nola, Anatolij Dvurecenskij, Jan Jakubik	Good and Bad Infinitesimals, and States on Pseudo MV-algebras.	Order	2004	DBLP DOI BibTeX RDF	unital ?-group, infinitesimal, state, ideal, pseudo MV-algebra, radical
38	Ting Zhang 0001, Henny B. Sipma, Zohar Manna	Term Algebras with Length Function and Bounded Quantifier Alternation.	TPHOLs	2004	DBLP DOI BibTeX RDF
38	Janusz A. Brzozowski, Zoltán Ésik	Hazard Algebras.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	simulation, algebra, circuit, hazard, transient, gate, multivalued
38	Jirí Rachunek	Compactness in MV-algebras and in their non-commutative generalizations.	Soft Comput.	2003	DBLP DOI BibTeX RDF	GMV-algebra, Unital ?-group, Compact element, Discrete GMV -algebra, Prime ideal, MV-algebra, Ideal
38	Anatolij Dvurecenskij	Blocks of pseudo-effect algebras with the Riesz interpolation property.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Pseudo-effect algebra, Strong compatibility, Riesz interpolation property, Block, MV-algebra, compatibility, Effect algebra, Pseudo MV-algebra
38	Peter Jipsen	A Note on Complex Algebras of Semigroups.	RelMiCS	2003	DBLP DOI BibTeX RDF
38	Igor B. Gurevich, Vera Yashina	Conditions of Generating Descriptive Image Algebras by a Set of Image Processing Operations.	CIARP	2003	DBLP DOI BibTeX RDF
38	Alessandro Berarducci, Corrado Böhm	General Recursion on Second Order Term Algebras.	RTA	2001	DBLP DOI BibTeX RDF
38	Carsten Sinz	System Description: ARA - An Automatic Theorem Prover for Relation Algebras.	CADE	2000	DBLP DOI BibTeX RDF
38	Petr Hájek 0001	Basic fuzzy logic and BL-algebras.	Soft Comput.	1998	DBLP DOI BibTeX RDF
38	Mitch Cherniack, Stanley B. Zdonik	Rule Languages and Internal Algebras for Rule-Based Optimizers.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
38	Marek Zaionc	Lambda Representation of Operations Between Fifferent Term Algebras.	CSL	1994	DBLP DOI BibTeX RDF
38	Paola Glavan, Dean Rosenzweig	Communicating Evolving Algebras.	CSL	1992	DBLP DOI BibTeX RDF
38	Ivo G. Rosenberg	Mal'cev algebras for universal algebra terms.	Algebraic Logic and Universal Algebra in Computer Science	1988	DBLP DOI BibTeX RDF
38	Jan Reiterman, Vera Trnková	Dynamic Algebras which are not Kripke Structures.	MFCS	1980	DBLP DOI BibTeX RDF
37	Enrico Marchioni	Ordered fields and LP 1/2 -algebras.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Ordered fields, algebras, Real closed fields
37	JunDe Wu, XuanChang Zhou, Minhyung Cho	An ideal topology type convergent theorem on scale effect algebras.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	scale effect algebras, ideals topologies, convergent theorem
37	Yun Shang, Yongming Li 0001	Generalized Ideals and Supports in Pseudo Effect Algebras.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Generalized ideals, Generalized filters, Pseudo effect algebras, Supports, Ideals
37	Arsham Borumand Saeid	Fuzzy Set Theory Applied to QS-Algebras.	ICFIE	2007	DBLP DOI BibTeX RDF	Fuzzy QS-algebra, fuzzy QS-subalgebras, level subalgebras, fuzzy topological QS-algebras
37	Tongjun Li	On Axiomatic Characterization of Approximation Operators Based on Atomic Boolean Algebras.	RSKT	2006	DBLP DOI BibTeX RDF	atomic Boolean algebras, rough sets, mappings, Approximation operators
37	Viktor Levandovskyy, Hans Schönemann	Plural: a computer algebra system for noncommutative polynomial algebras.	ISSAC	2003	DBLP DOI BibTeX RDF	noncommutative algebras, groebner bases
37	Natalia López, Manuel Núñez 0001, Fernando Rubio 0001	Stochastic Process Algebras Meet Eden.	IFM	2002	DBLP DOI BibTeX RDF	functional programming, Process algebras
37	Philippe le Chenadec	Canonical Forms in Finitely Presented Algebras.	CADE	1984	DBLP DOI BibTeX RDF	Finitely Presented Algebras, Completion Procedures, Rewriting Systems, Word Problem
36	Uri Abraham, Robert Bonnet, Wieslaw Kubis, Matatyahu Rubin	On Poset Boolean Algebras.	Order	2003	DBLP DOI BibTeX RDF	poset algebras, superatomic Boolean algebras, scattered posets, well quasi orderings
36	Jan A. Bergstra, John V. Tucker	Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras.	J. ACM	1995	DBLP DOI BibTeX RDF	computable and semicomputable algebras, equational specifications with hidden functions, many sorted algebras
35	Jules Desharnais, Georg Struth	Modal Semirings Revisited.	MPC	2008	DBLP DOI BibTeX RDF
35	Alexander Moshe Rabinovich	Logic of Trace Languages (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
35	Gian-Luigi Ferrari 0002, Ugo Montanari	The Observation Algebra of Spatial Pomsets.	CONCUR	1991	DBLP DOI BibTeX RDF
35	Richard B. Kieburtz	Precise Typing of Abstract Data Type Specifications.	POPL	1983	DBLP DOI BibTeX RDF
35	Dexter Kozen	A Representation Theorem for Models of *-Free PDL.	ICALP	1980	DBLP DOI BibTeX RDF
34	Apostolos Niaouris	An Algebra of Petri Nets with Arc-Based Time Restrictions.	ICTAC	2004	DBLP DOI BibTeX RDF	Net-based algebraic calculi, arc based time Petri nets, box algebra, SOS semantics, process algebras
34	Maciej Koutny	A Compositional Model of Time Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, process algebras, time Petri nets
33	John V. Tucker, Jeffery I. Zucker	Abstract computability and algebraic specification.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Abstract computability, conditional equations, metric algebras, topological algebras, algebraic specification, computable analysis, equational logic
33	Viggo Stoltenberg-Hansen, John V. Tucker	Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms.	REX Workshop	1992	DBLP DOI BibTeX RDF	Inverse limits of algebras, ultrametric algebras, infinite systems of equations, existence and uniqueness theorems, synchronous concurrent algorithms, infinitely parallel deterministic systems, streams, domains
33	Dumitru Daniel Dragulici	Conservative extension of polyadic MV-algebras to polyadic pavelka algebras.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Pavelka algebra, Polyadic MV-algebra, Polyadic Pavelka algebra, MV-algebra
33	Gwen Salaün, Wendelin Serwe	Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS.	IFM	2005	DBLP DOI BibTeX RDF
33	Bakhadyr Khoussainov, Sasha Rubin	Decidability of Term Algebras Extending Partial Algebras.	CSL	2005	DBLP DOI BibTeX RDF
33	Hitoshi Furusawa	The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions.	RelMiCS	2003	DBLP DOI BibTeX RDF
31	Anatolij Dvurecenskij	Cyclic elements and subalgebras of GMV-algebras.	Soft Comput.	2010	DBLP DOI BibTeX RDF	GMV-algebra, Unital ?-group, Cyclic element, Perfect GMV-algebra, n-Perfect GMV-algebra, Free product, Representation
31	Jianming Zhan 0001, Wieslaw A. Dudek, Young Bae Jun	Interval valued (in, in v, q)-fuzzy filters of pseudo BL-algebras.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Interval valued -fuzzy filter, Implication operator, Fuzzy logic, Filter, Pseudo BL-algebra
31	Yiyu Yao	Interval sets and interval-set algebras.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
31	Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra	Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms.	ECSQARU	2009	DBLP DOI BibTeX RDF
31	Anna B. Romanowska, Jonathan D. H. Smith	Barycentric Algebras and Gene Expression.	WILF	2009	DBLP DOI BibTeX RDF
31	Isao Kikumasa, Kiyoichi Oshiro, Hiroshi Yoshimura	Isomorphism Classes of Algebras with Radical Cube Zero II.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 16D50, 16L30, 16L60, 16P10
31	Kristian Brüning, Birgit Huber	Realising Smashing Localisations as Morphisms of DG Algebras.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 16E45
31	Célestin Lélé, Salissou Moutari	Computational methods for study of foldness of H-ideals in BCI-algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	BCI-algebra, Fuzzy point, H-ideals, Fuzzy H-ideals, n-fold H-ideals
31	Hossein Hojjat, Mohammad Reza Mousavi 0001, Marjan Sirjani	A framework for performance evaluation and functional verification in stochastic process algebras.	SAC	2008	DBLP DOI BibTeX RDF
31	Boris I. Plotkin, Tatjana L. Plotkin	Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF