## Found 160 Documents (Results 1–100)

100
MathJax

### Order-preservation properties of resolvent operators and their applications to variational inequalities. (English)Zbl 07623337

MSC:  47-XX 46-XX
Full Text:

### On dependent multi-state semi-coherent systems based on multi-state joint signature. (English)Zbl 07565026

MSC:  60E15 62H10
Full Text:

### Monotonicity preservation properties of kernel regression estimators. (English)Zbl 1473.62110

MSC:  62G05 62G08
Full Text:

### Static and dynamic property-preserving updates. (English)Zbl 07373411

MSC:  68Q45 68Q60
Full Text:

MSC:  03D15
Full Text:

Full Text:

### Input-output-to-state stability of systems related through simulation relations. (English)Zbl 1458.93216

MSC:  93D25 93C10 93B17
Full Text:

### Farkas-based tree interpolation. (English)Zbl 1474.68321

Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 357-379 (2020).
Full Text:

### Restricted interpolation and lack thereof in stit logic. (English)Zbl 1485.03041

MSC:  03B42 03B45 03C40
Full Text:

MSC:  26A03
Full Text:

### Order-preservation properties of solution mapping for parametric equilibrium problems and their applications. (English)Zbl 07142448

MSC:  47H10 90C31 90C33
Full Text:

### Two new weak constraint qualifications for mathematical programs with equilibrium constraints and applications. (English)Zbl 1434.90215

MSC:  90C46 90C30 90C33
Full Text:

### Decidability of some interpolation properties for weakly transitive modal logics. (English)Zbl 1429.03083

Odintsov, Sergei (ed.), Larisa Maksimova on implication, interpolation, and definability. Cham: Springer. Outst. Contrib. Log. 15, 171-183 (2018).
MSC:  03B45 03B25 03C40
Full Text:

MSC:  41A36
Full Text:

### General proportional mean residual life model. (English)Zbl 1413.60007

MSC:  60E05 60E15 62N05
Full Text:

MSC:  03C40
Full Text:

### Finite-variable logics do not have weak Beth definability property. (English)Zbl 1371.03042

Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 125-133 (2015).
Full Text:

### An explicit residual based approach for shallow water flows. (English)Zbl 1349.76035

MSC:  76B15 76M10 65M60
Full Text:

MSC:  62N05

### Recognizable logics. (English. Russian original)Zbl 1347.03055

Algebra Logic 54, No. 2, 167-182 (2015); translation from Algebra Logika 54, No. 2, 252-274 (2015).
Full Text:

### Interpolation over the minimal logic and Odintsov intervals. (English. Russian original)Zbl 1351.03018

Sib. Math. J. 56, No. 3, 476-489 (2015); translation from Sib. Mat. Zh. 56, No. 3, 600-616 (2015).
MSC:  03B53 03C40
Full Text:

### Interior operators, open morphisms and the preservation property. (English)Zbl 1316.18002

Reviewer: Ittay Weiss (Suva)
MSC:  18A05 06A15 54B30
Full Text:

### Scalarization in set optimization with solid and nonsolid ordering cones. (English)Zbl 1311.49041

MSC:  49J53 46N10 90C29
Full Text:

### On the fluidization of Petri nets and marking homothecy. (English)Zbl 1373.68297

MSC:  68Q85 93C65
Full Text:

### Stochastic comparison of multivariate conditionally dependent mixtures. (English)Zbl 1292.60029

MSC:  60E15 60K10
Full Text:

### Deduction-detachment theorem in hidden $$k$$-logics. (English)Zbl 1327.03022

MSC:  03B70 03C40 68Q60
Full Text:

MSC:  65L06
Full Text:

### Failure of interpolation in constant domain intuitionistic logic. (English)Zbl 1327.03007

MSC:  03B20 03C40
Full Text:

### The projective Beth property in well-composed logics. (English. Russian original)Zbl 1315.03046

Algebra Logic 52, No. 2, 116-136 (2013); translation from Algebra Logika 52, No. 2, 172-202 (2013).
MSC:  03C40 03B20 03B25
Full Text:

### The logic-algebraic equations method in system dynamics. (English. Russian original)Zbl 1272.93039

St. Petersbg. Math. J. 24, No. 4, 645-662 (2013); translation from Algebra Anal. 24, No. 4, 156-181 (2012).
MSC:  93B25 93C65
Full Text:

### Lévy preservation and associated properties for $$f$$-divergence minimal equivalent martingale measures. (English)Zbl 1279.60044

Shiryaev, Albert N. (ed.) et al., Prokhorov and contemporary probability theory. In honor of Yuri V. Prokhorov on the occasion of his 80th birthday. Berlin: Springer (ISBN 978-3-642-33548-8/hbk; 978-3-642-33549-5/ebook). Springer Proceedings in Mathematics & Statistics 33, 163-196 (2013).
MSC:  60G07 60G51 91B24
Full Text:

### Interpolation and Beth definability over the minimal logic. (English)Zbl 1291.03042

Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 459-463 (2012).
MSC:  03B55 03C40

### Temporal-logic property preservation under Z refinement. (English)Zbl 1259.68032

MSC:  68N30 03B44
Full Text:

### On some classes of Heyting algebras with successor that have the amalgamation property. (English)Zbl 1408.06003

MSC:  06D20 03B20 03C40
Full Text:

Full Text:

### On capabilities of hash domain extenders to preserve enhanced security properties. (English)Zbl 1303.94101

Takagi, Tsuyoshi (ed.) et al., Provable security. 6th international conference, ProvSec 2012, Chengdu, China, September 26–28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33271-5/pbk). Lecture Notes in Computer Science 7496, 288-299 (2012).
MSC:  94A60 68P25
Full Text:

### Decidability of the weak interpolation property over the minimal logic. (English. Russian original)Zbl 1285.03029

Algebra Logic 50, No. 2, 106-132 (2011); translation from Algebra Logika 50, No. 2, 152-188 (2011).
MSC:  03C40 03B25 03B53
Full Text:

Full Text:

MSC:  08B05
Full Text:

### Preservation by fibring of the finite model property. (English)Zbl 1233.03034

MSC:  03B62 03C40
Full Text:

### Bayesian multivariate imperfect repair model. (English)Zbl 1211.90062

MSC:  90B25 62N05
Full Text:

### Polynomial cubic splines with tension properties. (English)Zbl 1205.65048

MSC:  65D07 41A15
Full Text:

Full Text:

### Interpolation properties in the extensions of the logic of inequality. (English. Russian original)Zbl 1209.03014

Sib. Math. J. 51, No. 3, 439-451 (2010); translation from Sib. Mat. Zh. 51, No. 3, 553-568 (2010).
MSC:  03B45 03C40 03G25
Full Text:

### Interpolation properties, Beth definability properties and amalgamation properties for substructural logics. (English)Zbl 1207.03030

MSC:  03B47 03C40
Full Text:

### Problem of restricted interpolation in superintuitionistic and some modal logics. (English)Zbl 1203.03035

MSC:  03B55 03B45 03C40
Full Text:

### Extensions of proof-intuitionistic logic without interpolation property. (Russian. English summary)Zbl 1262.03023

MSC:  03B20 03C40

### Decidability of the interpolation problem and of related properties in tabular logics. (English. Russian original)Zbl 1241.03032

Algebra Logic 48, No. 6, 426-448 (2009); translation from Algebra Logika 48, No. 6, 754-792 (2009).
Full Text:

### Restricted interpolation property in superintuitionistic logics. (English. Russian original)Zbl 1241.03031

Algebra Logic 48, No. 1, 33-53 (2009); translation from Algebra Logika 48, No. 1, 54-89 (2009).
MSC:  03B55 03B45 03C40
Full Text:

MSC:  41A36
Full Text:

Full Text:

### Copulas with truncation-invariance property. (English)Zbl 1318.62164

MSC:  62H05 60E05 62E10
Full Text:

### Component-based security policy design with colored Petri nets. (English)Zbl 1253.68242

Palsberg, Jens (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). Lecture Notes in Computer Science 5700, 21-42 (2009).
MSC:  68Q85 68Q60
Full Text:

### Varieties with definable factor congruences. (English)Zbl 1223.08001

MSC:  08B05 03C40 08B25
Full Text:

Full Text:

### Weak interpolation in extensions of the logics S4 and K4. (English. Russian original)Zbl 1241.03022

Algebra Logic 47, No. 6, 395-404 (2008); translation from Algebra Logika 47, No. 6, 705-722 (2008).
MSC:  03B45 03C40
Full Text:

### On decomposability in logical calculi. (English)Zbl 1249.03044

MSC:  03C40 03B25

Full Text:

### Property preservation along embedding of biological regulatory networks. (English)Zbl 1171.92302

Horimoto, Katsuhisa (ed.) et al., Algebraic biology. Third international conference, AB 2008, Castle of Hagenberg, Austria, July 31–August 2, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85100-4/pbk). Lecture Notes in Computer Science 5147, 125-138 (2008).
MSC:  92B05 92C40 05C90
Full Text:

### The Beth property and interpolation in lattice-based algebras and logics. (Russian, English)Zbl 1164.03320

Algebra Logika 47, No. 3, 307-334 (2008); translation in Algebra Logic 47, No. 3, 176-192 (2008).
MSC:  03C40 03B20 03G25
Full Text:

### A weak form of interpolation in equational logic. (Russian, English)Zbl 1164.03319

Algebra Logika 47, No. 1, 94-107 (2008); translation in Algebra Logic 47, No. 1, 56-64 (2008).
MSC:  03C40 08B10
Full Text:

### Absence of the interpolation property in the calculi $$L\alpha$$ and $$Lf$$. (Russian, English)Zbl 1164.03321

Sib. Mat. Zh. 49, No. 1, 183-188 (2008); translation in Sib. Math. J. 49, No. 1, 147-151 (2008).
MSC:  03C40 03B45
Full Text:

Full Text:

### Freedom from the interpolation property for tense calculi associated with Ershov spaces. (Russian, English)Zbl 1164.03322

Algebra Logika 46, No. 6, 745-762 (2007); translation in Algebra Logic 46, No. 6, 409-418 (2007).
MSC:  03C40 03B44
Full Text:

### A method of proving interpolation in paraconsistent extensions of the minimal logic. (Russian, English)Zbl 1164.03312

Algebra Logika 46, No. 5, 627-648 (2007); translation in Algebra Logic 46, No. 5, 341-353 (2007).
MSC:  03B53 03C40
Full Text:

### Automatic recognition of interpolation in modal calculi. (Russian, English)Zbl 1164.03301

Algebra Logika 46, No. 1, 103-119 (2007); translation in Algebra Logic 46, No. 1, 62-70 (2007).
MSC:  03B35 03B45 03C40
Full Text:

### Semantical characterizations for irreflexive and generalized modal languages. (English)Zbl 1131.03009

MSC:  03B45 03B44 03C40
Full Text:

Full Text:

### The projective Beth property and interpolation in positive and related logics. (Russian, English)Zbl 1119.03026

Algebra Logika 45, No. 1, 85-113 (2006); translation in Algebra Logic 45, No. 1, 49-66 (2006).
Full Text:

### The Beth property in algebraic logic. (English)Zbl 1121.03087

MSC:  03G99 03C40 03B22
Full Text:

Full Text:

### Interpolation and definability in extensions of the minimal logic. (Russian, English)Zbl 1106.03023

Algebra Logika 44, No. 6, 726-750 (2005); translation in Algebra Logic 44, No. 6, 407-421 (2005).
MSC:  03B53 03C40 03B55
Full Text:

### Generalized interpolation in first order logic. (English)Zbl 1100.03020

MSC:  03C40 03B10 68Q65

MSC:  41A36
Full Text:

### On some Galois connection based abstractions for the mu-calculus. (English)Zbl 1120.68408

Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 366-381 (2005).
Full Text:

### Preservation under extensions on well-behaved finite structures. (English)Zbl 1081.03025

Caires, Luís (ed.) et al., Automata, languages and programming. 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27580-0/pbk). Lecture Notes in Computer Science 3580, 1437-1449 (2005).
Full Text:

### Automatic recognition of the interpolation property in some superintuitionistic propositional logics. (Russian. English summary)Zbl 1249.03037

MSC:  03B55 03C40 68T15

### Geometric construction of spline curves with tension properties. (English)Zbl 1069.41500

MSC:  41A05 41A35
Full Text:

### Restricted interpolation in modal logics. (English)Zbl 1082.03019

Balbiani, Philippe (ed.) et al., Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King’s College Publications (ISBN 0-9543006-1-0/pbk; 0-9543006-2-9/hbk). 297-311 (2003).
MSC:  03B45 03C40

Full Text:

### On the Beth properties of some intuitionistic modal logics. (English)Zbl 1024.03019

MSC:  03B45 03C40
Full Text:

MSC:  49J52
Full Text:

Full Text:

### Interpolation and definability in guarded fragments. (English)Zbl 0998.03004

MSC:  03B20 03C40 03B45
Full Text:

MSC:  81V10
Full Text:

Full Text:

### Non-explicit definability in paraconsistent extensions of minimal logic. (Russian. English summary)Zbl 1031.03049

Karpenko, A. S. (ed.), Logical investigations. 8. Papers from the 3rd international conference “Smirnov’s Readings”, Moscow, Russia, May 2001. Moskva: Nauka. 72-81 (2001).
MSC:  03B53 03C40

### Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5. (English)Zbl 0990.03012

MSC:  03B45 03F07 03C40
Full Text:

### Spectral analysis of flux vector splitting finite volume methods. (English)Zbl 0996.76064

MSC:  76M12 65M12
Full Text:

### Shape-preserving approximation by space curves. (English)Zbl 1079.65018

MSC:  65D17 41A29 65D05
Full Text:

### A repair policy with limited number of minimal repairs. (English)Zbl 1032.62097

MSC:  62N05 62E10
Full Text:

### Amalgamation in finite dimensional cylindric algebras. (English)Zbl 1011.03050

MSC:  03G15 03C40
Full Text:

### Approximation theory. Moduli of continuity and global smoothness preservation. (English)Zbl 0937.41001

Boston, MA: Birkhäuser. xi, 525 p. (2000).

all top 5

all top 5

all top 5

all top 3

all top 3