Specialization of antecedent negation loop-rule for a fragment of propositional intuitionistic logic sequent calculus

Romas  Alonderis

doi:10.15388/LMR.2009.42

Straipsniai

Romas Alonderis

Institute of Mathematics and Informatics

Publikuota 2009-12-20

https://doi.org/10.15388/LMR.2009.42

PDF (anglų)

Reikšminiai žodžiai

sekvencinis skaičiavimas
ciklinių taisyklių specializacija

##submission.howToCite##

Alonderis , R. (2009) „Ciklinės neigimo antecedente taisyklės specializacija intuicionistinės propozicinės logikos fragmento sekveciniam skaičiavimui“, Lietuvos matematikos rinkinys, 50(proc. LMS), p. 235–240. doi:10.15388/LMR.2009.42.

##submission.howToCite.downloadCitation##

Santrauka

Straipsnyje yra pateiktas būdas kaip galima išsprėsti ciklinės neigimo antecedente taisyklės specializacijos problema intuicionistinės propozicinės logikos fragmento be neigiamos implikacijos sekvenciniam skaiciavimui.

PDF (anglų)

Atsisiuntimai

Nėra atsisiuntimų.

##plugins.generic.recommendByAuthor.heading##

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, Efektyvesnė laiko logikos sekvencijų įrodymo paieška , Lietuvos matematikos rinkinys: T 63 (2022): A serija
Romas Alonderis, Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai , Lietuvos matematikos rinkinys: T 53 (2012): A serija
Romas Alonderis, Brodskio kodavimo metodas teiginių logikai , Lietuvos matematikos rinkinys: T 58 (2017): A serija
Romas Alonderis, Sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais , Lietuvos matematikos rinkinys: T 52 (2011)

1 2 > >>