Applications of logic of correlated knowledge to quantum mechanics

Haroldas Giedra; Romas Alonderis

doi:10.15388/LMR.A.2018.01

Straipsniai

Haroldas Giedra

Vilnius University

Romas Alonderis

Vilnius University

Publikuota 2018-12-20

https://doi.org/10.15388/LMR.A.2018.01

PDF

Reikšminiai žodžiai

koreliatyvių žinių logika
kvantinė sistema
agentas

Kaip cituoti

Giedra, H. and Alonderis, R. (2018) “Koreliatyvių žinių logikos taikymas kvantinėje mechanikoje”, Lietuvos matematikos rinkinys, 59(A), pp. 1–6. doi:10.15388/LMR.A.2018.01.

Atsisiųsti citatą

Santrauka

Straipsnyje pateikiamas agentų, susietų su kvantinės sistemos dalelėmis, žinių modeliavimas. Taip pat buvo atlikta formulių ir jų įvykdomumo modelyje analizė.

PDF

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
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, Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai , Lietuvos matematikos rinkinys: T 53 (2012): A serija
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, Brodskio kodavimo metodas teiginių logikai , Lietuvos matematikos rinkinys: T 58 (2017): A serija
Haroldas Giedra, Sekvencinis skaičiavimas be pjūvio taisyklės logikai S5n(ED) , Lietuvos matematikos rinkinys: T 51 (2010)
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, Efektyvesnė laiko logikos sekvencijų įrodymo paieška , Lietuvos matematikos rinkinys: T 63 (2022): A serija
Haroldas Giedra, Jūratė Sakalauskaitė, Sekvencinis skaičiavimas koreliatyvių žinių logikai , Lietuvos matematikos rinkinys: T 52 (2011)

1 2 > >>