PhilSci Archive

Frege's Begriffsschrift is First-order Complete

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

This is the latest version of this item.

[img]
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:
CreatorsEmailORCID
Liu, Yangliu@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-dev.library.pitt.edu/id/eprint/13245

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item