The logic of tied implications, part 2: Syntax.
Nehad N. MorsiWafik Boulos LotfallahMoataz Saleh El-ZekeyPublished in: Fuzzy Sets Syst. (2006)
Keyphrases
- predicate calculus
- classical logic
- logic programming
- operational semantics
- natural language
- database language
- multi valued
- information systems
- rule language
- first order logic
- data sets
- probability theory
- predicate logic
- theorem prover
- syntactic analysis
- deontic logic
- asynchronous circuits
- natural deduction
- delay insensitive