MATH
Login Or Sign up

List Question

15
104
Views

Is bare first order logic without equality an empty language?

Published on
#first-order-logic
56
Views

Is it true that there is no algorithm to find the proof in the fitch proof system??

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

Maximizing a function with dependent variables

Published on
#multivariable-calculus #optimization #first-order-logic #hessian-matrix
80
Views

Is intuitionistic first-order logic with no function or relation symbols decidable?

Published on
#first-order-logic #intuitionistic-logic #decidability
149
Views

Show that the decision problem for implication is solvable if and only if the decision problem for validity is solvable

Published on
#logic #proof-writing #first-order-logic #decidability
125
Views

How to state sentences for KB ∧ ¬ α given existing KB?

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

Are there paradoxical/ counter-intuitive laws in predicate logic? ( beyond the Drinker Paradox)

Published on
#logic #first-order-logic #predicate-logic #paradoxes
54
Views

Completeness Theorem for a finite domain

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

First-order logic problem

Published on
#first-order-logic
35
Views

What is the relationship between a requirement for consistency of a theory and what it can prove?

Published on
#elementary-set-theory #first-order-logic
365
Views

What is the consistency strength of generalized failure of the continuum hypothesis.

Published on
#set-theory #first-order-logic
303
Views

First order logic without existential quantifier, does the position of the "forall" matter?

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

First Order Predicate Logic with only one operator?

Published on
#logic #notation #first-order-logic #predicate-logic
99
Views

Are the following size rules taken from the herediarily finite world consistent with ZFC?

Published on
#set-theory #first-order-logic
611
Views

Why constant symbols in a language?

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.