Search results for "MV-algebras"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
31	Michal Botur, Radomír Halas	Complete Commutative Basic Algebras.	Order	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D35, 06F35, 03G10
31	Lawrence Peter Belluce, Antonio Di Nola, Brunella Gerla	Perfect MV -algebras and their Logic.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D35, 03G20
31	Yong Lin Liu, San Yang Liu, Yang Xu 0001	Pseudo-BCK algebras and PD-posets.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Pseudo-BCK algebra, Normal ideal, Prime ideal, PD-poset, Congruence, Ideal
31	Alessandra Palmigiano, Yde Venema	Nabla Algebras and Chu Spaces.	CALCO	2007	DBLP DOI BibTeX RDF	relation lifting, Vietoris hyperspace, Chu space, coalgebra, modal algebra
31	Mojgan Mahmoudi, Christoph Schubert, Walter Tholen	Universality of Coproducts in Categories of Lax Algebras.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification 18C99, 18A30
31	Vummintala Shashidhar, B. Sundar Rajan, B. A. Sethuraman	Information-Lossless Space-Time Block Codes From Crossed-Product Algebras.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
31	Carlos López Pombo, Marcelo F. Frias	Fork Algebras as a Sufficiently Rich Universal Institution.	AMAST	2006	DBLP DOI BibTeX RDF
31	Ewa Orlowska, Anna Maria Radzikowska	Relational Representability for Algebras of Substructural Logics.	RelMiCS	2005	DBLP DOI BibTeX RDF
31	Jane Hillston	Process Algebras for Quantitative Analysis.	LICS	2005	DBLP DOI BibTeX RDF
31	Maarten Marx	XML Navigation and Tarski's Relation Algebras.	CSL	2005	DBLP DOI BibTeX RDF
31	Jianhua Dai, Weidong Chen 0002, Yunhe Pan	Sequent calculus system for rough sets based on rough Stone algebras.	GrC	2005	DBLP DOI BibTeX RDF
31	Arnd Poetzsch-Heffter, Nicole Rauch	Application and Formal Specification of Sorted Term-Position Algebras.	WADT	2004	DBLP DOI BibTeX RDF
31	Hitoshi Furusawa	A Free Construction of Kleene Algebras with Tests.	MPC	2004	DBLP DOI BibTeX RDF
31	Klaus-Dieter Schewe, Bernhard Thalheim	Reasoning About Web Information Systems Using Story Algebras.	ADBIS	2004	DBLP DOI BibTeX RDF	navigation, process algebra, personalisation, Web information system, Kleene algebra
31	Markus Bläser	Algebras of Minimal Rank over Arbitrary Fields.	STACS	2003	DBLP DOI BibTeX RDF
31	Saharon Shelah	More constructions for Boolean algebras.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
31	Steve Chien, Lars Eilstrup Rasmussen, Alistair Sinclair	Clifford algebras and approximating the permanent.	STOC	2002	DBLP DOI BibTeX RDF
31	Klaus-Dieter Schewe	On the unification of query algebras and their extension to rational tree structures.	ADC	2001	DBLP DOI BibTeX RDF	rational tree, structural recursion, query algebra
31	Slawomir Lasota 0001	Finitary Observations in Regular Algebras.	SOFSEM	2000	DBLP DOI BibTeX RDF
31	Wolfgang May	Specifying Complex and Structured Systems with Evolving Algebras.	TAPSOFT	1997	DBLP DOI BibTeX RDF
31	Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer	Adding Design Strategies to Fork Algebras.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
31	Rajeev Goré	Cut-free Display Calculi for Relation Algebras.	CSL	1996	DBLP DOI BibTeX RDF
31	Angelica Maria Kappel	Executable Specifications based on Dynamic Algebras.	LPAR	1993	DBLP DOI BibTeX RDF
31	Thomas Wilke	Algebras for Classifying Regular Tree Languages and an Application to Frontier Testability.	ICALP	1993	DBLP DOI BibTeX RDF
31	Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini	From Data Flow Networks to Process Algebras.	PARLE	1993	DBLP DOI BibTeX RDF
31	Egon Börger, Dean Rosenzweig	WAM Algebras - A Mathematical Study of Implementation, Part 2.	RCLP	1991	DBLP DOI BibTeX RDF
31	Eric Madelaine, Didier Vergamini	Finiteness Conditions and Structural Construction of Automata for All Process Algebras.	CAV	1990	DBLP DOI BibTeX RDF
31	Peter D. Mosses	Unified Algebras and Modules.	POPL	1989	DBLP DOI BibTeX RDF
31	Peter D. Mosses	Unified Algebras and Action Semantics.	STACS	1989	DBLP DOI BibTeX RDF
31	Wolfram Büttner	Unification in Finite Algebras is Unitary (?).	CADE	1988	DBLP DOI BibTeX RDF
31	Tobias Nipkow	Unification in Primal Algebras.	CAAP	1988	DBLP DOI BibTeX RDF
31	K. N. Venkataraman	Decidability of the purely existential fragment of the theory of term algebras.	J. ACM	1987	DBLP DOI BibTeX RDF
30	Ladislav J. Kohout	Finite Complete Systems of Many-valued Logic Algebras.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	PI-logic algebras, Discrete functions, Computational complexity, Satisfiability, Many-valued logics, Normal form, Medical applications, Scientific applications, Descriptive complexity, Functional completeness
30	Hai-Yang Li, Sheng-Gang Li	Congruences and ideals in pseudoeffect algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Pseudoeffect algebras, Riesz ideals, Normal weak Riesz ideals, Strong congruences, Riesz strong congruences, Congruences, Ideals
30	Anna Avallone, Paolo Vitolo	Effect algebras with the subsequential interpolation property.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Subsequential interpolation, Vitali-Hahn-Saks theorem, Brooks-Jewett theorem, Nikodym boundedness theorem, property, Effect algebras
30	Lee Spector, David M. Clark, Ian Lindsay, Bradford Barr, Jon Klein	Genetic programming for finite algebras.	GECCO	2008	DBLP DOI BibTeX RDF	ECJ, PushGP, finite algebras, genetic programming
30	Wei-Zhi Wu 0001, Lei Zhou	Intuitionistic Fuzzy Approximations and Intuitionistic Fuzzy Sigma-Algebras.	RSKT	2008	DBLP DOI BibTeX RDF	intuitionistic fuzzy rough sets, ??algebras, rough sets, Approximation spaces, intuitionistic fuzzy sets, measurable spaces
30	César Domínguez 0001	Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF	hidden algebras, symbolic computation, Coq proof assistant
30	Bruno Teheux	A Duality for the Algebras of a Lukasiewicz n + 1-valued Modal System.	Stud Logica	2007	DBLP DOI BibTeX RDF	Topological duality, many-valued modal logics, relational semantics, operator, MV-algebras
30	Beata Rafalska	The Diffie-Hellman Problem in Lie Algebras.	RSEISP	2007	DBLP DOI BibTeX RDF	differentiable maps, cryptography, attacks, proxy signatures, Lie algebras
30	Fabio Gadducci, Marino Miculan, Ugo Montanari	About permutation algebras, (pre)sheaves and named sets.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Nominal calculi, Permutation algebras, Presheaf categories, Named sets
30	Maria Jurecková	The addition to the ergodic theorem on probability MV-algebras with product.	Soft Comput.	2003	DBLP DOI BibTeX RDF	MV-algebras with product, Individual ergodic theorem
30	Dan Noje, Barnabás Bede	Vectorial MV-algebras.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Approximation by polynomials, Completions, MV-algebras, Complete lattices
30	Tatiana Rybina, Andrei Voronkov	A decision procedure for term algebras with queues.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	trees, queues, words, term algebras
30	Beloslav Riecan	Almost everywhere convergence in MV-algebras with product.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Observables, MV-algebras, States
30	Xavier Nicollin, Joseph Sifakis	An Overview and Synthesis on Timed Process Algebras.	CAV	1991	DBLP DOI BibTeX RDF	specification of timed systems, real-time, process algebras
30	Xavier Nicollin, Joseph Sifakis	An Overview and Synthesis on Timed Process Algebras.	REX Workshop	1991	DBLP DOI BibTeX RDF	specification of timed systems, real-time, process algebras
29	Vitor O. Ferreira, Jairo Z. Gonçalves, Javier Sánchez 0002	Free symmetric algebras in division rings generated by enveloping algebras of Lie algebras.	Int. J. Algebra Comput.	2015	DBLP DOI BibTeX RDF
29	Clint J. van Alten	Partial algebras and complexity of satisfiability and universal theory for distributive lattices, boolean algebras and Heyting algebras.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
29	Afrodita Iorgulescu	On BCK Algebras - Part I.b: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras.	J. Univers. Comput. Sci.	2008	DBLP DOI BibTeX RDF
29	Afrodita Iorgulescu	On BCK Algebras - Part I.a: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras.	J. Univers. Comput. Sci.	2007	DBLP DOI BibTeX RDF
29	Antonio J. Rodríguez Salas, Francisco Miguel García-Olmedo	Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity.	Math. Log. Q.	1995	DBLP DOI BibTeX RDF
29	Thomas F. Gritzner, Manfred Broy	Parallelism algebras: a link between process algebras and abstract relation algebras?	Forschungsberichte, TU Munich	1991	RDF
28	Radomír Halas, Michal Botur	On very true operators on pocrims.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Pocrim, vt-operator, wvt-operator, MV-algebra, BL-algebra
28	Mark Hopkins	The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy.	RelMiCS	2008	DBLP DOI BibTeX RDF	Kleene, Language, Regular Expression, Grammar, Rational, Semigroup, Monoid, Quantale, Dioid, Context-Free
28	Hubie Chen	Quantified Constraint Satisfaction and the Polynomially Generated Powers Property.	ICALP (2)	2008	DBLP DOI BibTeX RDF
28	Guang Zheng, Jinzhao Wu, Lian Li	Stochastic Process Algebra with Value-Passing.	CSSE (3)	2008	DBLP DOI BibTeX RDF
28	Stefano Aguzzoli, Brunella Gerla, Corrado Manara	Poset Representation for Gödel and Nilpotent Minimum Logics.	ECSQARU	2005	DBLP DOI BibTeX RDF
28	George Georgescu	Bosbach states on fuzzy structures.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Bosbach states, Conditional state, Pseudo-BL algebra
28	Janusz A. Brzozowski, Radu Negulescu	Duality for Three: Ternary Symmetry in Process Spaces.	Theory Is Forever	2004	DBLP DOI BibTeX RDF
28	Léonard Kwuida	When Is a Concept Algebra Boolean?	ICFCA	2004	DBLP DOI BibTeX RDF
28	Z. Arvasi, U. Ege	Annihilators, Multipliers and Crossed Modules.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	multiplication algebra, actor crossed module, crossed square
28	Kokichi Futatsugi	Formal Methods in CafeOBJ.	FLOPS	2002	DBLP DOI BibTeX RDF
28	Francesc Esteva, Lluís Godo, Franco Montagna	The LPL\Pi and LP1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF
28	Janis Cirulis	An Algebraic Approach to Knowledge Representation.	MFCS	1999	DBLP DOI BibTeX RDF
28	Corina Cîrstea	Semantic Constructions for Hidden Algebra.	WADT	1998	DBLP DOI BibTeX RDF
28	Yulin Feng, Junbo Liu	A Temporal Approach to Algebraic Specifications.	CONCUR	1990	DBLP DOI BibTeX RDF
28	Antoni W. Mazurkiewicz	Concurrency, Modularity, and Synchronization.	MFCS	1989	DBLP DOI BibTeX RDF
28	Maria Zamfir	Initial Algebra Semantics and Concurrency.	MFPS	1987	DBLP DOI BibTeX RDF
28	Bernhard Möller	An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language.	ICALP	1983	DBLP DOI BibTeX RDF
27	Sergiu Rudeanu, Dan A. Simovici	On the Ranges of Algebraic Functions on Lattices.	Stud Logica	2006	DBLP DOI BibTeX RDF	?ukasiewicz-Moisil algebras, determination principle, distributive lattice, modular lattice
27	Li Guo 0003, William Y. Sit	Enumeration of Rota-Baxter words.	ISSAC	2006	DBLP DOI BibTeX RDF	Rota-Baxter algebras, Rota-Baxter words, catalan numbers, compositions, generating functions
27	Viktor Levandovskyy	Intersection of ideals with non-commutative subalgebras.	ISSAC	2006	DBLP DOI BibTeX RDF	homomorphism of algebras, intersection with subalgebra, non-commutative algebra, preimage of ideal, restriction, elimination, Groebner bases
27	George Voutsadakis	Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	equivalent deductive systems, algebraizable deductive systems, equivalent institutions, algebraizable institutions, Leibniz congruence, Tarski congruence, algebraizable sentential logics, algebras, institutions, adjunctions, abstract algebraic logic, deductive systems
27	Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum	Reasoning about static and dynamic properties in alloy: A purely relational approach.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	fork algebras, relational specifications, Alloy
27	Hans-Jürgen Hoehnke	Quasi-varieties: A special access.	Stud Logica	2004	DBLP DOI BibTeX RDF	Varieties and quasi-varieties of partial algebras, partial theories, partial Dale monoids, Malcev clones
27	Tadeusz Litak	Modal Incompleteness Revisited.	Stud Logica	2004	DBLP DOI BibTeX RDF	general frames, Kripke incompleteness, neighbourhood incompleteness, complete incompleteness, modal algebras
27	Yde Venema	A Dual Characterization of Subdirectly Irreducible BAOs.	Stud Logica	2004	DBLP DOI BibTeX RDF	Boolean algebras with operators, subdirect irreducibility, duality
27	Eike Best, Maciej Koutny	Process Algebra: A Petri-Net-Oriented Tutorial.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF	Petri nets, process algebras
27	Peter Dybjer, Anton Setzer	Indexed Induction-Recursion.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras
27	Eike Best, Raymond R. Devillers, Maciej Koutny	The Box Algebra - A Model of Nets and Process Expressions.	ICATPN	1999	DBLP DOI BibTeX RDF	Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, refinement, process algebras, recursion
27	Meinolf Geck, Gerhard Hiss, Frank Lübeck, Gunter Malle, Götz Pfeiffer	CHEVIE - A system for computing and processing generic character tables.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Finite groups of Lie type, Iwahori-Hecke algebras, Computer algebra, Characters
27	Peter B. Ladkin, Roger D. Maddux	On Binary Constraint Problems.	J. ACM	1994	DBLP DOI BibTeX RDF	constraint matrices, relation algebras, constraint satisfaction problems, relations, path consistency
26	Stefano Aguzzoli, Simone Bova	Schauder Hats for the Two-Variable Fragment of BL.	ISMVL	2010	DBLP DOI BibTeX RDF	Free BL-algebras, Schauder Hats, Normal Forms, BL-algebras
26	Enric Trillas	Non Contradiction, Excluded Middle, and Fuzzy Sets.	WILF	2009	DBLP DOI BibTeX RDF	Self-contradiction, Non-contradiction, Excluded-middle, De Morgan algebras, Algebras of fuzzy sets
26	Marta A. Zander	Decomposability of the Finitely Generated Free Hoop Residuation Algebra.	Stud Logica	2008	DBLP DOI BibTeX RDF	Hoop residuation algebras, decomposability, free algebras
24	Yongjian Xie, Yongming Li 0001	Riesz ideals in generalized pseudo effect algebras and in their unitizations.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Generalized pseudoeffect algebra, Normal Riesz ideal, Congruence
24	Sergio A. Celani	Topological Duality for Boolean Algebras with a Normal n-ary Monotonic Operator.	Order	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B45, 06E25
24	Ivan Chajda	Double Basic Algebras.	Order	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D35, 06C15, 03G25, 08A65
24	Bogdan Staruch	HSP-type Characterization of Strong Equational Classes of Partial Algebras.	Stud Logica	2009	DBLP DOI BibTeX RDF	strong equational class, equation, equational logic, partial algebra
24	István Németi, András Simon	Weakly higher order cylindric algebras and finite axiomatization of the representables.	Stud Logica	2009	DBLP DOI BibTeX RDF	quasi-projective relation algebra, non-well-founded set theory, finitization problem, algebraic logic, cylindric algebra
24	Vikraman Arvind, Pushkar S. Joglekar	Arithmetic Circuits, Monomial Algebras and Finite Automata.	MFCS	2009	DBLP DOI BibTeX RDF
24	Robert Atkey	Algebras for Parameterised Monads.	CALCO	2009	DBLP DOI BibTeX RDF
24	M. Andrew Moshier, Daniela Petrisan	A Duality Theorem for Real C* Algebras.	CALCO	2009	DBLP DOI BibTeX RDF
24	Martin Papco	On effect algebras of fuzzy sets.	Soft Comput.	2008	DBLP DOI BibTeX RDF	D-poset, Convergence Sequentially continuous D-homomorphism, Convergence effect algebra, Sequentially continuous EA-homomorphism, D-poset of fuzzy sets, Pointwise convergence, ID-poset, Effect algebra of fuzzy sets, IE-algebra, Sober IE-algebra, Closed IE-algebra, IE-measurable space, Measurable map, Natural equivalence, Monocoreflective subcategory, Epireflective subcategory, Coproduct, Generalized elementary event, Generalized measurable space, Generalized probability measure, Product, Observable, Duality, State, Effect algebra, Fuzzy random variable
24	Jialu Zhang 0001, Guojun Wang, Mingdi Hu	Topology on the set of R 0 semantics for R 0 algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	R 0 algebra, R 0 fuzzy topological space, Cut topology, R 0 logic, Compactness property, category, category
24	Roberto Cignoli	Free algebras in varieties of Stonean residuated lattices.	Soft Comput.	2008	DBLP DOI BibTeX RDF
24	Vincenzo Marra	A characterization of MV-algebras free over finite distributive lattices.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 06D35, Secondary 06F20
24	Stefan Blom, Jaco van de Pol	Symbolic Reachability for Process Algebras with Recursive Data Types.	ICTAC	2008	DBLP DOI BibTeX RDF
24	Lu Chen, Feng-xiao Wang	On Rough Ideals and Rough Fuzzy Ideals of BCI-Algebras.	FSKD (5)	2008	DBLP DOI BibTeX RDF