MATH
Login Or Sign up

List Question

15
300
Views

Is there a technical reason to require relation symbols to have positive arity?

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

Is there any link between Turing machines and proof theory?

Published on
#logic #first-order-logic #predicate-logic #computability
189
Views

Definition of first order logic and property.

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

Question on finite structures

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

Adding $\tfrac{}{\Gamma \varphi}$ (for a fixed non-correct $\Gamma \varphi$) to the rules of the sequent calculus, can one now derive every sequent?

Published on
#logic #first-order-logic #sequent-calculus
63
Views

Proof in Natural Deduction, Sequent Calculus or Hilbert System

Published on
#logic #first-order-logic #natural-deduction #sequent-calculus #hilbert-calculus
65
Views

Forcing $\pi_1(\tilde f(a))=f(a)$ for an object of a sigma type

Published on
#logic #computer-science #first-order-logic #proof-theory #type-theory
93
Views

Is there a G4ip equivalent for first-order logic?

Published on
#logic #first-order-logic #sequent-calculus
191
Views

Reasoning in natural language vs. reasoning in formal language

Published on
#set-theory #first-order-logic #formal-languages #formal-proofs #lambda-calculus
164
Views

In First Order Logic, why are we allowed infinitely long sets of finite formulas, but not infinite formulas?

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

Every subset of $\Bbb N$ is defineable in the language of monoids

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

order property vs. antisymmetric property

Published on
#elementary-set-theory #first-order-logic #model-theory #order-theory
62
Views

Counterexample to most general unifier example

Published on
#logic #first-order-logic #substitution #unification
207
Views

Why use LF to define type theories?

Published on
#logic #first-order-logic #proof-theory #type-theory #lambda-calculus
40
Views

How can I prove that $\vdash \exists \overline{z}(\overline{z}=\{x,y\})$

Published on
#elementary-set-theory #logic #set-theory #first-order-logic #predicate-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.