Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,468,415 papers from all fields of science
Search
Sign In
Create Free Account
Linear logic
Known as:
Intuitionistic linear logic
, ⅋
Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
34 relations
Admissible rule
Atomic formula
Bunched logic
Calculus of structures
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
A NEW PARANORMED SEQUENCE SPACE AND SOME MATRIX TRANSFORMATIONS NEYAZ
A. Sheikh
2012
Corpus ID: 16434067
In this paper, we introduce the space r(u, p). We proved its completeness property and has shown its linear isomorphism to l(p…
Expand
2011
2011
LPV subspace identification using a novel nuclear norm regularization method
P. Gebraad
,
J. Wingerden
,
G. Veen
,
M. Verhaegen
Proceedings of the American Control Conference
2011
Corpus ID: 251732
It is well-known that recently proposed Linear Parameter-Varying (LPV) subspace identification techniques suffer from a curse of…
Expand
2010
2010
Strategic bidding in deregulated market using particle swarm optimization
J. Kumar
,
Shaik Jameer Pasha
,
D. M. Vinod Kumar
IEEE India Conference
2010
Corpus ID: 9603876
In this paper, particle swarm optimization method is proposed to determine the optimal bidding strategy in competitive…
Expand
2008
2008
Online learning of patch perspective rectification for efficient object detection
Stefan Hinterstoißer
,
Selim Benhimane
,
Nassir Navab
,
P. Fua
,
V. Lepetit
IEEE Conference on Computer Vision and Pattern…
2008
Corpus ID: 551044
For a large class of applications, there is time to train the system. In this paper, we propose a learning-based approach to…
Expand
2003
2003
Existence and decay in non linear viscoelasticity
J. Rivera
,
F. Gómez
2003
Corpus ID: 125948150
In this work we study the existence, uniqueness and decay of solutions to a class of viscoelastic equations in a separable…
Expand
2002
2002
Glue semantics for HPSG
Dick Crouch
Proceedings of the International Conference on…
2002
Corpus ID: 15816808
The glue approach to semantic interpretation has been developed principally for Lexical Functional Grammar. Recent work has…
Expand
1998
1998
Photoelectron Spectroscopy of Doubly Charged Anions: Intramolecular Coulomb Repulsion and Solvent Stabilization
Chuanfan Ding
,
Xue‐Bin Wang
,
Lai‐Sheng Wang
1998
Corpus ID: 98845935
Photoelectron spectroscopy has been combined with an electrospray ionization technique to study gas-phase multiply charged anions…
Expand
1998
1998
A Hybrid Smoothing Method for Mixed Nonlinear Complementarity Problems
S. Gabriel
Computational optimization and applications
1998
Corpus ID: 45424719
In this paper, we describe a new, integral-based smoothing method for solving the mixed nonlinear complementarity problem (MNCP…
Expand
1988
1988
Robust control and parameter estimation of robots with flexible joints
C. C. Wit
,
O. Lys
Proceedings. IEEE International Conference on…
1988
Corpus ID: 30405460
A decentralized control design is presented for industrial robots with flexibilities at the joints. Based on an independent joint…
Expand
1987
1987
Group actions on the complex projective plane
Dariusz M. Wilczyński
1987
Corpus ID: 30014754
0. Introduction. In this paper we consider homologically trivial, locally smooth actions of finite and compact Lie groups on…
Expand