MATH
Login Or Sign up

List Question

15
531
Views

Book about different kinds of logic.

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

What are the different approachs to logic?

Published on
#logic #nonclassical-logic
143
Views

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

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

Non-distributive lattices with chains of different lengths

Published on
#logic #lattice-orders #universal-algebra #nonclassical-logic
71
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
541
Views

Sudokus and the Distance to a Contradiction.

Published on
#logic #metric-spaces #recreational-mathematics #nonclassical-logic #sudoku
176
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
316
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
232
Views

Attempt to make a meaningful ternary logic

Published on
#logic #propositional-calculus #nonclassical-logic
108
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
93
Views

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

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

Basic equivalences in linear logic

Published on
#logic #computer-science #nonclassical-logic #linear-logic
275
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
121
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

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.