formal logic
C21783
concept
Formal logic is the systematic study of valid reasoning and inference using precisely defined symbols, rules, and structures independent of specific content.
Observed surface forms (18)
| Surface form | Occurrences |
|---|---|
| logical calculus | 3 |
| Description logic | 1 |
| area of logic | 1 |
| description logic | 1 |
| first-order logic formalization | 1 |
| formal system of inductive logic | 1 |
| formal verification formalism | 1 |
| formal verification logic | 1 |
| formalism | 1 |
| logical formula | 1 |
| logical notation | 1 |
| many-valued logic | 1 |
| paracomplete logic | 1 |
| paraconsistent logic | 1 |
| rule of inference | 1 |
| semantic notion in logic | 1 |
| semantics for first-order logic | 1 |
| three-valued logic | 1 |
Instances (18)
| Instance | Via concept surface |
|---|---|
| proof theory | area of logic |
| Description Logic | — |
| Herbrand disjunction | logical formula |
| Herbrand interpretation | semantic notion in logic |
| Concept Notation | logical calculus |
| Carnap's continuum of inductive methods | formal system of inductive logic |
| Kleene strong three-valued logic | many-valued logic |
|
branching-time temporal logic CTL*
surface form:
CTL*
|
formal verification formalism |
| CTL* | formal verification logic |
| De Morgan's laws | rule of inference |
| Russian formalism | formalism |
| AL (Attributive Language) | description logic |
| OWL 2 DL | Description logic |
| Polish notation | logical notation |
| Isabelle/FOL | first-order logic formalization |
|
Henkin
surface form:
Henkin semantics
|
semantics for first-order logic |
| sequent calculus | logical calculus |
| Gentzen-style proof systems | logical calculus |