MATH
Login Or Sign up

List Question

15
69
Views

Definition of proposition in a constructive setting

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

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

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

The legitimacy of topos theory and intuitionism.

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

Two non-isomorphic intuitionistic Kripke frames satisfying different formulas.

Published on
#logic #intuitionistic-logic
70
Views

Intermediate logics and strong algebraic completeness

Published on
#logic #intuitionistic-logic #algebraic-logic #heyting-algebra
106
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
264
Views

Proof of Angles going beyond 90 degrees in Trigonometry

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

Proof of Angles going beyond 90 deg in Trigonometry

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

proof intuitionist logic

Published on
#logic #intuitionistic-logic
60
Views

Non-existence of a dischargeable hypothesis

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

Universal Quantifier in Intuitionistic Logic

Published on
#first-order-logic #predicate-logic #constructive-mathematics #intuitionistic-logic
273
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
246
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
147
Views

Sufficient conditions for De Morgan's law in intuitionistic logic

Published on
#logic #intuitionistic-logic

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.