MATH
Login Or Sign up

List Question

15
171
Views

How many distinct functions for a set containing four elements?

Published on
#abstract-algebra #logic #nonclassical-logic
47
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
344
Views

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

Published on
#logic #notation #terminology #philosophy #nonclassical-logic
593
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
216
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
535
Views

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

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

Continuous vs classical structures (1)

Published on
#model-theory #nonclassical-logic
57
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
423
Views

Fully truth-functional version of modal logic?

Published on
#modal-logic #nonclassical-logic
169
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
251
Views

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

Published on
#logic #nonclassical-logic
246
Views

Quicksort with Trivalued Logic

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