MATH
Login Or Sign up

List Question

15
34
Views

Equivalence of Martin-Löf sequent calculus and standard sequent calculus with material implications

Published on
#induction #first-order-logic #proof-theory #sequent-calculus
317
Views

Is there a book on mathematical logic with a similar style to mathematician Terence Tao's book "Analysis 1"?

Published on
#real-analysis #logic #reference-request #first-order-logic #book-recommendation
46
Views

Number of quantifier alternations in prenex form of a formula

Published on
#logic #first-order-logic #automata
127
Views

Two approaches used to define first-order semantics are equivalent for sentences

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

What *is* a geometric formula?

Published on
#logic #category-theory #first-order-logic #formal-languages #categorical-logic
74
Views

Need Help With First Order Intuitionistic Tableaux

Published on
#logic #first-order-logic #intuitionistic-logic
155
Views

Is there a way to formalize the notion of 'solving an equation' and that of an 'unknown quantity'?

Published on
#algebra-precalculus #logic #first-order-logic
49
Views

How to prove vacuous quantifier

Published on
#first-order-logic #quantifiers #derivations
60
Views

Forking in $Q_p$

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

Predicate logic and material equivalence.

Published on
#first-order-logic #quantifiers
78
Views

Does $\forall x \exists y (P(x) \land Q(y))$ imply $\forall x P(x)$?

Published on
#first-order-logic #quantifiers
315
Views

What does the power set mean in the construction of Von Neumann universe?

Published on
#logic #set-theory #first-order-logic #predicate-logic #foundations
41
Views

Uniform Substitution preserves validity on basic system $\mathbf{K}$

Published on
#logic #solution-verification #first-order-logic #modal-logic
62
Views

Can the rules of inference of propositional logic be applied to open formulae in first-order logic?

Published on
#logic #propositional-calculus #first-order-logic #predicate-logic #natural-deduction
66
Views

What is the error in this deduction of $ \exists x (P) \leftrightarrow P$?

Published on
#logic #first-order-logic #predicate-logic #quantifiers

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.