MATH
Login Or Sign up

List Question

15
1.6k
Views

Semantics for minimal logic

Published on
#logic #reference-request #intuitionistic-logic #provability #nonclassical-logic
554
Views

Is minimal logic equivalent to intuitionistic?

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

Downward Lowenheim-Skolem-Tarski theorem for Cofinality logic

Published on
#logic #nonclassical-logic
353
Views

Lukasiewicz logic, deduction theorem and complete calculi

Published on
#logic #proof-theory #nonclassical-logic
86
Views

Motivations for using Strong-K3 in Sentential Logic.

Published on
#logic #nonclassical-logic
683
Views

Paradox vs Tautology.

Published on
#logic #first-order-logic #higher-order-logic #logic-translation #nonclassical-logic
78
Views

Expansion postulates in Belief revision logic

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

Relative strength and propositional indistinguishability of non-distributive lattices

Published on
#abstract-algebra #logic #lattice-orders #universal-algebra #nonclassical-logic
261
Views

" Logic does not allow you to say this": is this assertion outdated?

Published on
#logic #nonclassical-logic
97
Views

What are the automorphisms on the strucuture consisting of the nonzero vectors of a Hilbert space with the orthogonality relation?

Published on
#logic #hilbert-spaces #projective-geometry #quantum-mechanics #nonclassical-logic
96
Views

What references should I follow if I want to learn more about semantic entailment in multi-valued logics?

Published on
#logic #reference-request #fuzzy-logic #nonclassical-logic
173
Views

Priest's nonstandard $N$: showing $\not\vdash_N \square p\supset p$.

Published on
#proof-verification #logic #philosophy #modal-logic #nonclassical-logic
635
Views

What's the difference between $\vdash$ and $\vDash$?

Published on
#logic #notation #definition #nonclassical-logic
92
Views

Is it possible that A ∪ B ⊢ α ∧ ¬α, but there be no β such that A ⊢ β and B ⊢ ¬β?

Published on
#logic #propositional-calculus #nonclassical-logic
7.1k
Views

A proportionality puzzle: If half of $5$ is $3$, then what's one-third of $10$?

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