Skip to search formSkip to main contentSkip to account menu

Well-formed formula

Known as: Layman Allen, Well-formed, Formula (logics) 
In mathematical logic, a well-formed formula, abbreviated wff, often simply formula, is a finite sequence of symbols from a given alphabet that is… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
Admissible ruleAtomic formulaAtomic sentenceAutomated theorem proving

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Identifying Security-Critical Cyber-Physical Components in Industrial Control Systems
In recent years, Industrial Control Systems (ICS) have become an appealing target for cyber attacks, having massive destructive… 
2003
2003
Exploiting subformula sharing in automatic analysis of quantified formulas
2001
2001
A (Covert) Long Distance Anaphor in English
The empirical focus of this paper is the distribution of strict and sloppy interpretations of reflexive pronouns in comparative… 
Highly Cited
1997
Highly Cited
1997
Evidence for the characterisation of the C–H···π interaction as a weak hydrogen bond: toluene and chlorobenzene solvates of 2,3,7,8-tetraphenyl-1,9,10-anthyridine
The crystal structures of the toluene and chlorobenzene solvates of 2,3,7,8-tetraphenyl-1,9,10-anthyridine are nearly identical… 
1995
1995
The syntax and semantics of entailment in duality theory
Abstract Both syntactic and semantic solutions are given for the entailment problem of duality theory. The test algebra theorem… 
1994
1994
A Deductive Account of Quantification in LFG
The relationship between Lexical-Functional Grammar (LFG) functional structures (f-structures) for sentences and their semantic… 
1990
1990
A comparison of type enforcement and Unix setuid implementation of well-formed transactions
Two security mechanisms are compared and contrasted based on their implementation of the concept of well-formed transactions (D… 
Highly Cited
1987
Highly Cited
1987
Robot path planning using intersecting convex shapes: Analysis and simulation
An automated path planning algorithm for a mobile robot in a structured environment is presented. An algorithm based on the Quine… 
1983
1983
A Modal System of Algebras for Database Specification and Query/Update Language Support
Rather than iormaliaing general properties or database systems and derining abstract languages ror databases, in this paper we… 
1975
1975
Masculinization of the Gonad of Juvenile Guppy, Poecilia reticulata, Induced by 11-Ketotestosterone
The masculinizing effects of U-ketotestosterone, a potent natural androgen produced in teleosts, were determined in the guppy… 
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)