Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Logical_expressions> . }
Showing items 1 to 22 of
22
with 100 items per page.
- Atomic_formula subject Category:Logical_expressions.
- Cornish–Fisher_expansion subject Category:Logical_expressions.
- Expression_(mathematics) subject Category:Logical_expressions.
- Ground_expression subject Category:Logical_expressions.
- Open_sentence subject Category:Logical_expressions.
- Polish_notation subject Category:Logical_expressions.
- Proposition subject Category:Logical_expressions.
- Propositional_formula subject Category:Logical_expressions.
- Propositional_function subject Category:Logical_expressions.
- Rule_of_inference subject Category:Logical_expressions.
- Rule_of_replacement subject Category:Logical_expressions.
- Sequent subject Category:Logical_expressions.
- T-schema subject Category:Logical_expressions.
- Tautology_(logic) subject Category:Logical_expressions.
- Theorem subject Category:Logical_expressions.
- Theory_(mathematical_logic) subject Category:Logical_expressions.
- Universal_quantification subject Category:Logical_expressions.
- Well-formed_formula subject Category:Logical_expressions.
- Category:Formal_theories broader Category:Logical_expressions.
- Category:Propositions broader Category:Logical_expressions.
- Category:Rules_of_inference broader Category:Logical_expressions.
- Category:Theorems broader Category:Logical_expressions.