Information Sciences, ISSN 0020-0255, 03/2017, Volume 381, pp. 270 - 282

In this paper, by considering the notion of equality algebra, which is introduced by Jenei in [18], as a possible algebraic semantic for fuzzy type theory, we...

BL-algebra | Hoop-algebra | Hertz-algebra | Equality algebra | Residuated lattice | Boolean-algebra | Heyting-algebra | MTL-algebra | EQ-algebra | MV-algebra | COMPUTER SCIENCE, INFORMATION SYSTEMS | Algebra | Equality | Fuzzy logic | Equivalence | Semantics | Lattices

BL-algebra | Hoop-algebra | Hertz-algebra | Equality algebra | Residuated lattice | Boolean-algebra | Heyting-algebra | MTL-algebra | EQ-algebra | MV-algebra | COMPUTER SCIENCE, INFORMATION SYSTEMS | Algebra | Equality | Fuzzy logic | Equivalence | Semantics | Lattices

Journal Article

Soft Computing, ISSN 1432-7643, 11/2018, Volume 22, Issue 21, pp. 7119 - 7128

Hoop algebras or hoops are naturally ordered commutative residuated integral monoids, introduced by Bosbach (Fundam Math 64:257–287, 1969, Fundam Math 69:1–14,...

Heyting algebra | Node | Kleene algebra | Semi-De Morgan algebra | Hoop | Engineering | Computational Intelligence | Control, Robotics, Mechatronics | Hertz algebra | Hilbert algebra | BCK-algebra | Artificial Intelligence (incl. Robotics) | Nodal filter | Mathematical Logic and Foundations | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Algebra

Heyting algebra | Node | Kleene algebra | Semi-De Morgan algebra | Hoop | Engineering | Computational Intelligence | Control, Robotics, Mechatronics | Hertz algebra | Hilbert algebra | BCK-algebra | Artificial Intelligence (incl. Robotics) | Nodal filter | Mathematical Logic and Foundations | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Algebra

Journal Article

JOURNAL OF UNIVERSAL COMPUTER SCIENCE, ISSN 0948-695X, 2008, Volume 14, Issue 22, pp. 3686 - 3715

Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to...

IMTL algebra | Heyting algebra | BCK(P) lattice | weak-BL algebra | WNM algebra | t-norm | generalized-Wajsberg algebra | Hajek(P) algebra | MV algebra | generalized-BL algebra | COMPUTER SCIENCE, SOFTWARE ENGINEERING | BCK algebra | MTL algebra | residuated lattice | divisible BCK(P) lattice | Hilbert algebra | Hertz algebra | NM algebra | BL algebra | R-0 algebra | COMPUTER SCIENCE, THEORY & METHODS | Wajsberg algebra | generalized-MV algebra | pocrim

IMTL algebra | Heyting algebra | BCK(P) lattice | weak-BL algebra | WNM algebra | t-norm | generalized-Wajsberg algebra | Hajek(P) algebra | MV algebra | generalized-BL algebra | COMPUTER SCIENCE, SOFTWARE ENGINEERING | BCK algebra | MTL algebra | residuated lattice | divisible BCK(P) lattice | Hilbert algebra | Hertz algebra | NM algebra | BL algebra | R-0 algebra | COMPUTER SCIENCE, THEORY & METHODS | Wajsberg algebra | generalized-MV algebra | pocrim

Journal Article

JOURNAL OF UNIVERSAL COMPUTER SCIENCE, ISSN 0948-695X, 2007, Volume 13, Issue 11, pp. 1628 - 1654

Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to...

IMTL algebra | Hajek(P) algebra | generalized-BL algebra | residuated lattice | divisible BCK(P) lattice | RESIDUATED LATTICES | Hilbert algebra | FUZZY-LOGIC | BL algebra | COMPUTER SCIENCE, THEORY & METHODS | Wajsberg algebra | LUKASIEWICZ-MOISIL ALGEBRAS | Heyting algebra | BCK(P) lattice | weak-BL algebra | PROPOSITIONAL CALCULUS | WNM algebra | VARIETIES | t-norm | generalized-Wajsberg algebra | CONNECTIONS | MV algebra | COMPUTER SCIENCE, SOFTWARE ENGINEERING | BCK algebra | MTL algebra | Hertz algebra | NM algebra | SYSTEMS | R-0 algebra | generalized-MV algebra | pocrim

IMTL algebra | Hajek(P) algebra | generalized-BL algebra | residuated lattice | divisible BCK(P) lattice | RESIDUATED LATTICES | Hilbert algebra | FUZZY-LOGIC | BL algebra | COMPUTER SCIENCE, THEORY & METHODS | Wajsberg algebra | LUKASIEWICZ-MOISIL ALGEBRAS | Heyting algebra | BCK(P) lattice | weak-BL algebra | PROPOSITIONAL CALCULUS | WNM algebra | VARIETIES | t-norm | generalized-Wajsberg algebra | CONNECTIONS | MV algebra | COMPUTER SCIENCE, SOFTWARE ENGINEERING | BCK algebra | MTL algebra | Hertz algebra | NM algebra | SYSTEMS | R-0 algebra | generalized-MV algebra | pocrim

Journal Article

JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, ISSN 1064-1246, 2019, Volume 37, Issue 1, pp. 1457 - 1466

In this paper, we introduce the notions of node, nodal filter and seminode in equality algebras and study some properties of them. First, we study the relation...

seminode | node | nodal filter | Equality algebra | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | hertz algebra | Algebra | Equality | Boolean algebra | Nodes

seminode | node | nodal filter | Equality algebra | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | hertz algebra | Algebra | Equality | Boolean algebra | Nodes

Journal Article

Journal of Multiple-Valued Logic and Soft Computing, ISSN 1542-3980, 2010, Volume 16, Issue 3-5, pp. 467 - 504

The theory of localization and (maximal) algebra of fractions originates in ring theory and was extended by the Romanian school to bounded distributive...

Heyting algebra | R-module | Algebra of fractions | Localization algebra | Bounded distributive lattice | Commutative ring | MV algebra | Pseudo-MV algebra | Łukasiewicz-Moisil algebra | Hertz algebra | Hilbert algebra | Multiplier | BL algebra | Pseudo-BL algebra | multiplier | bounded distributive lattice | pseudo-MV algebra | Lukasiewicz-Moisil algebra | commutative ring | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | pseudo-BL algebra | COMPUTER SCIENCE, THEORY & METHODS | algebra of fractions

Heyting algebra | R-module | Algebra of fractions | Localization algebra | Bounded distributive lattice | Commutative ring | MV algebra | Pseudo-MV algebra | Łukasiewicz-Moisil algebra | Hertz algebra | Hilbert algebra | Multiplier | BL algebra | Pseudo-BL algebra | multiplier | bounded distributive lattice | pseudo-MV algebra | Lukasiewicz-Moisil algebra | commutative ring | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | pseudo-BL algebra | COMPUTER SCIENCE, THEORY & METHODS | algebra of fractions

Journal Article

Bulletin mathématique de la Société des Sciences Mathématiques de Roumanie, ISSN 1220-3874, 1/2010, Volume 53 (101), Issue 2, pp. 87 - 107

The aim of this paper is to study some properties of Hilbert algebras relative to the natural order. Connections between Hilbert algebras with infimum and...

Natural order | Algebra | Mathematical theorems | Implicative logic | Axioms | Mathematical lattices | Mathematics | Heyting algebras | Hilbert calculus | Boolean algebras | Hilbert algebra with supremum | Heyting algebra | Semi-Boolean hilbert algebra | Hilbert algebra with infimum | Hertz algebra | Hilbert algebra | Semi-Boolean lattices | MATHEMATICS | semi-Boolean Hilbert algebra | semi-Boolean lattices

Natural order | Algebra | Mathematical theorems | Implicative logic | Axioms | Mathematical lattices | Mathematics | Heyting algebras | Hilbert calculus | Boolean algebras | Hilbert algebra with supremum | Heyting algebra | Semi-Boolean hilbert algebra | Hilbert algebra with infimum | Hertz algebra | Hilbert algebra | Semi-Boolean lattices | MATHEMATICS | semi-Boolean Hilbert algebra | semi-Boolean lattices

Journal Article

Journal of Universal Computer Science, ISSN 0958-695X, 2008, Volume 14, Issue 22, pp. 3686 - 3715

Generalized-MV algebra | IMTL algebra | Hájek(P) algebra | Divisible BCK(P) lattice | Heyting algebra | BCK(P) lattice | WNM algebra | Generalized-Wajsberg algebra | MV algebra | BCK algebra | MTL algebra | T-norm | Weak-BL algebra | Generalized-BL algebra | Residuated lattice | Hertz algebra | Hilbert algebra | NM algebra | BL algebra | Wajsberg algebra | Pocrim | Ro algebra

Journal Article

Central European Journal of Mathematics, ISSN 1895-1074, 2/2010, Volume 8, Issue 1, pp. 41 - 52

This paper represents a start in the study of epimorphisms in some categories of Hilbert algebras. Even if we give a complete characterization for such...

Hertz algebras | Topological Groups, Lie Groups | Probability Theory and Stochastic Processes | Mathematics | Implication algebras | Boole algebras | 18C05 | Hilbert algebras | Geometry | Algebra | 18A20 | Mathematics, general | Tarski algebras | Number Theory | 03G25 | Deductive systems | Epimorphisms | MATHEMATICS

Hertz algebras | Topological Groups, Lie Groups | Probability Theory and Stochastic Processes | Mathematics | Implication algebras | Boole algebras | 18C05 | Hilbert algebras | Geometry | Algebra | 18A20 | Mathematics, general | Tarski algebras | Number Theory | 03G25 | Deductive systems | Epimorphisms | MATHEMATICS

Journal Article

Discrete Mathematics, ISSN 0012-365X, 2003, Volume 263, Issue 1, pp. 11 - 24

In Buşneag (Math. Japonica 44(2) (1996) 285) I defined a pseudo-valuation on a Hilbert algebra ( A,→,1) (cf. (J. Math. 2 (1985) 29; Collection de Logique Math....

Valuation | Hilbert algebra | Hertz algebra | Deductive system | MATHEMATICS | deductive system | valuation

Valuation | Hilbert algebra | Hertz algebra | Deductive system | MATHEMATICS | deductive system | valuation

Journal Article

Journal of Universal Computer Science, ISSN 0958-695X, 2007, Volume 13, Issue 11, pp. 1628 - 1654

Journal Article

IEEE Antennas and Propagation Magazine, ISSN 1045-9243, 06/2013, Volume 55, Issue 3, pp. 61 - 81

Maxwell's equations have undergone several changes of form in the 150 years since they first emerged. This has been due not only to changes in their...

Heaviside | Lorentz | Gibbs | Differential forms | Maxwell | History | Maxwell equations | Electromagnetics | Engineering education | electrodynamics | Diffraction | Quaternions | Difference equations | geometric algebra | electromagnetic engineering education | Hertz | quaternions | history | TELECOMMUNICATIONS | ENGINEERING, ELECTRICAL & ELECTRONIC

Heaviside | Lorentz | Gibbs | Differential forms | Maxwell | History | Maxwell equations | Electromagnetics | Engineering education | electrodynamics | Diffraction | Quaternions | Difference equations | geometric algebra | electromagnetic engineering education | Hertz | quaternions | history | TELECOMMUNICATIONS | ENGINEERING, ELECTRICAL & ELECTRONIC

Journal Article

The Journal of Strain Analysis for Engineering Design, ISSN 0309-3247, 07/1988, Volume 23, Issue 3, pp. 129 - 135

Abstract This paper presents a numerical solution method for frictionless, two dimensional contact problems involving punches with slope discontinuities or...

Economic models | Singularities | Chebyshev approximation | Contact problems | Contact pressure | Punches | Indentation | Hilbert transformation

Economic models | Singularities | Chebyshev approximation | Contact problems | Contact pressure | Punches | Indentation | Hilbert transformation

Journal Article

Classical and Quantum Gravity, ISSN 0264-9381, 11/2018, Volume 35, Issue 23, p. 235004

Canonical energy is a valuable tool for analyzing the linear stability of black hole spacetimes; positivity of canonical energy for all perturbations implies...

canonical energy | general relativity | Hertz potential | Schwarzschild | Black holes | stability | GENERAL-RELATIVITY | PHYSICS, MULTIDISCIPLINARY | CALCULUS | EQUATIONS | FORMULATION | RADIATION | INSTABILITIES | GRAVITATIONAL-FIELD PROBLEM | ASTRONOMY & ASTROPHYSICS | CONSTRUCTION | black holes | ROTATING BLACK-HOLES | PHYSICS, PARTICLES & FIELDS

canonical energy | general relativity | Hertz potential | Schwarzschild | Black holes | stability | GENERAL-RELATIVITY | PHYSICS, MULTIDISCIPLINARY | CALCULUS | EQUATIONS | FORMULATION | RADIATION | INSTABILITIES | GRAVITATIONAL-FIELD PROBLEM | ASTRONOMY & ASTROPHYSICS | CONSTRUCTION | black holes | ROTATING BLACK-HOLES | PHYSICS, PARTICLES & FIELDS

Journal Article

Journal of Mathematical Physics, ISSN 0022-2488, 09/1997, Volume 38, Issue 9, pp. 4504 - 4527

By using conformal Killing–Yano tensors, and their generalizations, we obtain scalar potentials for both the source-free Maxwell and massless Dirac equations....

BACKGROUNDS | SPACETIMES | HERTZ POTENTIALS | CONSTRUCTIVE PROCEDURE | NULL | NEUTRINO | K UR PHYSICS, MATHEMATICAL | CONSTANT | ELECTROMAGNETIC-FIELDS | GRAVITATIONAL PERTURBATIONS | SPINORS | PHYSICS, MATHEMATICAL | Physics - General Relativity and Quantum Cosmology

BACKGROUNDS | SPACETIMES | HERTZ POTENTIALS | CONSTRUCTIVE PROCEDURE | NULL | NEUTRINO | K UR PHYSICS, MATHEMATICAL | CONSTANT | ELECTROMAGNETIC-FIELDS | GRAVITATIONAL PERTURBATIONS | SPINORS | PHYSICS, MATHEMATICAL | Physics - General Relativity and Quantum Cosmology

Journal Article

The Astrophysical Journal, ISSN 0004-637X, 08/2007, Volume 665, Issue 2 I, pp. 1311 - 1320

We investigate marginally stable nuclear burning on the surface of accreting neutron stars as an explanation for the mHz quasi-periodic oscillations (QPOs)...

X-rays: Bursts | Accretion | Accretion disks | Stars: Neutron | ROSSELAND OPACITY TABLES | accretion, accretion disks | INTERMEDIATE-MASS | stars : neutron | 4U-1820-30 | X-RAY-BURSTS | MODELS | ASTRONOMY & ASTROPHYSICS | SHELL FLASHES | BINARIES | X-rays : bursts | SUB-HERTZ NOISE | NUCLEOSYNTHESIS | PHYSICS | Physics - Cosmology and Nongalactic Astrophysics | Physics - Earth and Planetary Astrophysics | Physics - Instrumentation and Methods for Astrophysics | Physics - High Energy Astrophysical Phenomena | Physics - Solar and Stellar Astrophysics | Physics - Astrophysics of Galaxies

X-rays: Bursts | Accretion | Accretion disks | Stars: Neutron | ROSSELAND OPACITY TABLES | accretion, accretion disks | INTERMEDIATE-MASS | stars : neutron | 4U-1820-30 | X-RAY-BURSTS | MODELS | ASTRONOMY & ASTROPHYSICS | SHELL FLASHES | BINARIES | X-rays : bursts | SUB-HERTZ NOISE | NUCLEOSYNTHESIS | PHYSICS | Physics - Cosmology and Nongalactic Astrophysics | Physics - Earth and Planetary Astrophysics | Physics - Instrumentation and Methods for Astrophysics | Physics - High Energy Astrophysical Phenomena | Physics - Solar and Stellar Astrophysics | Physics - Astrophysics of Galaxies

Journal Article

Multibody System Dynamics, ISSN 1384-5640, 12/2013, Volume 30, Issue 4, pp. 433 - 447

A major concern when installing the cables into the underground conduit is minimizing the tensile forces exerted on the cables as they are pulled. This...

Engineering | Vibration, Dynamical Systems, Control | Pulled | Hertz contact | Multibody dynamic model | Automotive Engineering | Tension | Mechanical Engineering | Cable installation | Optimization | Electrical Engineering | PULLING FORCES | MECHANICS | NODAL COORDINATE FORMULATION | SYSTEMS | DEFORMATION | Analysis | Models | Algorithms

Engineering | Vibration, Dynamical Systems, Control | Pulled | Hertz contact | Multibody dynamic model | Automotive Engineering | Tension | Mechanical Engineering | Cable installation | Optimization | Electrical Engineering | PULLING FORCES | MECHANICS | NODAL COORDINATE FORMULATION | SYSTEMS | DEFORMATION | Analysis | Models | Algorithms

Journal Article

1979, International series in natural philosophy, ISBN 0080198961, Volume 93., xi, 527

Book

Tribology Letters, ISSN 1023-8883, 03/2005, Volume 18, Issue 3, pp. 303 - 314

This paper presents a work on extending the Hertz theory for circular and elliptical point contact problems involving coated bodies. The extended form of the...

equivalent Young’s modulus | Chemistry | Hertz theory | coating | Tribology, Corrosion and Coatings | Physical Chemistry | contact mechanics | Surfaces and Interfaces, Thin Films | Theoretical and Applied Mechanics | Coating | Equivalent Young's modulus | Contact mechanics | ENGINEERING, CHEMICAL | CONTACT | FILMS | equivalent Young's modulus | MODEL | LAYER | ENGINEERING, MECHANICAL | Three dimensional bodies | Point contact | Equivalence | Computer simulation | Contact pressure | Substrates

equivalent Young’s modulus | Chemistry | Hertz theory | coating | Tribology, Corrosion and Coatings | Physical Chemistry | contact mechanics | Surfaces and Interfaces, Thin Films | Theoretical and Applied Mechanics | Coating | Equivalent Young's modulus | Contact mechanics | ENGINEERING, CHEMICAL | CONTACT | FILMS | equivalent Young's modulus | MODEL | LAYER | ENGINEERING, MECHANICAL | Three dimensional bodies | Point contact | Equivalence | Computer simulation | Contact pressure | Substrates

Journal Article

No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.