MATH
Login Or Sign up

List Question

15
132
Views

Variation on Lob's Theorem

Published on
#logic #first-order-logic #incompleteness #provability
335
Views

MGU - most general unifier for skolem functions?

Published on
#logic #first-order-logic #predicate-logic #artificial-intelligence
343
Views

Deciding if Valid FOL Sentence

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

Does the deduction theorem hold in Q?

Published on
#logic #first-order-logic #proof-theory #hilbert-calculus
681
Views

Ordering and comma use in predicate logic

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

First Order Logic to CNF for Knowledge Base

Published on
#logic #first-order-logic #artificial-intelligence #conjunctive-normal-form
378
Views

First order logic: Difference between sentences

Published on
#logic #first-order-logic #predicate-logic #quantifiers #logic-translation
199
Views

Proof of satisfaction given the same free variable interpretation

Published on
#logic #proof-explanation #first-order-logic #predicate-logic #model-theory
241
Views

How to tackle prime models and saturated models

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

Th(A) is omega-categorical iff Th(A; a) is omega-categorical.

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

Show $\neg(\forall x\phi)\vdash \exists x(\neg \phi)$ using an ND-derivation

Published on
#logic #first-order-logic #predicate-logic #natural-deduction #formal-proofs
31
Views

Find a first order sentence that characterizes infinite totally ordered sets

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

Consistent theories that proves their own consistence

Published on
#logic #first-order-logic #incompleteness #peano-axioms
170
Views

If something is provable in ZFC, can ZFC prove that ZFC proves it?

Published on
#logic #first-order-logic #axioms
514
Views

Conversion from Propositional Logic to Predicate Logic

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

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.