MATH
Login Or Sign up

List Question

15
56
Views

Is it still disjunction?

Published on
#logic
167
Views

If we have a structure with just relations, then every subset is a substructure?

Published on
#logic #first-order-logic #model-theory
216
Views

Formal Deduction -

Published on
#logic #first-order-logic #predicate-logic
1.8k
Views

Proof for Negation of existential quantifier : Formal Deduction && Predicate Logic

Published on
#logic #first-order-logic #predicate-logic #quantifiers #natural-deduction
207
Views

Proof of Lindenbaum's lemma for uncountable languages

Published on
#logic #propositional-calculus #order-theory
183
Views

Is the set of formulas equivalent to a bounded formula decidable

Published on
#logic #predicate-logic #computational-complexity #natural-numbers #formal-systems
1.4k
Views

Is there a symbol that denotes a finite set?

Published on
#logic #notation
101
Views

Order of quantification with an induction argument

Published on
#logic #induction #predicate-logic #quantifiers
232
Views

Replacing Predicates in First Order Statements to Produce a Counter-Example World

Published on
#logic #examples-counterexamples #first-order-logic
157
Views

Variable Condition in Typed Lambda Calculus

Published on
#logic #natural-deduction #lambda-calculus #type-theory
110
Views

Natural Deduction - 'monotone' property of sequent

Published on
#logic #propositional-calculus #proof-theory #natural-deduction
75
Views

Proof of something like a Deduction Theorem in Strong K3 Logic.

Published on
#logic
81
Views

How can logicians benefit from development of artificial neural networks?

Published on
#logic #soft-question #neural-networks
232
Views

Turing machine - Reducible

Published on
#logic #computer-science #computability #turing-machines #decidability
24
Views

Choosing a value of variable to satisfy implication related to inequalities

Published on
#logic #asymptotics

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.