Multi-succedent sequent calculus for intuitionistic epistemic logic

Romas Alonderis

doi:10.15388/LMD.2024.37367

Straipsniai

Romas Alonderis

Vilniaus universitetas

https://orcid.org/0000-0002-7792-5285

Publikuota 2024-12-10

https://doi.org/10.15388/LMD.2024.37367

PDF

Reikšminiai žodžiai

intuicionistinė episteminė logika
sekvencinis skaičiavimas

Kaip cituoti

Alonderis, R. (2024) “Multisukcedentinis sekvencinis skaičiavimas intuicionistinei epsiteminei logikai”, Lietuvos matematikos rinkinys, 65(A), pp. 9–17. doi:10.15388/LMD.2024.37367.

Atsisiųsti citatą

Santrauka

Straipsnyje yra pateiktas daugiasukcedentinis sekvencinis skaičiavimas intuicionistinei episteminei logikai. Įrodytas struktūrinių ir pjūvio taisyklių leistinumas šiame skaičivime. Taip pat įrodytas šio skaičiavimo bei tradicinio intuicionistinio skaičiavimo ekvivalentumas intuicionistinių sekvencijų atžvilgiu.

PDF

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Romas Alonderis, Haroldas Giedra, Įrodymo ciklų metodas laiko logikai , Lietuvos matematikos rinkinys: T 60 (2019): A serija
Haroldas Giedra, Romas Alonderis, Koreliatyvių žinių logikos taikymas kvantinėje mechanikoje , Lietuvos matematikos rinkinys: T 59 (2018): A serija
Romas Alonderis, Regimantas Pliuškevičius, Sekvencinės sistemos PTL logikai , Lietuvos matematikos rinkinys: T 54 (2013): A serija
Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė, Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai , Lietuvos matematikos rinkinys: T 56 (2015): A serija
Romas Alonderis, Regimantas Pliuškevičius, Sekvencinis skaičiavimas be pjūvio, invariantinės taisyklės ir ciklų tikrinimo tiesinio laiko teiginių logikai , Lietuvos matematikos rinkinys: T 52 (2011)
Romas Alonderis , Propozicinės intuicionistinės logikos sekvencijų įrodymo paieška naudojant klasikinės logikos skaičiavimą , Lietuvos matematikos rinkinys: T 48 (2008)
Romas Alonderis, Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai , Lietuvos matematikos rinkinys: T 53 (2012): A serija
Romas Alonderis, Efektyvesnė laiko logikos sekvencijų įrodymo paieška , Lietuvos matematikos rinkinys: T 63 (2022): A serija
Romas Alonderis, Brodskio kodavimo metodas teiginių logikai , Lietuvos matematikos rinkinys: T 58 (2017): A serija
Romas Alonderis , Ciklinės neigimo antecedente taisyklės specializacija intuicionistinės propozicinės logikos fragmento sekveciniam skaičiavimui , Lietuvos matematikos rinkinys: T 50 (2009)

1 2 > >>