1,720,980 research outputs found
Sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais
No full textA sequent calculus with Kripke semantics internalization for a propositional temporal logic with time gaps is introduced. All rules of the calculus are context-free andheight-preserving invertible. Structural rules are admissible. The calculus is cut free and is proved to be complete.
Straipsnyje yra pateiktas sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais. Šis skaičiavimas yra gautas Kripkės semantikos internalizacijos būdu. Šiame skaičiavime leistinos struktūrinės bei pjūvio taisyklės. Visos jo taisyklės yra nepriklausomos nuo konteksto ir apverčiamos. Šis skaičiavimas yra korektiškas ir pilnas.
 
Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai
No full textA labeled sequent calculus LSC for propositional linear discrete time logic PLTL is introduced. Its sub-calculus LSC−TL is proved to be complete for some class of PLTL sequents.Darbe yra pateiktas žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai. Įrodyta, kad šis skaičiavimas yra pilnas tam tikros nagrinėjamos logikos sekvencijų klasės atžvilgiu
Brodskio kodavimo metodas teiginių logikai
No full textBrodsky’s coding method for propositional logic is considered in the paper. Based on the sequent calculus, the method allows us to determine whether an arbitrary sequent is derivable in the calculus without constructing proof-search trees. The coding method, presented in the paper, can be used as a decision procedure for propositional logic.
Straipsnyje pateikiamas Brodskio kodavimo metodas teiginių logikai. Šis metodas pagrįstas kodavimo lentele, sudaryta sekvencinio skaičiavimo pagrindu. Remiantis šia lentele, generuojama nagrinėjamos sekvencijos kodų lentelė. Parodoma, kad bet kuri sekvencija yra įrodomą minėtame skaičiavime tada ir tik tada, jei jos kodų lentelė yra p-uždara
Propozicinės intuicionistinės logikos sekvencijų įrodymo paieška naudojant klasikinės logikos skaičiavimą
No full textIn the paper, we define some classes of sequents of the propositional intuitionistic logic. These are classes of primarily and α-primarily reducible sequents. Then we show how derivability of these sequents in a propositional intuitionistic logic sequent calculus LJ0 can be checked by means of a propositional classical logic sequent calculus LK0.Straipsnyje yra apibrėžtos primariškai ir alfa-primariškai redukuojamų propozicinės intuicionistinės logikos sekvencijų klasės. Parodoma kaip nustatyti šių sekvencijų įrodomumą intuicionistinės logikos skaičiavime naudojant efektyvesnį klasikinės logikos skaičiavimą.  
Intuicionistinės laiko logikos su laiko tarpais sekvencinio skaičiavimo taisyklių specializacija
No full textThere is not abstract.Straipsnyje nagrinėjama intuicionistinės laiko logikos su laiko tarpais sekvencinio skaičiavimo ciklinių taisyklių specializacijos problema. Ciklinė implikacijos antecedentė taisyklė keičiama keliomis kitomis taisyklėmis, dalinai išsprendžiant šios taisyklės cikliškumo problemą. Nurodomos sąlygos, kurioms esant galima atsisakyti visuotinumo kvantoriaus antecedente taisyklės pagrindinės formulės dubliacijos, įrodomų sekvencijų klasei išliekant nepakitusiai
Struktūrinių taisyklių bei pjūvio leistinumas laiko logikos su predikatais = ir > sekvenciniame skaičiavime
No full textThere is not abstract.Darbe pateikiamas laiko logikos su laiko tarpsniais bei predikatais ,,lygu`` ir ,,daugiau nei`` sekvencinis skaičiavimas ir nagrinėjama struktūrinių bei pjūvio taisyklių leistinumo šiame skaičiavime problema. Nurodomos priežastys, kodėl pjūvio taisyklė ne visada yra leistina tokio tipo skaičiavimuose
Ryšys tarp klasikinių ir intuicionistinių laiko logikos sekvencinių skaičiavimų
No full textThere is not abstract.Darbe nagrinėjamas ryšys tarp intuicionistinio ir klasikinio laiko logikos su laiko tarpsniais sekvencinių skaičiavimų LB ir LBJ. Šis ryšys yra nusakomas Glivenko klasėmis. Nurodomos sąlygos, kurias turi tenkinti kiekviena Glivenko ir visiškai Glivenko cr-klasė
Multisukcedentinis sekvencinis skaičiavimas intuicionistinei epsiteminei logikai.
No full textA 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 is derivable in the calculus, iff it is derivable in the standard non-multi-succedent sequent calculus of IEL
Ciklinės neigimo antecedente taisyklės specializacija intuicionistinės propozicinės logikos fragmento sekveciniam skaičiavimui
No full textThe paper deals with specialization of the antecedent negation loop-rule for the negative implication free fragment of the propositional intuitionistic logic.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
Sekvencinis skaičiavimas propozicinei tikėtinumo logikai
No full textThere is not abstract.Darbe yra pateikiamas klasikinis sekvencinis skaičiavimas propozicinei tikėtinumo logikai. Įrodoma, kad šiame skaičiavime yra leistinos struktūrinės bei pjūvio taisyklės. Taip pat įrodomi pateiktojo skaičiavimo korektiškumas bei pilnumas duotos semantikos atžvilgiu
- …
