A cut-free sequent calculus for relevant logic RW

Ilić, Mirjana; Boričić, Branislav

Резултати

еНаука > Резултати > A cut-free sequent calculus for relevant logic RW

Назив:	A cut-free sequent calculus for relevant logic RW
Аутори:	Ilić, Mirjana ; Boričić, Branislav
Година:	2014
Публикација:	Logic Journal of IGPL
ISSN:	1367-0751 Logic Journal of the IGPL / Interest Group in Pure and Applied Logics Претражи идентификатор
Тип резултата:	Научни чланак
Колација:	vol. 22 br. 4 str. 673-695
DOI:	10.1093/jigpal/jzu009
WoS-ID:	000340066200009
Scopus-ID:	2-s2.0-84904748256
URI:	https://enauka.gov.rs/handle/123456789/304881
Извор метаподатака:	Migrirano iz RIS podataka
М-категорија:	21aM21a - Рад у међ. часопису изузетних вредности

4
SCOPUS^TM

4
OpenCitations

3
WEB OF SCIENCE^TM

Алт метрика

Dimensions

Пронађи DOI

Проналажење DOI у сервису CrossRef-у на основу мета-података у запису. Приказаће се DOI (и метаподаци) чији се подаци највише поклапају. ОПРЕЗ - то не мора бити та публикација.

Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.