MATH
Login Or Sign up

List Question

15
76
Views

What are the restrictions on substitution of terms in Hilbert-style calculus vis-à-vis intuitionistic logic?

Published on
#logic #first-order-logic #intuitionistic-logic #hilbert-calculus
245
Views

Translating from English sentences to an axiomatic system in Typed First Order Logic

Published on
#first-order-logic
140
Views

Is this predicate logic formula a tautology

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

Length of a Deduction

Published on
#first-order-logic #computability #peano-axioms
101
Views

Is the theory of regular formal languages finitely axiomatizable?

Published on
#logic #first-order-logic #model-theory #formal-languages #regular-language
95
Views

How to show that the following formula isn't valid in first order logic?

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

Verify my solutuon: Prove that if $U$ is any non-principal ultrafilter on $\Bbb{N}$, then the ultrapower $\Bbb{N^N}/U$ has cardinality continuum

Published on
#logic #set-theory #first-order-logic #natural-numbers
63
Views

Showing that Fa ⊢ ∃x(x=a∧Fx)

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

Let $A=(A,\vee,\wedge)$ be a Boolean Algebra. So $\overline{x}=y$ is enough that...?

Published on
#first-order-logic #boolean-algebra
42
Views

First order logic: Finding an interpretation that makes H true in the integer domain

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

First order logic: is this tableau correct?

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

The variety generated by a free algebra

Published on
#abstract-algebra #logic #first-order-logic #universal-algebra #universal-property
284
Views

Theorem on Constants (and Substitution Theorem?)

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

Definability in the signature of first-order logic with identity

Published on
#logic #first-order-logic #predicate-logic #model-theory
66
Views

$¬\exists_x(P(x) \land Q(x))$ vs. $¬\exists_x(P(x)) \land Q(x)$

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