Multi-succedent sequent calculus for intuitionistic epistemic logic
A multi-succedent sequent calculus for intuitionistic epistemic logic (IEL) is introduced in the paper. It is proved that the structural rules of weakening and contraction and the rule of cut are admissible in the calculus. It is also proved that any sequent with at most one formula in succedent...
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | Artigo |
| ভাষা: | Inglês |
| প্রকাশিত: |
Vilnius University Press
2024-12-01
|
| মালা: | Lietuvos Matematikos Rinkinys |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | https://www.zurnalai.vu.lt/LMR/article/view/37367 |
| ট্যাগগুলো: |
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|