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.
Highly Cited
2007
Highly Cited
2007
  • T. Paul
  • Mathematical Structures in Computer Science
  • 2007
  • Corpus ID: 13529366
This special issue of Mathematical Structures in Computer Science contains several contributions related to the modern field of… Expand
Review
2006
Review
2006
  • H. Prakken
  • The Knowledge Engineering Review
  • 2006
  • Corpus ID: 7528631
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve… Expand
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
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
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
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
Highly Cited
1990
Highly Cited
1990
Because of the “all-or-none” character of nervous activity, neural events and the relations among them can be treated by means of… Expand
Highly Cited
1979
Highly Cited
1979
This [reading] argues that […] spans of control, types of formalization and decentralization, planning systems, and matrix… Expand
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
Review
1973
Review
1973
  • H. Simon
  • Artif. Intell.
  • 1973
  • Corpus ID: 12424281
Reviews of the state of the professional practice in Requirements Engineering (RE) stress that the RE process is both complex and… Expand
  • figure I