MATH
Login Or Sign up

List Question

15
70
Views

Definition of proposition in a constructive setting

Published on
#logic #propositional-calculus #constructive-mathematics #intuitionistic-logic
70
Views

Accessibility relation in non-classical logics: hereditary or not?

Published on
#constructive-mathematics #modal-logic #intuitionistic-logic #kripke-models
941
Views

The legitimacy of topos theory and intuitionism.

Published on
#foundations #philosophy #topos-theory #intuitionistic-logic #categorical-logic
45
Views

Two non-isomorphic intuitionistic Kripke frames satisfying different formulas.

Published on
#logic #intuitionistic-logic
76
Views

Intermediate logics and strong algebraic completeness

Published on
#logic #intuitionistic-logic #algebraic-logic #heyting-algebra
108
Views

Semantic explanation for converting intuitionistic logic into classical logic by adding LEM as an axiom

Published on
#logic #intuitionistic-logic #nonclassical-logic #kripke-models
265
Views

Proof of Angles going beyond 90 degrees in Trigonometry

Published on
#trigonometry #proof-writing #intuition #intuitionistic-logic
149
Views

Proof of Angles going beyond 90 deg in Trigonometry

Published on
#trigonometry #proof-writing #intuitionistic-logic
57
Views

proof intuitionist logic

Published on
#logic #intuitionistic-logic
61
Views

Non-existence of a dischargeable hypothesis

Published on
#quantifiers #constructive-mathematics #intuitionistic-logic
243
Views

Universal Quantifier in Intuitionistic Logic

Published on
#first-order-logic #predicate-logic #constructive-mathematics #intuitionistic-logic
274
Views

Given an inhabited type in simply-typed lambda calculus (w/no basics, just variables), is there a combinator of that type that is no longer than it?

Published on
#logic #type-theory #lambda-calculus #constructive-mathematics #intuitionistic-logic
248
Views

Context in Type Theory

Published on
#type-theory #constructive-mathematics #intuitionistic-logic
5k
Views

Are geometric arguments using infinitesimals valid?

Published on
#geometric-construction #constructive-mathematics #infinitesimals #intuitionistic-logic
148
Views

Sufficient conditions for De Morgan's law in intuitionistic logic

Published on
#logic #intuitionistic-logic

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.