MATH
Login Or Sign up

List Question

15
225
Views

Does infinite tableau branch mean satisfiable formula?

Published on
#first-order-logic
278
Views

Basic question concerning free variables

Published on
#logic #predicate-logic #first-order-logic
800
Views

Quantifier-free first-order formula equal to propositional formula

Published on
#propositional-calculus #first-order-logic
182
Views

Basic question on Implication

Published on
#logic #predicate-logic #first-order-logic
611
Views

Converting open first order logic formulae to closed formulae

Published on
#logic #first-order-logic
213
Views

Quantifiers and negation range

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

A consistent first-order theory whose impredicative second-order variant is inconsistent

Published on
#predicate-logic #first-order-logic #higher-order-logic
920
Views

Can all math results be formalized and checked by a computer?

Published on
#logic #predicate-logic #first-order-logic #foundations #proof-theory
106
Views

Not understanding universal generalisation, and proof that uses it

Published on
#predicate-logic #first-order-logic
614
Views

Soundness of existential quantifier ($\exists \vdash$) in Gentzen's system

Published on
#logic #first-order-logic
559
Views

Prove that, for any $\Delta_0$ sentence $\sigma$, QE$\models \sigma \leftrightarrow \sigma$ is true in $\eta$

Published on
#first-order-logic
206
Views

Help in understanding a "obscure" point in W.Rautenberg's textbook : A Concise Introduction to Mathematical Logic

Published on
#logic #first-order-logic
362
Views

What is the point of (Compactness Theorem in the) Overspill Principle?

Published on
#logic #model-theory #infinity #first-order-logic
244
Views

Help needed with axiomatic deductions

Published on
#predicate-logic #axioms #first-order-logic
678
Views

Proving the Completeness Theorem

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