Question

Show that the law of the excluded middle does not hold in a BCCC

score 95 · Answer 1 · 2016-06-23 12:20:05

95

Views

Show that the law of the excluded middle does not hold in a BCCC

Published on 23 Jun 2016 - 12:20

score 1.1k · Answer 2 · 2016-07-05 09:53:26

1.1k

Views

Differences between constructivism and formalism

Published on 05 Jul 2016 - 9:53

score 910 · Answer 3 · 2017-04-29 14:34:00

910

Views

Conjunction associativity

Published on 29 Apr 2017 - 14:34

score 163 · Answer 4 · 2017-05-15 02:15:51

Is there a different proof of "an irrational raised to the power of an irrational could be a rational" that works in intuitionistic logic?

score 212 · Answer 5 · 2026-02-23 17:02:39

212

Views

Grigori Mints' ADC method of proof search for a natural deduction in "sequent-style" calculus

Published on 23 Feb 2026 - 17:02

score 337 · Answer 6 · 2026-02-23 16:57:12

337

Views

A method for proving sequents in natural deduction sequent style using solely elimination rules and structural rules

Published on 23 Feb 2026 - 16:57

score 143 · Answer 7 · 2017-06-22 21:13:11

143

Views

First-order intuitionistic logic question

Published on 22 Jun 2017 - 21:13

score 1k · Answer 8 · 2026-02-23 04:33:47

1k

Views

Why is it called linear logic?

Published on 23 Feb 2026 - 4:33

score 1.1k · Answer 9 · 2017-06-28 17:11:29

1.1k

Views

Showing a Hilbert style axiomatic proof system and a Gentzen natural deduction in sequent style calculus are equivalent

Published on 28 Jun 2017 - 17:11

score 163 · Answer 10 · 2017-07-04 15:42:21

163

Views

Some modal principles (related to monads) and the deduction theorem (in Propositional Lax Logic)

Published on 04 Jul 2017 - 15:42

score 34 · Answer 11 · 2017-07-12 14:02:30

34

Views

Allowed definitions in some intuitionistic formal system

Published on 12 Jul 2017 - 14:02

score 97 · Answer 12 · 2017-08-10 12:01:20

97

Views

Curious tableaux rules for a curious logic

Published on 10 Aug 2017 - 12:01

score 85 · Answer 13 · 2026-02-23 04:36:26

85

Views

Transforming intuitionistic propositional validities into validities of linear logic

Published on 23 Feb 2026 - 4:36

score 321 · Answer 14 · 2017-08-17 19:42:34

321

Views

Transitivity of Intuitionistic Propositional Logic

Published on 17 Aug 2017 - 19:42

score 232 · Answer 15 · 2017-08-22 16:53:34

232

Views

A complicated, curious tableaux proof rule for Intuitionistic S4

Published on 22 Aug 2017 - 16:53

List Question

Show that the law of the excluded middle does not hold in a BCCC

Differences between constructivism and formalism

Conjunction associativity

Is there a different proof of "an irrational raised to the power of an irrational could be a rational" that works in intuitionistic logic?

Grigori Mints' ADC method of proof search for a natural deduction in "sequent-style" calculus

A method for proving sequents in natural deduction sequent style using solely elimination rules and structural rules

First-order intuitionistic logic question

Why is it called linear logic?

Showing a Hilbert style axiomatic proof system and a Gentzen natural deduction in sequent style calculus are equivalent

Some modal principles (related to monads) and the deduction theorem (in Propositional Lax Logic)

Allowed definitions in some intuitionistic formal system

Curious tableaux rules for a curious logic

Transforming intuitionistic propositional validities into validities of linear logic

Transitivity of Intuitionistic Propositional Logic

A complicated, curious tableaux proof rule for Intuitionistic S4

Trending Questions

Popular # Hahtags

Popular Questions