User cinch

4 votes

Accepted

Exponentiation in Lambda Calculus

answered Nov 14, 2021 at 4:30

3 votes

Accepted

Model Theory in Van Dalen

answered Nov 19, 2021 at 8:13

3 votes

Accepted

Trying to understand lambda calculus substitution rules w.r.t. to free and bound variables?

answered Nov 11, 2021 at 18:57

3 votes

Proving that □A → A is valid iff R is reflexive?

answered Oct 23, 2021 at 1:25

3 votes

Accepted

Is this a correct derivation of Peirce's law?

answered Sep 3, 2021 at 19:27

3 votes

Question About Null Quantification Equivalences

answered Dec 1, 2021 at 4:21

3 votes

Simple Fitch Proof without using DeMorgan's Law

answered Dec 15, 2021 at 0:36

3 votes

Accepted

Is this proof in Fitch possible?

answered Dec 15, 2021 at 6:59

2 votes

Accepted

Opposite Direction of Church-Rosser Theorem

answered Dec 19, 2021 at 3:05

2 votes

Accepted

Chained substitutions of an application in $\lambda$-calculus, e.g. $AB[C/x][D/y]$

answered Dec 24, 2021 at 0:12

2 votes

Accepted

Need help regarding a proof in First Order Logic

answered Nov 23, 2021 at 0:06

2 votes

Accepted

Prove $\vdash\forall x(\alpha\rightarrow\beta)\rightarrow(\alpha\rightarrow\forall x\beta)$ in Enderton's system

answered Nov 13, 2021 at 23:26

2 votes

Accepted

Lambda Calculus functions that are fixed-points of themselves

answered Dec 10, 2021 at 5:22

2 votes

Predicate Logic and Laws of Form

answered Sep 10, 2021 at 6:38

2 votes

Find Consistency Of System Specifications

answered Oct 16, 2021 at 2:03

2 votes

Nested quantifiers for $y < x^2$

answered Oct 16, 2021 at 19:46

2 votes

Is this a proper translation of $\exists x(\emptyset \in x)$ into $\mathcal{L}_{\in}$?

answered Aug 15, 2021 at 20:20

2 votes

Accepted

Y Combinator proper parenthesization and question about the order/precedence of

answered Nov 12, 2021 at 0:47

2 votes

Countable structure elementarily equivalent to $(\mathbb N; 0, S, < +, \cdot)$ via LS

answered Nov 11, 2021 at 2:20

2 votes

Accepted

Is there a way to prove the cut rule in LK sequent calculus without converting to implications?

answered Nov 19, 2021 at 20:03

2 votes

Accepted

Substitution of formula in propositional logic.

answered Nov 17, 2021 at 20:15

2 votes

Accepted

How would I go about solving this 3 Chests problem?

answered Nov 19, 2021 at 2:11

1 vote

Overlapping of admissible words

answered Nov 14, 2021 at 2:28

1 vote

Accepted

Seeking intuition for LK sequent calculus ${\rightarrow}L$ inference rule

answered Nov 20, 2021 at 2:28

1 vote

Accepted

Question on complete bounded distributive lattices

answered Oct 21, 2021 at 19:44

1 vote

Complex Natural Deduction proof

answered Oct 28, 2021 at 3:08

1 vote

Accepted

Why is this predicate logic statement false?

answered Oct 28, 2021 at 4:49

1 vote

Accepted

λ-calculus: When is it possible to split a term into two or more expressions, so that each can be used in separate β-reductions?

answered Oct 23, 2021 at 4:01

1 vote

Let $H$ be a set of non-positive Horn clauses. Show that $H$ it is satisfying.

answered Oct 24, 2021 at 17:59

1 vote

Accepted

Propositional Logic: Confused on using operators with equal precedence

answered Oct 24, 2021 at 17:43

Stack Exchange Network

97 Answers

Exponentiation in Lambda Calculus

Model Theory in Van Dalen

Trying to understand lambda calculus substitution rules w.r.t. to free and bound variables?

Proving that □A → A is valid iff R is reflexive?

Is this a correct derivation of Peirce's law?

Question About Null Quantification Equivalences

Simple Fitch Proof without using DeMorgan's Law

Is this proof in Fitch possible?

Opposite Direction of Church-Rosser Theorem

Chained substitutions of an application in $\lambda$-calculus, e.g. $AB[C/x][D/y]$

Need help regarding a proof in First Order Logic

Prove $\vdash\forall x(\alpha\rightarrow\beta)\rightarrow(\alpha\rightarrow\forall x\beta)$ in Enderton's system

Lambda Calculus functions that are fixed-points of themselves

Predicate Logic and Laws of Form

Find Consistency Of System Specifications

Nested quantifiers for $y < x^2$

Is this a proper translation of $\exists x(\emptyset \in x)$ into $\mathcal{L}_{\in}$?

Y Combinator proper parenthesization and question about the order/precedence of

Countable structure elementarily equivalent to $(\mathbb N; 0, S, < +, \cdot)$ via LS

Is there a way to prove the cut rule in LK sequent calculus without converting to implications?

Substitution of formula in propositional logic.

How would I go about solving this 3 Chests problem?

Overlapping of admissible words

Seeking intuition for LK sequent calculus ${\rightarrow}L$ inference rule

Question on complete bounded distributive lattices

Complex Natural Deduction proof

Why is this predicate logic statement false?

λ-calculus: When is it possible to split a term into two or more expressions, so that each can be used in separate β-reductions?

Let $H$ be a set of non-positive Horn clauses. Show that $H$ it is satisfying.

Propositional Logic: Confused on using operators with equal precedence