Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,216,471 papers from all fields of science
Search
Sign In
Create Free Account
Formal system
Known as:
Logical calculus
, Finite logic system
, Logic systems
Expand
A formal system is broadly defined as any well-defined system of abstract thought based on the model of mathematics. The entailment of the system by…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Adaptive grammar
Antimatroid
Argument map
Bra–ket notation
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Supplementary material for ” Evidence for multiple superconducting gaps in optimally doped BaFe
K. W. Kim
,
M. Rössle
,
A. Dubroka
,
V. K. Malik
,
T. Wolf
,
C. Bernhard
2010
Corpus ID: 59028174
The characteristic features of a BCS-type superconductor with scattering rate γ much larger than the superconducting energy gap…
Expand
Highly Cited
2009
Highly Cited
2009
ROBUST ADAPTIVE FUZZY CONTROL FOR NONLINEAR SYSTEM WITH DYNAMIC UNCERTAINTIES BASED ON BACKSTEPPING
Tao Wang
,
Shaocheng Tong
,
Yongming Li
2009
Corpus ID: 15385278
In this paper, a robust adaptive fuzzy backstepping control is developed for a class of strict-feedback canonical nonlinear…
Expand
2008
2008
Theory of Elasticity at the Nano-Scale
Huiling Duan
,
Jian-Xiang Wang
,
B. Karihaloo
2008
Corpus ID: 138181305
We have shown in a series of recent papers that the classical theory of thermo-elasticity can be extended to the nano-scale by…
Expand
Highly Cited
2002
Highly Cited
2002
HASCASL: Towards Integrated Specification and Development of Functional Programs
Lutz Schröder
,
Till Mossakowski
International Conference on Algebraic Methodology…
2002
Corpus ID: 29061387
The development of programs in modern functional languages such as Haskell calls for a wide-spectrum specification formalism that…
Expand
2002
2002
Covariant Quantization of the Supermembrane
N. Berkovits
2002
Corpus ID: 16025962
By replacing ten-dimensional pure spinors with eleven-dimensional pure spinors, the formalism recently developed for covariantly…
Expand
Highly Cited
2000
Highly Cited
2000
lntroducing generalized specificity in logic programming
Frieder Stolzenburg
,
A. García
,
C. Chesñevar
,
Guillermo R. Simari
2000
Corpus ID: 11609772
Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong…
Expand
Highly Cited
1994
Highly Cited
1994
Diagrams and the concept of logical system
J. Barwise
,
E. Hammer
1994
Corpus ID: 62429239
1993
1993
Nearly degenerate four-wave mixing in distributed feedback semiconductor lasers operating above threshold
A. Mecozzi
,
Alessandro D'Ottavi
,
R. Hui
1993
Corpus ID: 7698574
Nearly degenerate four-wave mixing in distributed feedback semiconductor lasers above threshold in investigated theoretically and…
Expand
1991
1991
Modeling transition
Gary Hall
,
Ranabir Gupta
[] Proceedings. Seventh International Conference…
1991
Corpus ID: 28061625
It is argued that the dynamics of an application domain is best modeled as patterns of change in the entities that make up the…
Expand
1985
1985
On the Complexity of ID/LP Parsing
G. Barton
International Conference on Computational Logic
1985
Corpus ID: 5438482
Modern linguistic theory attributes surface complexity to interacting subsystems of constraints. For instance, the ID/LP grammar…
Expand