Search results for "MV-algebras"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001	Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.	IFIP TCS	2008	DBLP DOI BibTeX RDF
24	Anthony W. Hager, D. G. Johnson	Adjoining an Identity to a Reduced Archimedean f -ring, II: Algebras.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06F20, 13B10, Secondary 18A40, 54H10, 46A40, 54C30, 06F25
24	Xueling Ma, Jianming Zhan 0001, Yang Xu 0001	Generalized fuzzy filters of R0-algebras.	Soft Comput.	2007	DBLP DOI BibTeX RDF	R 0-algebra, Interval valued -fuzzy Boolean (implicative) filter, Filter
24	B. A. Sethuraman, Frédérique E. Oggier	Constructions of Orthonormal Lattices and Quaternion Division Algebras for Totally Real Number Fields.	AAECC	2007	DBLP DOI BibTeX RDF
24	Feng-xiao Wang	On Fuzzy Ideals in BCH-Algebras.	ICFIE	2007	DBLP DOI BibTeX RDF	BCH-algebra, Quasi-associative, Fuzzy ideal, Ideal
24	Janusz A. Brzozowski, Yuli Ye	Simulation of Gate Circuits with Feedback in Multi-Valued Algebras.	ISMVL	2007	DBLP DOI BibTeX RDF
24	Timo Hanke	The isomorphism problem for cyclic algebras and an application.	ISSAC	2007	DBLP DOI BibTeX RDF	abelian crossed product, bicyclic crossed product, cyclic algebra, extension of automorphism, finite-dimensional central-simple algebra, noncrossed product, norm equation, isomorphism problem
24	Bernhard Ganter, Léonard Kwuida	Finite Distributive Concept Algebras.	Order	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03G25, 06B15, 03G10
24	Antonio Ledda, Martinvaldo Konig, Francesco Paoli, Roberto Giuntini	MV-Algebras and Quantum Computation.	Stud Logica	2006	DBLP DOI BibTeX RDF	quasi-MV algebra, residuated structures, fuzzy logic, quantum computation, MV algebra, quantum logic
24	Clint J. van Alten	On Varieties of Biresiduation Algebras.	Stud Logica	2006	DBLP DOI BibTeX RDF	biresiduation algebra, residuated lattice, BCK-algebra
24	Joseph Abarbanel, Amir Averbuch, Shmuel Rosset, Joseph Zlotnick	Unitary Nongroup STBC From Cyclic Algebras.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
24	Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska	Lattice-Based Relation Algebras II.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
24	Bart Van Gasse, Chris Cornelis, Glad Deschrijver, Etienne E. Kerre	Triangle Algebras: Towards an Axiomatization of Interval-Valued Residuated Lattices.	RSCTC	2006	DBLP DOI BibTeX RDF
24	Young Jun, Jong Youl Kim, Hee Kim	On Q-Upper Algebras.	Order	2005	DBLP DOI BibTeX RDF	upper set, Q-upper algebra, (positive) implicative, quasi-commutative, commutative, BCK-algebra
24	Lawrence Peter Belluce, Antonio Di Nola	Frames and MV-algebras.	Stud Logica	2005	DBLP DOI BibTeX RDF	Frame, MV-algebra
24	Lawrence Peter Belluce, Revaz Grigolia, Ada Lettieri	Representations of monadic MV -algebras.	Stud Logica	2005	DBLP DOI BibTeX RDF	Monadic algebra, Projective algebra, MV -algebra
24	Anatolij Dvurecenskij, Maria Gabriella Graziano	An invitation to economical test spaces and effect algebras.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Economical test, Economical system, Economical test space, Unambiguous events, ?-algebra, ?-system, Dynkin system of sets, Ellsberg paradox, Simpson paradox, Weight, Boolean algebra, State, Effect algebra
24	Franco Montagna	On the predicate logics of continuous t-norm BL-algebras.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Predicate many-valued logics, T-norm semantics, Complexity
24	Georgi D. Dimov, Dimiter Vakarelov	Topological Representation of Precontact Algebras.	RelMiCS	2005	DBLP DOI BibTeX RDF
24	Luigi Santocanale	Completions of µ-algebras.	LICS	2005	DBLP DOI BibTeX RDF
24	Rafael Orozco-Aguirre, Jorge Rivera-Rovelo, Eduardo Bayro-Corrochano	Medical Image Segmentation and the Use of Geometric Algebras in Medical Applications.	CIARP	2005	DBLP DOI BibTeX RDF
24	Hernando Gaitán, Milton H. Perea	A non-finitely based quasi-variety of De Morgan algebras.	Stud Logica	2004	DBLP DOI BibTeX RDF	De Morgan algebra, finitely based quasi-variety, lattice of sub-quasi-varieties
24	Matatyahu Rubin	On Lalpha, omega complete extensions of complete theories of Boolean algebras.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	L1, Tarskis invariants
24	Frank Calegari, William A. Stein	Conjectures about Discriminants of Hecke Algebras of Prime Level.	ANTS	2004	DBLP DOI BibTeX RDF
24	Viorica Sofronie-Stokkermans	Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras.	ISMVL	2004	DBLP DOI BibTeX RDF
24	Peter Z. Revesz	Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints.	ADBIS	2004	DBLP DOI BibTeX RDF
24	Jirí Srba	Strong bisimilarity of simple process algebras: complexity lower bounds.	Acta Informatica	2003	DBLP DOI BibTeX RDF
24	Jan Jakubik	Torsion classes of MV-algebras.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Radical class, Torsion class, MV -algebra, Variety
24	Thierry Coquand, Erik Palmgren	Metric Boolean algebras and constructive measure theory.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
24	Jochen Burghardt	Axiomatization of Finite Algebras.	KI	2002	DBLP DOI BibTeX RDF
24	João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò 0001	Labelled Deduction over Algebras of Truth-Values.	FroCoS	2002	DBLP DOI BibTeX RDF
24	Ivo Düntsch, Marc Roubens	Tangent Circle Algebras.	RelMiCS	2001	DBLP DOI BibTeX RDF
24	Markus Bläser	Improvements of the Alder-Strassen Bound: Algebras with Nonzero Radical.	ICALP	2001	DBLP DOI BibTeX RDF
24	Tatiana Rybina, Andrei Voronkov	A Decision Procedure for Term Algebras with Queues.	LICS	2000	DBLP DOI BibTeX RDF
24	Ulrich Herzog	Process algebras are getting mature for performance evaluation?!	SIGMETRICS Perform. Evaluation Rev.	1999	DBLP DOI BibTeX RDF
24	Symeon Bozapalidis	Equational Elements in Additive Algebras.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
24	Thierry Boy de la Tour	On the Complexity of Finite Sorted Algebras.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
24	Willem A. de Graaf, Gábor Ivanyos, Lajos Rónyai	Computing Cartan subalgebras of Lie algebras.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Cartan subalgebra, Polynomial time algorithm, Symbolic computation, Lie algebra
24	V. Vajner	The category of complete Boolean algebras is not an intersection of reflective subcategories of the category of frames.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (1991) 18A40, 06E10
24	Don Pigozzi, Antonino Salibra	A Representation Theorem for Lambda Abstraction Algebras.	MFCS	1993	DBLP DOI BibTeX RDF
24	Francesco Parisi-Presicce, S. Veglioni	Heterogeneous Unified Algebras.	MFCS	1993	DBLP DOI BibTeX RDF
24	Christophe Ringeissen	Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras.	LPAR	1992	DBLP DOI BibTeX RDF
24	Kostas Kontogiannis	Toward program representation and program understanding using process algebras.	CASCON	1992	DBLP BibTeX RDF
24	Egidio Astesiano, Maura Cerioli	Non-Strict Don't Care Algebras and Specifications.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
24	Hans-Jörg Kreowski	Partial Algebras Flow From Algebraic Specifications.	ICALP	1987	DBLP DOI BibTeX RDF
24	Ivan Korec	Undecidable Problems Concerning Generalized Pascal Triangles of Commutative Algebras.	MFCS	1986	DBLP DOI BibTeX RDF
24	Peter Dybjer	Domain Algebras.	ICALP	1984	DBLP DOI BibTeX RDF
24	Charles M. Fiduccia, Yechezkel Zalcstein	Algebras Having Linear Multiplicative Complexities.	J. ACM	1977	DBLP DOI BibTeX RDF	Ada
23	Antonio Di Nola, Tommaso Flaminio	Generating the Variety of SMV-Algebras.	ISMVL	2010	DBLP DOI BibTeX RDF	hyper real states, MV-algebras, internal states
23	Thomas Vetterlein	t-norms induced by metrics on Boolean algebras.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Continuous triangular norms, Boolean algebras endowed with a metric
23	Tomás Kroupa	Conditional independence in probability theory on MV-algebras.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Probability on MV-algebras, Observable, Conditional independence
23	Marco Bernardo 0001, Paolo Ciancarini, Lorenzo Donatiello	Architecting families of software systems with process algebras.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	Architectural mismatch detection, software architectures, process algebras, architectural styles
23	Stefan Dieker, Ralf Hartmut Güting	Plug and Play with Query Algebras: SECONDO-A Generic DBMS Development Environment.	IDEAS	2000	DBLP DOI BibTeX RDF	plug-and-play, SECONDO, generic DBMS development environment, database systems implementation, second-order signature, query language definitions, algebra modules, type constructors, system frame, type registration, user commands, extensible system architecture, extensible query processing, database management systems, query languages, data models, extensibility, operators, query algebras, support functions, data definitions, system functionality
23	Sheetanshu L. Pandey, Kothanda R. Subramanian, Philip A. Wilsey	A Semantic Model of VHDL for Validating Rewriting Algebras.	EUROMICRO	1996	DBLP DOI BibTeX RDF	rewriting algebras validation, declarative style, process-folding, CAD tool optimization, VHDL, formal model, semantic model, hardware description languages, interval temporal logic, dynamic semantics
23	Uwe Petermann	An Extended Herbrand Theorem for First-Order Theories with Equality Interpreted in Partial Algebras.	MFCS	1989	DBLP DOI BibTeX RDF	Herbrand Disjunctions, Built in Theories, Theorem Proving, Partial Algebras, Connection Method
23	Corrado Böhm	Functional Programming and Combinatory Algebras.	MFCS	1988	DBLP DOI BibTeX RDF	algebraic programming, combinatory algebras, total recursive mappings on data structures, combinators and -terms in normal form, Functional programming
21	Ruggero Lanotte, Simone Tini	Probabilistic bisimulation as a congruence.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	probabilistic process algebra, transition rule format, Bisimulation, congruence
21	Anvar M. Nurakunov, Michal M. Stronkowski	Quasivarieties with Definable Relative Principal Subcongruences.	Stud Logica	2009	DBLP DOI BibTeX RDF	2000 Mathematics Subject Classification 08C15, 08B10, 08A30
21	Yoshihiro Maruyama	Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic.	ICLA	2009	DBLP DOI BibTeX RDF
21	James Worthington	A Bialgebraic Approach to Automata and Formal Language Theory.	LFCS	2009	DBLP DOI BibTeX RDF
21	Lars Kadison	Anchor Maps and Stable Modules in Depth Two.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 11S20, 13B24, 17B37, 20L05, 16W30
21	José L. Castiglioni, Matías Menni, Marta Sagastume	On Some Categories of Involutive Centered Residuated Lattices.	Stud Logica	2008	DBLP DOI BibTeX RDF	Kalman functor, residuated lattices, involution
21	Luca Spada	LPi logic with fixed points.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 03B52, 06F25
21	Mark Hopkins	The Algebraic Approach II: Dioids, Quantales and Monads.	RelMiCS	2008	DBLP DOI BibTeX RDF	Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid
21	Patricia Johann, Neil Ghani	Foundations for structured programming with GADTs.	POPL	2008	DBLP DOI BibTeX RDF	program fusion, GADTs, initial algebra semantics
21	Zhiyan Chang, Yang Xu 0001	Congruence Relations Induced by Filters and LI-Ideals.	IFSA (2)	2007	DBLP DOI BibTeX RDF
21	Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra	Propositional Goedel Logic and Delannoy Paths.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
21	Jyrki T. Lahtonen, Roope Vehkalahti	Dense MIMO Matrix Lattices - A Meeting Point for Class Field Theory and Invariant Theory.	AAECC	2007	DBLP DOI BibTeX RDF
21	Yongquan Wang, Xiaohong Zhang 0001, Zhiqing Shao	Boolean Filters and Prime Filters of Residual Lattices.	FSKD (1)	2007	DBLP DOI BibTeX RDF
21	Anatolij Dvurecenskij, Jirí Rachunek	Bounded commutative residuated l-monoids with general comparability and states.	Soft Comput.	2006	DBLP DOI BibTeX RDF	AMS classification: 06D35, 03G25, 28E15, 03B50, 06F05
21	Tadeusz Litak	Algebraization of Hybrid Logic with Binders.	RelMiCS	2006	DBLP DOI BibTeX RDF
21	Emil W. Kiss, Matthew Valeriote	On Tractability and Congruence Distributivity.	LICS	2006	DBLP DOI BibTeX RDF
21	Jorma K. Mattila	On Models in Fuzzy Propositional Logic.	KES (3)	2006	DBLP DOI BibTeX RDF	Fuzzy Propositional Logic, Fuzzy Truth-values, Model, Modifier
21	F. Borceux	Non-Pointed Strongly Protomodular Theories.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	strongly protomodular category, semi-Abelian category, normal subobject, C *-algebra, Boolean algebra, ring, Heyting algebra
21	Diletta Cacciagrano, Flavio Corradini	Expressiveness of Timed Events and Timed Languages.	SFM	2004	DBLP DOI BibTeX RDF
21	Joachim Hereth Correia, Reinhard Pöschel	The Power of Peircean Algebraic Logic (PAL).	ICFCA	2004	DBLP DOI BibTeX RDF
21	Rozália Sz. Madarász, Boza Tasic	On the Partially Ordered Semigroup Generated by the Class Operators I, R, H, S, P.	Order	2001	DBLP DOI BibTeX RDF	class operators, operator of retraction, partially ordered semigroup and monoid
21	Suzana Andova, Jos C. M. Baeten	Abstraction in Probabilistic Process Algebra.	TACAS	2001	DBLP DOI BibTeX RDF
21	Rudolf Wille	Boolean Concept Logic.	ICCS	2000	DBLP DOI BibTeX RDF
21	Jeremy Gibbons	Calculating Functional Programs.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
21	Burghard von Karger	Temporal Algebra.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
21	Venanzio Capretta	Universal Algebra in Type Theory.	TPHOLs	1999	DBLP DOI BibTeX RDF
21	Zoltán Ésik, Satoshi Okawa	Series and Parallel Operations on Pomsets.	FSTTCS	1999	DBLP DOI BibTeX RDF
21	Rolf Hennicker, Michel Bidoit	Observational Logic.	AMAST	1998	DBLP DOI BibTeX RDF
21	Matthias Baaz, Helmut Veith	Quantifier Elimination in Fuzzy Logic.	CSL	1998	DBLP DOI BibTeX RDF
21	Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López	From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap.	MFCS	1996	DBLP DOI BibTeX RDF
21	Stephen L. Bloom, Zoltán Ésik	Nonfinite Axiomatizability of Shuffle Inequalities.	TAPSOFT	1995	DBLP DOI BibTeX RDF
21	Franz Baader, Klaus U. Schulz	Combination of Constraint Solving Techniques: An Algebraic POint of View.	RTA	1995	DBLP DOI BibTeX RDF
21	Giuseppe Del Castillo, Igor Durdanovic, Uwe Glässer	An Evolving Algebra Abstract Machine.	CSL	1995	DBLP DOI BibTeX RDF
21	Ewa Orlowska	Two Logical Dimensions.	JELIA	1994	DBLP DOI BibTeX RDF
21	Gilles Bernot, Pascale Le Gall	Exception Handling and Term Labelling.	TAPSOFT	1993	DBLP DOI BibTeX RDF	Key-words Algebraic specifications of abstract data types, Error and exception handling, Exception recovery, Bounded data structures, Structured specifications
21	Dexter Kozen	Logical Aspects of Set Constraints.	CSL	1993	DBLP DOI BibTeX RDF
21	Christoph Beierle, Egon Börger	Correctness Proof For the WAM with Types.	CSL	1991	DBLP DOI BibTeX RDF
21	Egon Börger	A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation.	MFCS	1990	DBLP DOI BibTeX RDF
21	Hans-Jörg Kreowski, Zhenyu Qian	Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results.	STACS	1990	DBLP DOI BibTeX RDF
21	Ramesh Subrahmanyam	Complexity of Algebraic Specification.	FSTTCS	1990	DBLP DOI BibTeX RDF
21	Martin Gogolla	On Parametric Algebraic Specifications with Clean Error Handling.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
21	Rob J. van Glabbeek, Frits W. Vaandrager	Modular Specifications in Process Algebra with Curious Queues.	Algebraic Methods	1987	DBLP DOI BibTeX RDF	1982 CR Categories C.2.2, D.1.3, D.2.1, D.2.2, F.1.1, F.1.2, F.3.2
21	Helena Rasiowa	Logic of Approximation Reasoning.	CSL	1987	DBLP DOI BibTeX RDF
21	Donald Sannella, Andrzej Tarlecki	On Observational Equivalence and Algebraic Specification.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF