Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Recent increases in computing power, coupled with rapid growth in the availability and quantity of data have rekindled our… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
  • Thierry Paul
  • Math. Struct. Comput. Sci.
  • 2007
  • Corpus ID: 13529366
This special issue of Mathematical Structures in Computer Science contains several contributions related to the modern field of… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In learning their native language children develop a remarkable set of capabilities They acquire knowledge and skills that enable… Expand
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We use high-resolution N-body simulations to study the equilibrium density profiles of dark matter halos in hierarchically… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Fuzzy Sets and Fuzzy Logic is a true magnum opus. An enlargement of Fuzzy Sets, Uncertainty, and Information—an earlier work of… Expand
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Intentions, an integral part of the mental state of an agent, play an important role in determining the behavior of rational… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Abstract Because of the “all-or-none” character of nervous activity, neural events and the relations among them can be treated by… Expand
Is this relevant?
Highly Cited
1979
Highly Cited
1979
This [reading] argues that […] spans of control, types of formalization and decentralization, planning systems, and matrix… Expand
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… Expand
Is this relevant?