Results 131 to 140 of about 1,588 (189)

Semilinear copulas

Fuzzy Sets and Systems, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
DURANTE, FABRIZIO   +3 more
openaire   +1 more source

Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity

Archive for Mathematical Logic, 2015
The paper is a continuation of [the authors, Arch. Math. Logic 49, No. 4, 417--446 (2010; Zbl 1196.03013)]. An abstract algebraic logic \(L\) with implication \(\Rightarrow\) is semilinear if the following meta-rule holds: \[ \frac{\Gamma,\phi \Rightarrow \psi \vdash_L \chi \quad \Gamma,\psi \Rightarrow \phi \vdash_L \chi}{\Gamma \vdash_L \chi}.
Petr Cintula, Carles Noguera
openaire   +5 more sources

Semilinear Program Feasibility

2009
We study logical techniques for deciding the computational complexity of infinite-domain constraint satisfaction problems (CSPs). For the fundamental algebraic structure $\Gamma=(\mathbb R; L_1,L_2,\dots)$ where $\mathbb R$ are the real numbers and L 1 ,L 2 ,...
Manuel Bodirsky   +2 more
openaire   +2 more sources

Semilinearity as a syntactic invariant

1997
Mildly context sensitive grammar formalisms such as multi-component TAGs and linear context free rewrite systems have been introduced to capture the full complexity of natural languages. We show that, in a formal sense, Old Georgian can be taken to provide an example of a non-semilinear language.
Michaelis, Jens   +2 more
openaire   +3 more sources

Semilinear observation systems

Systems & Control Letters, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mahmoud Baroun   +3 more
openaire   +2 more sources

Home - About - Disclaimer - Privacy