Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Adaptive grammarAntimatroidArgument mapBra–ket notation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2007
Review
2007
Ambidexterity as a Dynamic Capability: Resolving the Innovator's Dilemma
Abstract How do organizations survive in the face of change? Underlying this question is a rich debate about whether… 
Highly Cited
2004
Highly Cited
2004
Lexical Functional Grammar A Formal System for Grammatical Representation
In learning their native language children develop a remarkable set of capabilities They acquire knowledge and skills that enable… 
Highly Cited
2002
Highly Cited
2002
Type-2 fuzzy sets made simple
Type-2 fuzzy sets let us model and minimize the effects of uncertainties in rule-base fuzzy logic systems. However, they are… 
Highly Cited
2000
Highly Cited
2000
Interval type-2 fuzzy logic systems
  • Q. LiangJ. Mendel
  • Ninth IEEE International Conference on Fuzzy…
  • 2000
  • Corpus ID: 15199149
We propose an efficient and simplified method to compute the input and antecedent operations for interval type-2 FLSs using the… 
Highly Cited
1999
Highly Cited
1999
Perspective: Complexity Theory and Organization Science
Complex organizations exhibit surprising, nonlinear behavior. Although organization scientists have studied complex organizations… 
Highly Cited
1997
Highly Cited
1997
Statistical Properties of X-Ray Clusters: Analytic and Numerical Comparisons
We compare the results of Eulerian hydrodynamic simulations of cluster formation against virial scaling relations between four… 
Highly Cited
1991
Highly Cited
1991
Notions of Computation and Monads
Review
1984
Review
1984
Weak localization in thin films: a time-of-flight experiment with conduction electrons
Highly Cited
1975
Highly Cited
1975
SELECT—a formal system for testing and debugging programs by symbolic execution
SELECT is an experimental system for assisting in the formal systematic debugging of programs. It is intended to be a compromise… 
Highly Cited
1974
Highly Cited
1974
On the theory of inconsistent formal systems
  • N. Costa
  • Notre Dame J. Formal Log.
  • 1974
  • Corpus ID: 32692681
Introduction This is an expository work,* in which we shall treat some questions related to the theory of inconsistent formal… 
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)