PL EN


2018 | 64 | 7-58
Article title

Teoria kategorii i niektóre jej logiczne aspekty

Authors
Content
Title variants
EN
Category theory and some of its logical aspects
Languages of publication
PL
Abstracts
PL
This article is intended for philosophers and logicians as a short partial introduction to category theory (CT) and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, we focus on categorical topos semantics for propositional logic. We give some properties of logic in toposes, which, in general, is an intuitionistic logic. We next present two families of toposes whose tautologies are identical with those of classical propositional logic. The relatively extensive bibliography is given in order to support further studies.
Year
Issue
64
Pages
7-58
Physical description
Dates
published
2018-07-10
Contributors
author
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2451-0602-year-2018-issue-64-article-409
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.