Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,541,939 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
2015
Highly Cited
2015
Rosetta mission results pre-perihelion Special feature Spectrophotometric properties of the nucleus of comet 67 P / Churyumov-Gerasimenko from the OSIRIS instrument onboard the ROSETTA spacecraft
S. Fornasier
,
P. Hasselmann
,
+51 authors
J. Vincent
2015
Corpus ID: 13749329
Context. The Rosetta mission of the European Space Agency has been orbiting the comet 67P/Churyumov-Gerasimenko (67P) since…
Expand
Highly Cited
2011
Highly Cited
2011
A Comment on AdS collapse of a scalar field in higher dimensions
J. Jalmu.zna
,
A. Rostworowski
,
P. Bizo'n
2011
Corpus ID: 117721456
We show that the weakly turbulent instability of anti-de Sitter space, recently found in P. Bizon and A. Rostworowski, Phys. Rev…
Expand
Highly Cited
2009
Highly Cited
2009
Lorentz boost and non-Gaussianity in multifield DBI inflation
S. Mizuno
,
F. Arroja
,
K. Koyama
,
Takahiro Tanaka
2009
Corpus ID: 118501667
We show that higher-order actions for cosmological perturbations in the multifield Dirac-Born-Infeld (DBI) inflation model are…
Expand
Highly Cited
2006
Highly Cited
2006
A Finite Strain Plastic-damage Model for High Velocity Impact using Combined Viscosity and Gradient Localization Limiters: Part I - Theoretical Formulation
Rashid K. Abu Al-Rub
,
G. Voyiadjis
2006
Corpus ID: 67840452
During dynamic loading processes, large inelastic deformation associated with high strain rates leads, for a broad class of…
Expand
Highly Cited
2004
Highly Cited
2004
Modeling of optical absorption in conjugated polymer/fullerene bulk-heterojunction plastic solar cells
H. Hoppe
,
N. Arnold
,
D. Meissner
,
N. S. Sariçiftçi
2004
Corpus ID: 135484724
Highly Cited
2004
Highly Cited
2004
Automatic generation and analysis of NIDS attacks
Shai Rubin
,
S. Jha
,
B. Miller
Asia-Pacific Computer Systems Architecture…
2004
Corpus ID: 15249786
A common way to elude a signature-based NIDS is to transform an attack instance that the NIDS recognizes into another instance…
Expand
Highly Cited
2000
Highly Cited
2000
Fuzzy adaptive control of multivariable nonlinear systems1
Shaocheng Tong
,
Jiantao Tang
,
Tao Wang
Fuzzy Sets Syst.
2000
Corpus ID: 10733939
Highly Cited
1998
Highly Cited
1998
Fingerprints of CuPt ordering in III-V semiconductor alloys: Valence-band splittings, band-gap reduction, and x-ray structure factors
S. Wei
,
A. Zunger
1998
Corpus ID: 119072989
Spontaneous CuPt ordering induces a band-gap reduction {Delta}E{sub g} relative to the random alloy, a crystal field splitting…
Expand
Highly Cited
1992
Highly Cited
1992
Neurocontrol and fuzzy logic: Connections and designs
P. Werbos
International Journal of Approximate Reasoning
1992
Corpus ID: 17692584
Highly Cited
1986
Highly Cited
1986
D-PATR: A Development Environment for Unification-Based Grammars
L. Karttunen
International Conference on Computational…
1986
Corpus ID: 18054449
I)-PATR is a development environment for unification-based grammars on Xerox l i00 series work stations. It is based on the PATR…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE