Theory (mathematical logic)

Known as: Deductive theory, Theory (logic), Subtheories 
In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually a deductive system is understood… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1956-2017
010203019562016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Preserving the availability and integrity of networked computing systems in the face of fast-spreading intrusions requires… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 6
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We describe a tracking controller for the dynamic model of a unicycle mobile robot by integrating a kinematic and a torque… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural… (More)
  • figure 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We extend the Nelson–Oppen combination procedure to the case of theories that are compatible with respect to a common subtheory… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
SLAVE (Structural Learning Algorithm in Vague Environment) is an inductive learning algorithm that uses concepts based on fuzzy… (More)
Is this relevant?
1998
1998
  • IndustryLeora MorgensternIBM T. J. Watson
  • 1998
Nonmonotonic reasoning is virtually absent from industry and has been so since its inception; the result is that the eld is… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Linguistic modeling of complex irregular systems constitutes the heart of many control and decision making systems, and fuzzy… (More)
  • figure 1
  • table II
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1982
Highly Cited
1982
A method ~s g~ven for dec~dlng formulas in combinations of unquantified first-order theories. Rather than couphng separate… (More)
  • figure I
Is this relevant?
1957
1957
A companion paper has discussed a system, called the Logic Theory Machine (LT), that discovers proofs for theorems in symbolic… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1956
Highly Cited
1956
 
Is this relevant?