Napredna pretraga

Pregled bibliografske jedinice broj: 908066

On multiple conclusion deductions in classical logic


Maretić, Marcel
On multiple conclusion deductions in classical logic // Mathematical communications, 23 (2018), 1; 79-95 (međunarodna recenzija, članak, znanstveni)


Naslov
On multiple conclusion deductions in classical logic

Autori
Maretić, Marcel

Izvornik
Mathematical communications (1331-0623) 23 (2018), 1; 79-95

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
Multiple conclusion natural deductions ; Kneale's developments ; analytic deductions ; classical propositional logic

Sažetak
Ima sazetak

Izvorni jezik
Engleski

Znanstvena područja
Matematika



POVEZANOST RADA


Ustanove
Fakultet organizacije i informatike, Varaždin

Autor s matičnim brojem:
Marcel Maretić, (253492)

Časopis indeksira:


  • Web of Science Core Collection (WoSCC)
    • Science Citation Index Expanded (SCI-EXP)
  • Scopus


Uključenost u ostale bibliografske baze podataka:


  • INSPEC
  • MathSciNet
  • Zentrallblatt für Mathematik/Mathematical Abstracts