MATH
Login Or Sign up

List Question

15
354
Views

What may be the use of Quantum Logic

Published on
#logic #quantum-mechanics #quantum-computation #nonclassical-logic #quantum-information
84
Views

Does the identity $(p \lor (q \land \neg p) ) \iff (p \lor q)$ hold in intuitionistic logic?

Published on
#logic #boolean-algebra #intuitionistic-logic #nonclassical-logic
360
Views

Logics in which the substitution of logical equivalents fails

Published on
#logic #nonclassical-logic
78
Views

Free Logic; how to make (∃x)(a ≠ x) (n) true?

Published on
#logic #modal-logic #nonclassical-logic
184
Views

Free Logic; what is the relation between 'Fa' and ' □Fa'?

Published on
#logic #modal-logic #nonclassical-logic
802
Views

Was von Neumann's 1954 ICM address "Unsolved Problems in Mathematics" outdated?

Published on
#mathematical-physics #math-history #von-neumann-algebras #quantum-field-theory #nonclassical-logic
17
Views

How does relevance postulate in Belief Revision guarantee minimal change?

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

doubly negated intuitionistic formulas

Published on
#logic #first-order-logic #intuitionistic-logic #nonclassical-logic
92
Views

How to prove a formula in Visser’s FPL

Published on
#logic #nonclassical-logic
144
Views

Question about Hilbert's axiom for the postive fragment of classical logic

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

Has this logic already been studied?

Published on
#logic #reference-request #propositional-calculus #intuitionistic-logic #nonclassical-logic
259
Views

What exactly are capture and release?

Published on
#logic #intuition #philosophy #paradoxes #nonclassical-logic
167
Views

Boolean algebra is to classical logic like what is to relevant logic?

Published on
#logic #terminology #lattice-orders #nonclassical-logic
63
Views

Examples of finitely-valued logics that aren't algebraizable

Published on
#logic #nonclassical-logic
183
Views

Does this outwit Rosser's trick?

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