Pages that link to "Heyting arithmetic"
Showing 50 items.
- Axiom of choice (links | edit)
- Intuitionism (links | edit)
- Constructivism (philosophy of mathematics) (links | edit)
- Many-valued logic (links | edit)
- Fuzzy logic (links | edit)
- Ontology (information science) (links | edit)
- Fuzzy set (links | edit)
- Intuitionistic logic (links | edit)
- Description logic (links | edit)
- Relevance logic (links | edit)
- Constructive analysis (links | edit)
- Three-valued logic (links | edit)
- Temporal logic (links | edit)
- Modal logic (links | edit)
- Non-monotonic logic (links | edit)
- Intuitionistic type theory (links | edit)
- Substructural logic (links | edit)
- Paraconsistent logic (links | edit)
- Scientific phenomena named after people (links | edit)
- Degree of truth (links | edit)
- Linear logic (links | edit)
- Dialetheism (links | edit)
- Strict conditional (links | edit)
- Structural rule (links | edit)
- Intermediate logic (links | edit)
- Disjunction and existence properties (links | edit)
- Arend Heyting (links | edit)
- Deontic logic (links | edit)
- Fuzzy set operations (links | edit)
- Brouwer–Heyting–Kolmogorov interpretation (links | edit)
- Epsilon-induction (links | edit)
- Logics for computability (links | edit)
- Non-classical logic (links | edit)
- Ontology language (links | edit)
- Epistemic modal logic (links | edit)
- Four-valued logic (links | edit)
- Constructive set theory (links | edit)
- Intuitionistic arithmetic (redirect page) (links | edit)
- History of mathematical notation (links | edit)
- Primitive recursive arithmetic (links | edit)
- Łukasiewicz logic (links | edit)
- Realizability (links | edit)
- Doxastic logic (links | edit)
- Connexive logic (links | edit)
- Schrödinger logic (links | edit)
- Double-negation translation (links | edit)
- Markov's principle (links | edit)
- Church's thesis (constructive mathematics) (links | edit)
- Fuzzy rule (links | edit)
- Dialectica interpretation (links | edit)