Posts tagged logic

60%

+1 −0

Q&A Compactness of the Propositional Calculus

1 answer · posted 4mo ago by kouty ‭ · last activity 3mo ago by kouty ‭

Question logic

66%

+4 −1

Q&A Minimal non-standard number in non-standard models of PA

2 answers · posted 1y ago by Aditya‭ · last activity 9mo ago by Michael Hardy‭

Question logic model peano-arithmetic nonstandard-models

22%

+0 −5

Q&A What are the Peano axioms?

1 answer · posted 1y ago by Julius H.‭ · last activity 1y ago by rmf‭

Question logic

28%

+0 −3

Q&A What is a “first-order substructural logic that has a cut-free sequent calculus”?

1 answer · posted 1y ago by Julius H.‭ · last activity 1y ago by Dan Doel‭

Question logic

40%

+0 −1

Q&A What is a one-variable fragment of first-order logic?

0 answers · posted 1y ago by Julius H.‭

Question logic

66%

+4 −1

Q&A is arithmetic finitely consistent?

0 answers · posted 1y ago by Jason‭

Question proof logic peano-arithmetic incompletness consistency

37%

+1 −3

Q&A Are these introductory logic textbooks wrong to teach ‘unless’ = ‘or’? [duplicate]

0 answers · posted 1y ago by 8500 Ward‭ · closed as duplicate 1y ago by Peter Taylor‭

Question logic

60%

+1 −0

Q&A Considering the "type" $\Pi x:A.\Pi y:B(x).Type$

1 answer · posted 2y ago by user205‭ · last activity 2y ago by Dan Doel‭

Question type-theory logic

60%

+1 −0

Q&A Defining the two universes from Calculus of Constructions in LF

0 answers · posted 2y ago by user205‭ · edited 2y ago by user205‭

Question type-theory logic

66%

+2 −0

Q&A On Tarski-style universes in type theory

1 answer · posted 2y ago by user205‭ · last activity 2y ago by Derek Elkins‭

Question type-theory logic

66%

+2 −0

Q&A The purpose of logical frameworks in specifying type theories

1 answer · posted 2y ago by user205‭ · last activity 2y ago by Derek Elkins‭

Question type-theory logic

30%

+1 −5

Q&A In "if and only if" proofs, why's 1 direction easier to prove than the other?

2 answers · posted 4y ago by Chgg Clou‭ · last activity 3y ago by Prime Mover‭

Question logic

75%

+4 −0

Q&A Missing a solution: Are A and B always equal if A-B=0

3 answers · posted 3y ago by re89j‭ · last activity 3y ago by tommi‭

Question logic equation algebra problem

45%

+3 −4

Q&A Why does “unless” mean “if not”?

2 answers · posted 4y ago by PSTH‭ · edited 3y ago by Peter Taylor‭

Question logic

33%

+0 −2

Q&A Why so many books on introduction or bridges to proofs for undergraduates?

0 answers · posted 4y ago by Chgg Clou‭ · edited 3y ago by r~~‭

Question logic

50%

+2 −2

Q&A What kind of logic does “Logic in the Theory and Practice of Lawmaking” employ?

0 answers · posted 4y ago by Chgg Clou‭

Question logic

81%

+7 −0

Q&A Are 3 10% chances better than one 30% chance (when penalized by a variable for failures)?

3 answers · posted 4y ago by dustytrash‭ · last activity 4y ago by Grove‭

Question logic basic odds

Communities