Presentación
|
Participantes
|
Bibliografía (DML-E)
|
Bibliografía adicional
|
Enlaces de interés
|
Otros proyectos DML
|
Ayuda
INICIO
| 27 de julio de 2024
Todos los campos
Título en español
Título en otro idioma
Título en inglés
Autor
Organización
Año
Resumen en español
Resumen en inglés
Revista
Palabras clave en español
Palabras clave en inglés
Desde
1958
1959
1960
1961
1962
1963
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
Revistas
Boletín de Estadística e Investigación Operativa. BEIO
Collectanea Mathematica
Disertaciones Matemáticas del Seminario de Matemáticas Fundamentales
Extracta Mathematicae
Gaceta de la Real Sociedad Matemática Española
Gaceta Matemática
Historia de la Matemática
Mathware and Soft Computing
PNA
Publicacions Matemàtiques
Qüestiió
RACSAM
Revista de la Real Academia de Ciencias Exactas Físicas y Naturales
Revista Matemática Complutense
Revista Matemática de la Universidad Complutense de Madrid
Revista Matemática Hispanoamericana
Revista Matemática Iberoamericana
SORT
Stochastica
Trabajos de Estadística
Trabajos de Estadística e Investigación Operativa
Trabajos de Investigación Operativa
Libros
Artículos relacionados con Lógica
Linguistic knowledge base simplification regarding accuracy and interpretability.
(1134-5632)
Aggregation, Non-Contradiction and Excluded-Middle.
(1134-5632)
Lexicographic combinations of preference relations in the context of Possibilistic Decision Theory.
(1134-5632)
Searching degrees of self-contradiction in Atanassov's fuzzy sets.
(1134-5632)
Fuzzy neural network approach to fuzzy polynomials.
(1134-5632)
A fuzzy-evolutionary seller agent for an automatic negotiation framework on e-commerce.
(1134-5632)
Real analysis, quantitative topology, and geometric complexity.
(0214-1493)
A note on inverse limits of continuous images of arcs.
(0214-1493)
Complete minimal surfaces in R
3
.
(0214-1493)
On exponential growth rates for free groups.
(0214-1493)
Molecules and linerly ordered ideals of MV-algebras.
(0214-1493)
Maximal scrambled sets for simple chaotic functions.
(0214-1493)
Affine invariant conditions for the topological distinction of quadratic systems with a critical point of the 4th multiplicity.
(0214-1493)
On locally pseudoconvexes square algebras.
(0214-1493)
Non local reaction-diffusion equations modelling predator-prey coevolution.
(0214-1493)
Résidu de Grothendieck et forme de Chow.
(0214-1493)
Generalized degree in normed spaces.
(0214-1493)
The two-square lemma.
(0214-1493)
A Modal Logic for Incidence Spherical Geometry.
(1578-7303)
Small ball properties for Fréchet spaces.
(1578-7303)
The three-space-problem for locally-m-convex algebras.
(1578-7303)
Some mathematical problems arising in heterogeneous insular ecological models.
(1578-7303)
Linear parabolic problems involving measures.
(1578-7303)
Fuzzy coalitional structures (alternatives).
(1134-5632)
Dual commutative hyper K-ideals of type 1 in hyper K-algebras of order 3.
(1134-5632)
A model of route lifetime optimization with linguistic knowledge in wireless ad-hoc networks.
(1134-5632)
A multi-granular linguistic model to evaluate the suitability of installing an ERP system.
(1134-5632)
A neural implementation of multi-adjoint logic programs via sf-homogenization.
(1134-5632)
Applying fuzzy logic in video surveillance systems.
(1134-5632)
Systems of possibilistic regressions: a case study in ecological inference.
(1134-5632)
A characterization for residuated implications on the set of all the closed intervals in J[0,1]. Application to the L-fuzzy concept theory.
(1134-5632)
A first approach to the multipurpose relational database server.
(1134-5632)
Characterizing intraregular semigroups by intuitionistic fuzzy sets.
(1134-5632)
Majority multiplicative ordered weighting geometric operators and their use in the aggregation of multiplicative preference relations.
(1134-5632)
p-Median problems in a fuzzy environment.
(1134-5632)
Completing an uncertainty criterion of classification.
(1134-5632)
A fuzzy logic approach to assembly line balancing.
(1134-5632)
On the transfer principle in fuzzy theory.
(1134-5632)
On the central limit theorem on IFS-events.
(1134-5632)
The bang-bang principle for a class of uncertain evolution linear differential [equations] in Hilbert spaces.
(0213-8204)
Force 4 R, a new software product for forecasting and seasonal adjustment.
(0210-8054)
El sistema ADEST.
(0210-8054)
An analysis of selection sort using recurrence relations.
(0210-8054)
Stability of some model selection criteria.
(0210-8054)
On the simulation of molecular evolutionary processes: considerations on the derivation and confirmation of an estimator for the variance of nucleotide divergence estimated from restriction fragments.
(0210-8054)
Methods for integrity checking in deductive databases.
(0210-8054)
Meteorological data representation with animated graphics: the case of rain events.
(0210-8054)
The top cohomology class of certain spaces.
(0213-8743)
Baer invariants of crossed modules.
(0213-8743)
Multiplicative functionals on algebras of differentiable functions.
(0213-8743)
Rational fibrations in differential homological algebra.
(0213-8743)
Topology of Krull homomorphisms.
(0373-0999)
Contributions to non-standard functional analysis.
(0373-0999)
On the nonexistence of bilipschitz parametrizations and geometric problems about A
∞
-weights.
(0213-2230)
Heat kernel upper bounds on a complete non-compact manifold.
(0213-2230)
Infinite group actions on spheres.
(0213-2230)
Combining degrees of impairment: the case of the index of Balthazard.
(1134-5632)
A fuzzy and intuitionistic fuzzy account of the Liar paradox.
(1134-5632)
On exact conditionals.
(0210-7821)
Preboolean MV-algebras as bipartite MV-algebras.
(0210-7821)
Parametric families of fuzzy consequence operators.
(1134-5632)
The estimation of electric power losses in electrical networks by fuzzy regression model using genetic algorithm.
(1134-5632)
Wide sets, deep many-valuedness and sorites arguments.
(1134-5632)
Distributed fuzzy decision making for production scheduling.
(1134-5632)
A neuro-fuzzy system for sequence alignment on two levels.
(1134-5632)
Learning fuzzy systems. An objective function-approach.
(1134-5632)
Fuzzy clustering: Insights and new approach.
(1134-5632)
An evolutionary approach to constraint-regularized learning.
(1134-5632)
Improving surface defect detection for quality assessment of car body panels.
(1134-5632)
An application of the theory of intuitionistic fuzzy multigraphs.
(1134-5632)
Formalization of Provenes fuzzy functional dependency in fuzzy databases.
(1134-5632)
Innovative applications of associative morphological memories for image processing and pattern recognition.
(1134-5632)
Spectral fuzzy classification system: a supervised approach.
(1134-5632)
Visual anomaly detection via soft computing: a prototype application at NASA.
(1134-5632)
Fuzzy approach for data association in image tracking.
(1134-5632)
Segmenting colour images on the basis of a fuzzy hierarchical approach.
(1134-5632)
Fuzzy morphological operators in image processing.
(1134-5632)
Introducing FDSA (Fuzzy Dictionary of Synonyms and Antonyms): applications on information retrieval and stand-alone use.
(1134-5632)
Fuzzy sets in computer vision: an overview.
(1134-5632)
Fuzzy systems and neural networks XML schemas for Soft Computing.
(1134-5632)
Hausdorffness in intuitionistic fuzzy topological spaces.
(1134-5632)
Two approaches to fuzzification of payments in NTU coalitional game.
(1134-5632)
On the possibilities of fuzzification of the solution in fuzzy cooperative games.
(1134-5632)
Flexible information retrieval: some research trends.
(1134-5632)
Fuzzy multicriteria decision making applied to the strategic plan of Valencia.
(1134-5632)
Learning imprecise semantic concepts from image databases.
(1134-5632)
Fuzzy Markov chains: uncertain probabilities.
(1134-5632)
Improvement to the cooperative rules methodology by using the ant colony system algorithm.
(1134-5632)
A neuro-fuzzy system for isolated hand-written digit recognition.
(1134-5632)
Using fuzzy relational databases to represent agricultural and environmental information. An example within the scope of olive cultivation in Granada.
(1134-5632)
An specification language for fuzzy systems.
(1134-5632)
On location problems on fuzzy graphs.
(1134-5632)
Relevance and redundancy in fuzzy classification systems.
(1134-5632)
A multi-agent system based on fuzzy logic applied to RoboCup's environment.
(1134-5632)
Averaging premises.
(1134-5632)
(T,
^
, N) fuzzy logic.
(1134-5632)
Safety regulations and fuzzy-logic control to nuclear reactors.
(1134-5632)
Design of a rule-driven architecture for a generic T-norm.
(1134-5632)
Fuzzy adaptation for information access to digital libraries.
(1134-5632)
On defining multiple-valued logics for knowledge-based systems communication.
(1134-5632)
Specifying t-norms based on the value of T (1/2, 1/2).
(1134-5632)
Integral closure in MV-algebras.
(1134-5632)
Some ideas concerning fuzzy intelligent systems.
(1134-5632)
Some practical problems in fuzzy sets-based decision support systems.
(1134-5632)
Truth and utility in fuzzy logic.
(1134-5632)
A reflection on what is a membership function.
(1134-5632)
Putting together Lukasiewicz and product logics.
(1134-5632)
Idempotent operators on a finite chain.
(1134-5632)
On the learning of weights in some aggregation operators: the weigthed mean and OWA operators.
(1134-5632)
Method of least squares applied to the generalized modus ponens with interval-valued fuzzy sets.
(1134-5632)
Inference of fuzzy regular grammars from examples.
(1134-5632)
On the global stability of Takagi-Sugeno general model.
(1134-5632)
Formal validation of fuzzy control techniques. Perspectives.
(1134-5632)
Fast prototyping of computing-oriented fuzzy-logic systems.
(1134-5632)
A mixed-signal architecture for high complexity CMOS fuzzy controlers.
(1134-5632)
The limits of fuzzy logic.
(1134-5632)
Towards a fuzzy computability?
(1134-5632)
Use of fuzzy techniques for detection of multiple sclerosis small lesions.
(1134-5632)
A methodology for developing knowledge-based systems.
(1134-5632)
New aspects on extraction of fuzzy rules using neural networks.
(1134-5632)
Analyzing the reasoning mechanisms in fuzzy rule based classification systems.
(1134-5632)
Learning from imprecise examples with GA-P algorithms.
(1134-5632)
Hierarchical decomposition of fuzzy controllers based on meta-knowledge.
(1134-5632)
Cooperative-corrector multivariable fuzzy controller.
(1134-5632)
Evolutionary design of fuzzy logic controllers using strongly-typed GP.
(1134-5632)
Capital budgeting problems with fuzzy cash flows.
(1134-5632)
Boolean structure of triangular norms.
(1134-5632)
BL-algebras of basic fuzzy logic.
(1134-5632)
Weighted sums of aggregation operators.
(1134-5632)
Localization and fuzzy classification of manufacturing defects in sheets of glass.
(1134-5632)
Graded sets, points and numbers.
(1134-5632)
Refinement of a fuzzy control rule set.
(1134-5632)
Modeling a fuzzy coprocessor and its programming language.
(1134-5632)
Fuzzy approximation relations, modal structures and possibilistic logic.
(1134-5632)
Fuzzy inference using a least square model.
(1134-5632)
Fuzzy grammatical inference using neural network.
(1134-5632)
Some properties concerning the quasi-inverse of a t-norm.
(1134-5632)
The embedding of the formal concept analysis into the L-Fuzzy concept theory.
(1134-5632)
The logic of neural networks.
(1134-5632)
On some inexact relations in probabilized Boolean algebras.
(1134-5632)
Convex isomorphisms of Archimedean lattice ordered groups.
(1134-5632)
On some geometric transformation of t-norms.
(1134-5632)
On (anti) conditional independence in Dempster-Shafer theory.
(1134-5632)
On Boolean modus ponens.
(1134-5632)
Vagueness and its representations: a unifying look.
(1134-5632)
Towards specifying with inclusions.
(1134-5632)
Multi-stage genetic fuzzy systems based on the iterative rule learning approach.
(1134-5632)
Valuation based systems for multistage control.
(1134-5632)
Deduction in many-valued logics: a survey.
(1134-5632)
Computing multiple-valued logic programs.
(1134-5632)
A reduction-based theorem prover for 3-valued logic.
(1134-5632)
Parametrized prime implicant/implicate computations for regular logics.
(1134-5632)
Orthogonal decompositions of MV-spaces.
(1134-5632)
Axiomatizing quantum MV-algebras.
(1134-5632)
Convergence in MV-algebras.
(1134-5632)
Maximal MV-algebras.
(1134-5632)
Client-server arquitecture for fuzzy relational databases.
(1134-5632)
Contributions to the symbolic processing of segments in computer vision.
(1134-5632)
Phase structure grammars for the expression of vague concepts in Spanish.
(1134-5632)
A dual approach in fuzzy linear programming.
(1134-5632)
Neural methods for obtaining fuzzy rules.
(1134-5632)
Representation of fuzzy knowledge bases using Petri nets: operation in the truth space.
(1134-5632)
The fuzzy hyperbolic inequality index of fuzzy random variables in finite populations.
(1134-5632)
Concept lattices associated with L-fuzzy W-contexts.
(1134-5632)
General theory of the fuzzy integral.
(1134-5632)
The process of induction as a non-classical logic's double negation: evidence from classical scientific theories.
(1134-5632)
Integrating inference and neural classification in a hybrid system for recognition tasks.
(1134-5632)
Generalized version of the compatibility theorem. Two examples.
(1134-5632)
Subjective conditional probability and coherence principles for handling partial information.
(1134-5632)
Didactical note: probabilistic conditionality in a Boolean algebra.
(1134-5632)
(Pure) logic out of probability.
(1134-5632)
Modus ponens on Boolean algebras revisited.
(1134-5632)
Fuzzy quantum logics.
(1134-5632)
Information frames, implication systems and modalities.
(1134-5632)
Default logic as a formalism for understanding commonsense reasoning.
(1134-5632)
Concept representations and nonmonotonic inferences.
(1134-5632)
How to make your logic fuzzy.
(1134-5632)
Intuitionistic fuzzy relations (Part II). Effect of Atanassov's operators on the properties of the intuitionistic fuzzy relations.
(1134-5632)
Remark on intuitionistic fuzzy logic and intuitionistic logic.
(1134-5632)
Retractive MV-algebras.
(1134-5632)
Enriched MV-algebras.
(1134-5632)
Maximal and essential ideals of MV-álgebras.
(1134-5632)
Similarity in fuzzy reasoning.
(1134-5632)
Uniqueness of MV-algebra implication and De Morgan negation.
(1134-5632)
Supervisión of classical PID adaptive regulators using fuzzy logic techniques.
(1134-5632)
The use of fuzzy connectives to design real-coded genetic algorithms.
(1134-5632)
An approach to fuzzy temporal reasoning in medicine.
(1134-5632)
Systolic architectures for fuzzy processing and their simulation.
(1134-5632)
On the identity of fuzzy material conditionals.
(1134-5632)
Between logic and probability.
(1134-5632)
Operating on formal concept abstraction.
(1134-5632)
A Lukasiewicz logic based Prolog.
(1134-5632)
A cost-sensitive learning algorithm for fuzzy rule-based classifiers.
(1134-5632)
On functions that cannot be mv-truth values in algebraic structures.
(0210-7821)
A general deduction theorem.
(0210-7821)
Construction of 0-1 matrices associated to period-doubling processes.
(0210-7821)
A theorem on implication functions defined from triangular norms.
(0210-7821)
An introduction to W-computation: basic operations.
(0210-7821)
The space of distribution functions is separable.
(0210-7821)
Metric similarities in the logic of approximation.
(0210-7821)
A semantical hierarchy for modal formulas.
(0210-7821)
Impartial truth.
(0210-7821)
Lògiques distributives i booleanes.
(0210-7821)
On negation functions in the theory of fuzzy sets.
(0210-7821)
A formalization of the Lewis system S1 without rules of substitution.
(0210-7821)
Ganea term for CCG-homology of crossed modules.
(0213-8743)
Diagonalization in Banach algebras and Jordan-Banach algebras.
(0213-8743)
On the structure of rank one elements in Banach algebras.
(0213-8743)
Algèbres topologiques algébriques.
(0213-8743)
Commutativity criterions in locally m-convex algebras.
(0213-8743)
On normal stratified pseudomanifolds.
(0213-8743)
Non-abelian tensor product of Lie algebras and its derived functors.
(0213-8743)
Théorème de Gelfand-Mazur dans les algèbres p-normées non-associatives.
(0213-8743)
Sequentially m-barrelled algebras.
(0213-8743)
Théorèmes de structure sur certaines algèbres m-convexes commutatives.
(0213-8743)
Central extensions of Leibniz algebras.
(0213-8743)
On the spectra of elements in certain algebras of vector valued functions and sequences.
(0213-8743)
When a composition algebra is barrelled?
(0213-8743)
A note on Hacque's cohomology of rings-groups and extensions of rings-groups by groups.
(0213-8743)
A mathematician out of his time: Ventura Reyes Prosper.
(0213-8743)
Topological localization in Fréchet algebras.
(0213-8743)
A ring to describe symbolic expressions.
(0213-8743)
Degré topologique pour les fonctions convexes.
(0213-8743)
On the dependence of Koszul homology from the generators of an ideal.
(0213-8743)
On the amount of information resulting from empirical and theoretical knowledge.
(1139-1138)
Formes d'inertie et complexe de Koszul associés à des polynômes plurihomogènes.
(1139-1138)
Heegaard splittings of the pair of solid torus and the core loop.
(1139-1138)
Dotted links, Heegaard diagrams, and colored graphs for PL 4-manifolds.
(1139-1138)
Open 3-manifolds, wild subsets of S
3
and branched coverings.
(1139-1138)
Uncountably many wild knots whose cyclic branched covering are S
3
.
(1139-1138)
On generation of jets for vector bundles.
(1139-1138)
General stable bundles arising as normal bundles of projective curves.
(1139-1138)
Representing open 3-manifolds as 3-fold branched coverings.
(1139-1138)
Polynôme d'Alexander à l'infini d'un polynôme à deux variables.
(1139-1138)
On slice knots in the complex projective plane.
(0214-3577)
A geometric proof of the Perron-Frobenius theorem.
(0214-3577)
Two-fold branched coverings of S
3
have type six.
(0214-3577)
Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors.
(0214-3577)
Optimal degree construction of real algebraic plane nodal curves with prescribed topology. I. The orientable case.
(0214-3577)
Levelled O-minimal structures.
(0214-3577)
A failure of quantifier elimination.
(0214-3577)
A note on unlinking numbers of Montesinos links.
(0214-3577)
Heegaard and regular genus of 3-manifolds with boundary.
(0214-3577)
Randomness and immunity.
(0214-3577)
Courbes de semi-groupe donné.
(0214-3577)
Hurwitz spaces of genus 2 covers of an elliptic curve.
(0010-0757)
On the genus of RP
3
x S
1
.
(0010-0757)
Transversal intersection of separatrices and branching of solutions as obstructions to the existence of an analitic integral in many-dimensional system. I. Basic results: Separatrices of hyperbolic periodic points.
(0010-0757)
Non-removable ideals in commutative topological algebras with separately continuous multiplication.
(0010-0757)
The product formula.
(0010-0757)
Regular inductive limits of K-spaces.
(0010-0757)
The approximation property of order (p,q) in Banach spaces.
(0010-0757)
On the nonexistence of CR functions on Levi-flat CR manifolds.
(0010-0757)
Graded algebra automorphisms.
(0010-0757)
Combinatoric of syzygies for semigroup algebras.
(0010-0757)
Dimension injective des produits croisés.
(0010-0757)
Non-standard dynamical systems. Shadows of trajectories and abstracts rivers.
(0010-0757)
A note on the homotopical characterization of Rn.
(0010-0757)
Extensions of topological algebras.
(0010-0757)
Spaces of holomorphic functions with differentials which can be extended to the origin.
(0010-0757)
Embeddings and imnmersions of branched covering spaces.
(0010-0757)
CO-H-groups: obstruction to commutativity and central maps.
(0010-0757)
Deformations of equivariant analytic germs.
(0010-0757)
Equipo DML-E
Instituto de Ciencias Matemáticas (ICMAT - CSIC)
rmm()icmat.es