sircuent calculus

syrcunt calculus anedi suutraalu ledhaa sequentlu vanti saampradaaya vruksha-shaili vastuvulaku viruddhamgaa, "syrcunts" anie piluvabade graph-shaili nirmaanaalanu taarumaaru chese rujuvu calculus. syrcunts vividha roopaallo vastaayi, conny avanni oka pradhana lakshanaanni panchukuntaayi, ivi vaakyanirmaana taarumaaru yokka marinta saampradaaya vastuvula nundi bhinnamgaa untaayi. eee lakshanam vividha bhagala madhya upabhaagaala bhagaswamyanni spashtamgaa lekkinche saamarthyam. udaaharanaku, rendu upa vyakteekaranalu "f" mariyu "e", rendoo marokati yokka upa vyakteekarana kaanappatikee, ippatikee upa vyakteekarana "g" yokka saadhaarana sanghatananu kaligi unna vyakteekarananu vrayadam saadhyamavutundi ("g" yokka rendu ververu sanghatanalanu kaligi undataaniki viruddhamgaa, okati "f" loe mariyu okati "e" loe). 
sameeksha.
eee vidhananni zii pravesapettaaru. saampradaaya rujuvu-siddhaanta chatraalalo anni swayampratipatti prayatnaalanu pratighatinchina athani ganana tarkam yokka vividha chinnapati sakalaalanu "anachivese" saamarthyaanni kaligi unna pratyaamnaaya rujuvu siddhaantamgaa japaridge chesaaru. sircuent" anae padaaniki muulam circuit + sequent, idhi sircuents yokka saralamaina roopam, ayithe suutraala kante circuitlanu pooli untundi, dheenini yeka-vaipu sequents sekaranalugaa bhaavinchavachchu (udaaharanaku, icchina sthaayi yokka sequents gentgen-shaili proof tree) ikkada konni sequentlu bhaagaswaamya muulakaalanu kaligi undavacchu. 
 syrcunt calculus yokka praathamika samskarana "nairoopya vanarula ardhashaastram" thoo patuga undhi, rendodi saampradayakamgaa leanier laajiktoe anubandhinchabadina vanarula tatvasaastram yokka tagina laanchanapraayeekarana anie perkondi. aaa vaadana aadhaaramgaa mariyu ardhashaastram (affine) leanier logic kante sarigga balamaina laajiknu prerepinchindi anae vaastavam aadhaaramgaa, vanarulanu tarkamgaa leanier logic asampuurnamgaa undani japaridge vaadinchaaru. inca, deductive power matrame kakunda leanier logic yokka expressive power kooda balaheenamgaa undani, endukante, circuent calculus maadirigaa kakunda, vanarula bhagaswamyam yokka sarvavyaapta drugvishayaanni sangrahinchadamlo viphalamaindani ayana vaadinchaaru.
 sirkent calculus yokka vanarula tatvasaastram leanier logic mariyu classical logic yokka vidhaanaalanu rendu teevratalagaa chustundi modatidi yea vidhamaina bhagaswamyanni anumatinchadu, ayithe taruvaatidi "panchukogala pratidee panchukoobadutundi". circunt calculus maadirigaa kakunda, konni saaruupya upa suutraalu panchukobadina mariyu konni laeni mishrama kesulanu yea vidhaanamuu anumatinchadu.
taruvaata kanugonabadina syrcunt calculus yokka anuvartanaalalo puurtigaa pratipaadanaatmaka swatantra-snehapoorvaka tarkam kosam ardhashaastraanni nirvachinchadaaniki dheenini upayoginchadam. sambandhita tarkam W dwara swayampratipatti cheyabadindi. xu. 
vaakyanirmanaparamgaa, syrcunt calculilu anevi upa-suutra-bhaagaswaamya pratyeka lakshanamtho kuudina lothaina anumaana vyavasthalu. eee lakshanam konni rujuvulaku vegaanni andistundani choopabadindi. udaaharanaku, pratipaadana paavurapu randhram kosam bahupadi parimaana vislaeshanhaatmaka rujuvulu nirminchabaddaayi. itara lothaina anumaana vyavasthalalo eee suutraaniki quasipolinomial vislaeshanhaatmaka aadharalu matrame kanugonabaddayi. spashtata ledhaa vislaeshanhaatmaka gentgen-shaili vyavasthalalo, paavurapu randhram suutram ghaataanka parimaana rujuvulanu matrame kaligi untundi.

