MATH
Login Or Sign up

List Question

15
7.8k
Views

Multiple Conditioning on Event Probabilities

Published on
#probability #nonclassical-logic
1.1k
Views

Reference request: preparation for learning a little smooth infinitesimal analysis?

Published on
#reference-request #category-theory #nonclassical-logic #synthetic-differential-geometry
325
Views

Intuitionistic logic

Published on
#logic #nonclassical-logic
414
Views

Which CSL rules hold in Łukasiewicz's 3-valued logic?

Published on
#logic #nonclassical-logic
85
Views

What is a semi-valuation in paraconsistent/paracomplete logic?

Published on
#logic #nonclassical-logic
380
Views

Type theory and constructivist mathematics with paraconsistent logic?

Published on
#logic #type-theory #constructive-mathematics #intuitionistic-logic #nonclassical-logic
143
Views

What are the various respects under which a logic can deviate from classical logic, thus being " non-classical"?

Published on
#logic #reference-request #nonclassical-logic
300
Views

Logic without the Law of Identity

Published on
#logic #nonclassical-logic
231
Views

Logic without the three traditional laws of thought

Published on
#logic #nonclassical-logic
123
Views

Classical Tautologies in a Deviant Logic of Paradox

Published on
#propositional-calculus #nonclassical-logic
238
Views

Is $(p \to q) \to (\neg q \to \neg p)$ a theorem in (Johansson's) minimal logic?

Published on
#intuitionistic-logic #nonclassical-logic
74
Views

Is a paraconsistent model a type of boolean-valued model?

Published on
#model-theory #nonclassical-logic
60
Views

Can a theory with plural quantification have elementary equivalent structures that use different length sequences to satisfy sentences?

Published on
#logic #quantifiers #nonclassical-logic
50
Views

Question on Logic

Published on
#logic #propositional-calculus #lattice-orders #nonclassical-logic
886
Views

Looking for a simple proof of the independence of the law of excluded middle

Published on
#logic #intuitionistic-logic #nonclassical-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.