Question

Formal systems in which $\forall x \in \mathbb{R}(x \neq 0 \rightarrow x^{-1} \neq 0)$ is true, but the contrapositive is disallowed.

score 174 · Answer 1 · 2026-03-25 23:42:34

174

Views

Formal systems in which $\forall x \in \mathbb{R}(x \neq 0 \rightarrow x^{-1} \neq 0)$ is true, but the contrapositive is disallowed.

Published on 25 Mar 2026 - 23:42

score 405 · Answer 2 · 2026-05-11 02:42:39

405

Views

The monadic second order theory with $<$ and Presburger arithmetic

Published on 11 May 2026 - 2:42

score 1k · Answer 3 · 2026-03-25 19:02:41

1k

Views

What does "consistency" mean if formal systems are inherently meaningless?

Published on 25 Mar 2026 - 19:02

score 55 · Answer 4 · 2026-03-25 19:02:36

55

Views

Which functions can be obtained by applying these syntactic rules?

Published on 25 Mar 2026 - 19:02

score 178 · Answer 5 · 2026-03-25 23:34:49

178

Views

Loops in Robinson arithmetic

Published on 25 Mar 2026 - 23:34

score 275 · Answer 6 · 2026-03-25 19:02:39

275

Views

A question about the analogy between formal systems and Turing machines

Published on 25 Mar 2026 - 19:02

score 1.1k · Answer 7 · 2026-03-25 19:00:45

1.1k

Views

How do we derive new inference rules?

Published on 25 Mar 2026 - 19:00

score 126 · Answer 8 · 2026-03-25 19:01:01

126

Views

In a string rewriting system, does rewriting consume the string?

Published on 25 Mar 2026 - 19:01

score 157 · Answer 9 · 2026-03-25 22:11:07

157

Views

From a foundational point of view, what's a good specification language for formal systems?

Published on 25 Mar 2026 - 22:11

score 107 · Answer 10 · 2026-03-25 19:00:39

107

Views

Is this $\beta$-reduction well defined?

Published on 25 Mar 2026 - 19:00

score 504 · Answer 11 · 2026-03-25 19:00:09

504

Views

$\beta$ - conversion and $\alpha$-reduction problem in $\lambda$-calculus

Published on 25 Mar 2026 - 19:00

score 586 · Answer 12 · 2026-03-25 19:02:45

586

Views

Textbook on Basics of Formal Systems

Published on 25 Mar 2026 - 19:02

score 72 · Answer 13 · 2026-03-25 20:39:50

72

Views

Certain sequents as inference rules

Published on 25 Mar 2026 - 20:39

score 82 · Answer 14 · 2026-03-25 20:35:57

82

Views

Prove the admissibility of $\Gamma, A \vdash_N B $, from $\Gamma \vdash_N B$

Published on 25 Mar 2026 - 20:35

score 139 · Answer 15 · 2026-03-25 20:35:28

139

Views

What are "non-trivial formal systems"?

Published on 25 Mar 2026 - 20:35

List Question

Formal systems in which $\forall x \in \mathbb{R}(x \neq 0 \rightarrow x^{-1} \neq 0)$ is true, but the contrapositive is disallowed.

The monadic second order theory with $<$ and Presburger arithmetic

What does "consistency" mean if formal systems are inherently meaningless?

Which functions can be obtained by applying these syntactic rules?

Loops in Robinson arithmetic

A question about the analogy between formal systems and Turing machines

How do we derive new inference rules?

In a string rewriting system, does rewriting consume the string?

From a foundational point of view, what's a good specification language for formal systems?

Is this $\beta$-reduction well defined?

$\beta$ - conversion and $\alpha$-reduction problem in $\lambda$-calculus

Textbook on Basics of Formal Systems

Certain sequents as inference rules

Prove the admissibility of $\Gamma, A \vdash_N B $, from $\Gamma \vdash_N B$

What are "non-trivial formal systems"?

Trending Questions

Popular # Hahtags

Popular Questions