MATH
Login Or Sign up

List Question

15
1.8k
Views

How to proofs work in three-valued Kleene logic?

Published on
#logic #nonclassical-logic
1.2k
Views

Is ¬¬(¬¬P → P) provable in intuitionistic logic?

Published on
#logic #constructive-mathematics #nonclassical-logic
53
Views

"Relative unsatisfiability" of SAT instances

Published on
#logic #galois-theory #propositional-calculus #computational-complexity #nonclassical-logic
236
Views

Logical equivalence implication between Kleene and Classical logic

Published on
#first-order-logic #nonclassical-logic
153
Views

Interpretation of relations in varying-domain models of F.O. modal logic

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

Are there any examples of consistent proper axiomatic extensions of classical logic?

Published on
#logic #reference-request #terminology #nonclassical-logic
2.7k
Views

Why do we prefer classical logic over non-classical logic?

Published on
#logic #nonclassical-logic
419
Views

Example of a logic where a proof by contradiction does not imply a direct proof.

Published on
#logic #nonclassical-logic
14.5k
Views

Tricks for Constructing Hilbert-Style Proofs

Published on
#logic #proof-theory #nonclassical-logic
1.3k
Views

which branch of maths studies Standard Logical Matrices

Published on
#reference-request #logic #soft-question #advice #nonclassical-logic
2.8k
Views

Good book for learning and practising axiomatic logic

Published on
#logic #reference-request #proof-writing #book-recommendation #nonclassical-logic
1.1k
Views

How can some statements be consistent with intuitionistic logic but not classical logic, when intuitionistic logic proves not not LEM?

Published on
#logic #nonclassical-logic #constructive-mathematics
340
Views

what are the Rosser Turquette axioms of Lukasiewicz 3 valued propositional logic?

Published on
#logic #proof-writing #axioms #nonclassical-logic
99
Views

Which One of These Logical Theses Does Not Hold for Relevant Logics With a Connective for Conjunction?

Published on
#nonclassical-logic #polish-notation #relevant-logic
457
Views

Existence of maximal boolean-algebra sublattice (preserving top and bottom) of finite distributive lattice

Published on
#boolean-algebra #lattice-orders #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.