MATH
Login Or Sign up

List Question

15
70
Views

Is there a way to define classical implication in this logic?

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

Does Bi-Intuitionistic Logic turn Classical in sufficiently strong first-order theories?

Published on
#logic #nonclassical-logic
53
Views

Books on co-Heyting algebras (with a view to their logics).

Published on
#logic #reference-request #book-recommendation #nonclassical-logic #heyting-algebra
634
Views

Intuitionistic Logic and Classical Logic on the proof of (A or B)

Published on
#logic #foundations #constructive-mathematics #nonclassical-logic
581
Views

Logical consequence in all structures in Kripke semantics

Published on
#logic #definition #modal-logic #nonclassical-logic #kripke-models
788
Views

Euclidean relations and $\diamond P\rightarrow\square\diamond P$

Published on
#modal-logic #nonclassical-logic #kripke-models
409
Views

Symmetric relations and $\varphi\rightarrow\square\diamond\varphi$

Published on
#modal-logic #nonclassical-logic #kripke-models
123
Views

Equivalence between $\mathbf{KT_4}$ and Lewis' $\mathbf{S_4}$

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

$A\land FB\rightarrow F(PA\land B)$ in temporal logic

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

Conditions for total orders in temporal logic

Published on
#modal-logic #nonclassical-logic #kripke-models
242
Views

Concatenation and contraposition laws in modified Stalnaker system

Published on
#logic #nonclassical-logic
592
Views

De Morgan laws of linear logic

Published on
#logic #computer-science #constructive-mathematics #nonclassical-logic #linear-logic
673
Views

Defined negation in intuitionistic linear logic

Published on
#logic #intuitionistic-logic #nonclassical-logic #linear-logic
796
Views

Logic & Reality

Published on
#logic #philosophy #nonclassical-logic
352
Views

Does the Law of the Excluded Middle imply syntactical completeness?

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