Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/LogicalExpressions> . }
Showing items 1 to 16 of
16
with 100 items per page.
- Atomic_formula type LogicalExpressions.
- Expression_(mathematics) type LogicalExpressions.
- Ground_expression type LogicalExpressions.
- Logical_connective type LogicalExpressions.
- Logical_constant type LogicalExpressions.
- Open_sentence type LogicalExpressions.
- Polish_notation type LogicalExpressions.
- Propositional_formula type LogicalExpressions.
- Propositional_function type LogicalExpressions.
- Propositional_variable type LogicalExpressions.
- Rule_of_inference type LogicalExpressions.
- Rule_of_replacement type LogicalExpressions.
- Sequent type LogicalExpressions.
- Tautology_(logic) type LogicalExpressions.
- Theory_(mathematical_logic) type LogicalExpressions.
- Well-formed_formula type LogicalExpressions.