Liu, Yang (2017) Frege's Begriffsschrift is First-order Complete. [Preprint]

Preview

Text BegriFinal.pdf Download (45kB) | Preview

Abstract

A short proof of completeness of the first-order part of Begriffsschrift

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Liu, Yang liu@yliu.net
Keywords:	completeness, Frege, Begriffsschrift, first-order
Subjects:	Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics
Depositing User:	Dr Yang Liu
Date Deposited:	22 Jul 2017 14:03
Last Modified:	24 Jul 2017 15:23
Item ID:	13245
Subjects:	Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics
Date:	30 June 2017
URI:	https://philsci-archive.pitt.edu/id/eprint/13245

Available Versions of this Item

• On Completeness of the First-order System in the Begriffsschrift. (deposited 20 Feb 2016 03:58)

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item