Question

Define a proof system for propositional logic that uses truth-tables

score 52 · Answer 1 · 2015-11-09 12:41:24

52

Views

Define a proof system for propositional logic that uses truth-tables

Published on 09 Nov 2015 - 12:41

score 184 · Answer 2 · 2015-11-16 21:17:21

184

Views

Artificial intelligence methods in mathematics

Published on 16 Nov 2015 - 21:17

score 1.8k · Answer 3 · 2015-12-29 11:24:26

1.8k

Views

Formalizing the meta-language of First order Logic and studying it as a formal system

Published on 29 Dec 2015 - 11:24

score 91 · Answer 4 · 2016-04-18 20:17:06

91

Views

What type of reasoning is employed when studying metalogic?

Published on 18 Apr 2016 - 20:17

score 97 · Answer 5 · 2016-05-13 06:15:12

97

Views

Minimal arithmetic proving a statement similar to a Gödel sentence

Published on 13 May 2016 - 6:15

score 278 · Answer 6 · 2026-03-07 22:50:37

278

Views

If a theory is 1-consistent then it is consistent

Published on 07 Mar 2026 - 22:50

score 59 · Answer 7 · 2016-06-21 05:01:20

59

Views

What is the study of systems called?

Published on 21 Jun 2016 - 5:01

score 264 · Answer 8 · 2017-04-16 15:08:25

264

Views

Mathematics of term (Aristotle) logic

Published on 16 Apr 2017 - 15:08

score 66 · Answer 9 · 2017-04-23 00:15:17

66

Views

Logics that can not be implemented in current logical frameworks like Coq?

Published on 23 Apr 2017 - 0:15

score 756 · Answer 10 · 2017-04-29 18:11:19

756

Views

Does weak completeness ("If $\vDash\phi$, then $\vdash\phi$") imply strong completeness ("If $\Gamma\vDash\phi$, then $\Gamma\vdash\phi$")?

Published on 29 Apr 2017 - 18:11

score 173 · Answer 11 · 2017-05-02 22:16:06

173

Views

Does there exist a first-order theory $T$ and a proof system $\vdash$ such that $T\vDash\phi$ iff $T\vdash\phi$, but $\vdash$ is not complete?

Published on 02 May 2017 - 22:16

score 129 · Answer 12 · 2017-05-12 20:09:50

129

Views

If a negation-complete first-order theory has a categorical-in-some-cardinal axiomatization, are all axiomatizations categorical in that cardinal?

Published on 12 May 2017 - 20:09

score 229 · Answer 13 · 2026-03-25 07:45:28

229

Views

What mathematics cannot be done in proof assitants (Isabelle/HOL, HOL) and how proof assistants should be improved?

Published on 25 Mar 2026 - 7:45

score 2.4k · Answer 14 · 2017-06-26 21:43:37

2.4k

Views

How are metalogic proofs valid?

Published on 26 Jun 2017 - 21:43

score 797 · Answer 15 · 2017-10-20 13:16:41

797

Views

Prove every Propositional logic statement with at most one instance of a variable is satisfiable

Published on 20 Oct 2017 - 13:16

List Question

Define a proof system for propositional logic that uses truth-tables

Artificial intelligence methods in mathematics

Formalizing the meta-language of First order Logic and studying it as a formal system

What type of reasoning is employed when studying metalogic?

Minimal arithmetic proving a statement similar to a Gödel sentence

If a theory is 1-consistent then it is consistent

What is the study of systems called?

Mathematics of term (Aristotle) logic

Logics that can not be implemented in current logical frameworks like Coq?

Does weak completeness ("If $\vDash\phi$, then $\vdash\phi$") imply strong completeness ("If $\Gamma\vDash\phi$, then $\Gamma\vdash\phi$")?

Does there exist a first-order theory $T$ and a proof system $\vdash$ such that $T\vDash\phi$ iff $T\vdash\phi$, but $\vdash$ is not complete?

If a negation-complete first-order theory has a categorical-in-some-cardinal axiomatization, are all axiomatizations categorical in that cardinal?

What mathematics cannot be done in proof assitants (Isabelle/HOL, HOL) and how proof assistants should be improved?

How are metalogic proofs valid?

Prove every Propositional logic statement with at most one instance of a variable is satisfiable

Trending Questions

Popular # Hahtags

Popular Questions