Pregled bibliografske jedinice broj: 959874
Abstract logical constants
Abstract logical constants // Logica universalis, 12 (2018), 3-4; 341-350 doi:10.1007/s11787-018-0206-7 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 959874 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Abstract logical constants
Autori
Perkov, Tin
Izvornik
Logica universalis (1661-8297) 12
(2018), 3-4;
341-350
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
logical constants ; abstract logic ; logical consequence
Sažetak
A possibility of defining logical constants within abstract logical frameworks is discussed, in relation to abstract definition of logical consequence. We propose using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
HRZZ-UIP-05-2017-9219 - Formalno rasuđivanje i semantike (FORMALS) (Perkov, Tin, HRZZ - 2017-05) ( CroRIS)
Ustanove:
Učiteljski fakultet, Zagreb,
Sveučilište u Zagrebu
Profili:
Tin Perkov
(autor)
Citiraj ovu publikaciju:
Časopis indeksira:
- Web of Science Core Collection (WoSCC)
- Emerging Sources Citation Index (ESCI)
- Scopus
Uključenost u ostale bibliografske baze podataka::
- MathSciNet
- Zentrallblatt für Mathematik/Mathematical Abstracts
