Počet záznamů: 1
Universal proof theory: Feasible admissibility in intuitionistic modal logics
SYS 0600572 LBL 01000a^^22220027750^450 005 20250218110104.4 014 $a 85207773176 $2 SCOPUS 014 $a 001349603400001 $2 WOS 017 $a 10.1016/j.apal.2024.103526 $2 DOI 100 $a 20241111d m y slo 03 ba 101 $a eng $d eng 102 $a NL 200 1-
$a Universal proof theory: Feasible admissibility in intuitionistic modal logics 215 $a 40 s. $c P 463 -1
$1 001 cav_un_epca*0256135 $1 011 $a 0168-0072 $e 1873-2461 $1 200 1 $a Annals of Pure and Applied Logic $v Roč. 176, č. 2 (2025) $1 210 $c Elsevier 610 $a admissible rules 610 $a feasible disjunction property 610 $a intuitionistic modal logics 700 -1
$3 cav_un_auth*0472459 $a Akbar Tabatabai $b Seyed Amirhossein $p MU-W $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $y IR $4 070 $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0453874 $a Jalali Keshavarz $b Raheleh $p UIVT-O $i Oddělení umělé inteligence $j Department of Artificial Intelligence $4 070 $T Ústav informatiky AV ČR, v. v. i. 856 $u https://doi.org/10.1016/j.apal.2024.103526 $9 RIV
Počet záznamů: 1