lógica de orden superior
Sign in to saveAlso known as HOL, higher order simple predicate logic
forma de lógica de predicados que se distingue de la lógica de primer orden por tener cuantificadores adicionales
Wikidata facts
- Subclass of
- predicate logic
Show 2 more facts
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/higher-order-logic
Sources (2)
via Wikidata · CC0