Formal system

Known as: Logical calculus, Finite logic system, Logic systems 
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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1936-2017
020040060080019362016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
The data of interest are assumed to be represented as N-dimensional real vectors, and these vectors are compressible in some… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The scope of the formal system design (ForSyDe) methodology is high-level modeling and refinement of systems-on-a-chip and… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 6
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Type-2 fuzzy sets let us model and minimize the effects of uncertainties in rule-base fuzzy logic systems. However, they are… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
– for the development of safety critical systems from formal requirements specifications to executable code, including the… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We introduce (1) a novel stochastic inversion transduction grammar formalism for bilingual language modeling of sentence-pairs… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
1995
Highly Cited
1995
In learning their native language children develop a remarkable set of capabilities They acquire knowledge and skills that enable… (More)
  • table 7
  • table 6
  • figure 3
  • table 5
  • figure 2
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Much research has been devoted in building computer systems for checking proofs or for developing interactively correct proofs in… (More)
Is this relevant?
Highly Cited
1976
Highly Cited
1976
Lucid is both a programming language and a formal system for proving properties of Lucid programs. The programming language is… (More)
Is this relevant?
Highly Cited
1975
Highly Cited
1975
SELECT is an experimental system for assisting in the formal systematic debugging of programs. It is intended to be a compromise… (More)
Is this relevant?