MATH
Login Or Sign up

List Question

15
526
Views

Book about different kinds of logic.

Published on
#logic #reference-request #book-recommendation #nonclassical-logic
490
Views

What are the different approachs to logic?

Published on
#logic #nonclassical-logic
137
Views

Is there a logic to formalize the concept of "understanding"

Published on
#logic #first-order-logic #modal-logic #nonclassical-logic
233
Views

Non-distributive lattices with chains of different lengths

Published on
#logic #lattice-orders #universal-algebra #nonclassical-logic
52
Views

Do non-monotonicity / higher-order / probabilistics / modalities / connectives exhaust all possible features of logical reasoning?

Published on
#logic #set-theory #programming #higher-order-logic #nonclassical-logic
538
Views

Sudokus and the Distance to a Contradiction.

Published on
#logic #metric-spaces #recreational-mathematics #nonclassical-logic #sudoku
172
Views

Why is $\lozenge (p\to p)$ not valid in system $K$ of modal logic?

Published on
#logic #examples-counterexamples #modal-logic #nonclassical-logic #kripke-models
313
Views

Reading Chapter 14 of Goldblatt's, "Topoi: A Categorial Analysis of Logic."

Published on
#category-theory #self-learning #book-recommendation #topos-theory #nonclassical-logic
224
Views

Attempt to make a meaningful ternary logic

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

Semantic explanation for converting intuitionistic logic into classical logic by adding LEM as an axiom

Published on
#logic #intuitionistic-logic #nonclassical-logic #kripke-models
89
Views

On Axiom of Choice and the principle of Explosion (ex contradictione sequitur quodlibet)

Published on
#logic #set-theory #axiom-of-choice #nonclassical-logic
130
Views

Basic equivalences in linear logic

Published on
#logic #computer-science #nonclassical-logic #linear-logic
271
Views

Is it possible to formalize mathematics by using a different logic system (higher order, non-classical logics, model theory…)?

Published on
#logic #category-theory #nonclassical-logic
113
Views

Can I derive $ \vdash \Gamma $ from $ \vdash \Gamma, A, A^\bot $?

Published on
#logic #nonclassical-logic #sequent-calculus #linear-logic
1.1k
Views

Logics in which bi-implication and equivalence comes apart

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