MATH
Login Or Sign up

List Question

15
170
Views

How many distinct functions for a set containing four elements?

Published on
#abstract-algebra #logic #nonclassical-logic
46
Views

Can we say that CSL has the same expressive power of PCTL?

Published on
#logic #nonclassical-logic
24.1k
Views

Is math built on assumptions?

Published on
#soft-question #education #philosophy #foundations #nonclassical-logic
343
Views

Is there a proper term and/or symbol for an "agnostic" conclusion?

Published on
#logic #notation #terminology #philosophy #nonclassical-logic
592
Views

What are some practical applications of mathematical/formal logic to science and humanities?

Published on
#logic #propositional-calculus #applications #first-order-logic #nonclassical-logic
215
Views

Non-upper bounds without excluded middle

Published on
#logic #nonclassical-logic #constructive-mathematics
1.3k
Views

Derive by modus ponens $[A\rightarrow(B\rightarrow C)]\rightarrow[(A\rightarrow B)\rightarrow(A\rightarrow C)]$

Published on
#logic #propositional-calculus #axioms #hilbert-calculus #nonclassical-logic
534
Views

What obstacles prevent three-valued logic from being used as a modal logic?

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

Continuous vs classical structures (1)

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

Continuous vs classical structures (2)

Published on
#model-theory #nonclassical-logic
1k
Views

Are there logics without modus ponens?

Published on
#logic #computer-science #formal-proofs #formal-systems #nonclassical-logic
422
Views

Fully truth-functional version of modal logic?

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

How can we interpret that $A, B \vdash A, B$ is unprovable with resource interpretation in Linear Logic?

Published on
#logic #proof-theory #nonclassical-logic #sequent-calculus #linear-logic
250
Views

Why there is no classification theorem for logics, if there are classification theorems for groups and algebras?

Published on
#logic #nonclassical-logic
242
Views

Quicksort with Trivalued Logic

Published on
#algorithms #computer-science #sorting #nonclassical-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.