Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/4893
Tytuł: | Grzegorczyk’s Logics. Part I |
Autorzy: | Huuskonen, Taneli |
Słowa kluczowe: | non-Fregean logic logic of descriptions non-classical propositional logic equimeaning connective |
Data wydania: | 2015 |
Data dodania: | 16-gru-2016 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 23, Issue 3, 177–187 |
Abstrakt: | AbstractThis article is the second in a series formalizing some results in my joint work with Prof. Joanna Golinska-Pilarek ([9] and [10]) concerning a logic proposed by Prof. Andrzej Grzegorczyk ([11]). This part presents the syntax and axioms of Grzegorczyk’s Logic of Descriptions (LD) as originally proposed by him, as well as some theorems not depending on any semantic constructions. There are both some clear similarities and fundamental differences between LD and the non-Fregean logics introduced by Roman Suszko in [15]. In particular, we were inspired by Suszko’s semantics for his non-Fregean logic SCI, presented in [16]. |
Afiliacja: | Department of Mathematics and Statistics, University of Helsinki, Finland |
URI: | http://hdl.handle.net/11320/4893 |
DOI: | 10.1515/forma-2015-0015 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2015, Volume 23, Issue 3 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma-2015-0015.pdf | 253,73 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL