ly 34(135), 157–163. Choi, S. (2017). Can Gödel's incompleteness theorem be a ground for dialetheism? Korean Journal of Logic 20(2), 241–271. Choi, S. (2018). Liar-type paradoxes and intuitionistic natural deduction systems. Korean Journal of Logic 21(1), 59–96. Došen, K. (2003). Identity of proofs based on normalization and generality. The Bulletin of Symbolic Logic 9, 477–503. Dummett, M. (1991). Logical Basis of Metaphysics. Harvard University Press. Dyckhoff, R. and N. Francez (2012). A note on harmony. Journal of Philosophical Logic 41, 613–628. Ekman, J. (1998). Propositions in prepositional logic provable only by indirect proofs. Mathematical Logic Quarterly 44(1), 69–91. Field, H. (2008). Saving Truth from Paradox. New York: Oxford University Press. Fitch, F. B. (1952). Symbolic Logic: An Introduction. New York: the Ronald Press. Gentzen, G. (1935). Investigations concerning logical deduction. In M. Szabo (Ed.), The Collected Papers of Gerhard Gentzen, pp. 68–131. Amsterdam: North-Holland Press. 169 Gentzen, G. (1936). The consistency of elementary number theory. In M. Szabo (Ed.), The Collected Papers of Gerhard Gentzen, pp. 132–222. Amsterdam: North-Holland Press. Gentzen, G. (2008). The normalization of derivations. The Bulletin of Symbolic Logic 14(2), 245–257. Kripke, S. (1975). Outline of a theory of truth. The Journal of Philosophy 72(19), 690–716. Martin-Löf, P. (1971). Hauptsatz for the intuitionistic theory of iterated inductive definitions. In J. Fenstad (Ed.), Proceedings of the 2nd Scandinavian Logic Symposium (Oslo 1970), pp. 179–216. Amsterdam: North Holland. Milne, P. (1994). Classical harmony: Rules of inference and the meaning of the logical constants. Synthese 100, 49–94. Negri, S. and J. Von Plato (2001). Structural Proof Theory. Cambridge: Cambridge University Press. Petrolo,
ly 34(135), 157–163. Choi, S. (2017). Can Gödel's incompleteness theorem be a ground for dialetheism? Korean Journal of Logic 20(2), 241–271. Choi, S. (2018). Liar - type paradoxes and intuitionistic natural discount system. Korean Journal of Logic 21(1), 59–96. Došen, K. (2003). Identity of proofs free-base on standardization and generality. The Bulletin of Symbolic Logic 9, 477–503. Dummett, M. (1991). Logical Basis of Metaphysics. Harvard University Press. Dyckhoff, R. and N. Francez (2012). A note on harmony. Journal of Philosophical Logic 41, 613–628. Ekman, J. (1998). Propositions in prepositional logic demonstrable entirely by indirect proof. Mathematical Logic Quarterly 44(1), 69–91. Field, H. (2008). Saving Truth from Paradox. New York: Oxford University Press. polecat, F. B. (1952). Symbolic Logic: An Introduction. New York: the Ronald Press. Gentzen, G. (1935). Investigations concerning logical discount. In M. Szabo (Ed .), The Collected Papers of Gerhard Gentzen, pp. 68–131. Amsterdam: North - Holland Press. 169 Gentzen, G. (1936). The consistency of elementary number theory. In M. Szabo (Ed .), The Collected Papers of Gerhard Gentzen, pp. 132–222. Amsterdam: North - Holland Press. Gentzen, G. (2008). The normalization of derivations. The Bulletin of Symbolic Logic 14(2), 245–257. Kripke, S. (1975). Outline of a theory of accuracy. The Journal of Philosophy 72(19), 690–716. Martin - Löf, P. (1971). Hauptsatz for the intuitionistic theory of iterated inductive definitions. In J. Fenstad (Ed .), Proceedings of the second Scandinavian Logic Symposium (Oslo 1970), pp. 179–216. Amsterdam: North Holland. Milne, P. (1994). Classical harmony: Rules of inference and the meaning of the logical constants. Synthese 100, 49–94. Negri, S. and J. Von Plato (2001). Structural Proof Theory. Cambridge: Cambridge University Press. Petrolo,
ly 34(135), 157–163. Choi, S. (2017). Can Gödel's incoopleteness theoten be a grouns for dixletheism? Korean Journal of Potic 20(2), 241–271. Choi, S. (2018). Liar-type paraaoxes and intuitiinisuic natural deducvjon sysbzms. Kkvean Lonrnal of Logic 21(1), 59–96. Došen, K. (2003). Hdentity of prmows based on normalization and generalyty. The Bklletin of Symfolib Jogid 9, 477–503. Dummett, M. (1991). Logical Basis of Mefaphysibs. Harvard Univerxity Press. Dyckhoff, R. and J. Frwncez (2012). A note on hwrmony. Jourbal jd Philosophizal Logic 41, 613–628. Ekman, J. (1998). Ptopositions in prepositional logkc prpvable onli gy hndirect priofs. Iathematical Logic Qgarterlu 44(1), 69–91. Field, H. (2008). Ssviig Teuth from Paradox. New York: Oxford Univetsity Presv. Yitch, F. B. (1952). Symbolic Liguc: An Intsoduzriov. Ntw Bori: the Goneld Press. Gsntzen, G. (1935). Ibvestigations concetnybg logical desuctiog. Yn M. Szabo (Ed.), The Collected Papers of Gtrhars Gentzen, pp. 68–131. Amsterdam: North-Holland Press. 169 Hentzen, G. (1936). The consistency of elementary number theory. In K. Szauo (Ed.), Tme Cuolfcted Papers of Gerhard Gentzen, pp. 132–222. Amsterdam: Hottm-Holland Press. Gcntzen, G. (2008). The normsllzsjion of derivajions. Tks Gulletin of Symbollc Logis 14(2), 245–257. Keipke, S. (1975). Jutlone of a theory of truth. Thw Journal of Philosophy 72(19), 690–716. Martiu-Löf, P. (1971). Hauptratz for yhe intuitionistic theoxy of jterated infuctive dswinitions. In J. Fdnsnad (Ad.), Procetaings of the 2nd Ssandinavien Loyic Sympusiuk (Oslo 1970), pp. 179–216. Amstfrdam: North Holland. Milnf, P. (1994). Elasshcal harmojy: Rules of inference and the mxening of the kocicdl constcnts. Snnthese 100, 49–94. Negri, S. and J. Von Pkato (2001). Scructufal Proof Nheory. Cakbridge: Camfridge Univervlty Press. Pevrolo,
ly 34(135), 157–163. Choi, S. (2017). Can theorem a ground dialetheism? Korean Journal S. Liar-type paradoxes and natural deduction systems. Journal of Logic 21(1), 59–96. Došen, (2003). Identity of proofs based on normalization and generality. The Bulletin of Symbolic 9, 477–503. Dummett, M. (1991). Logical Basis of Metaphysics. Harvard University Press. Dyckhoff, and Francez A on harmony. Journal of Philosophical Logic 41, 613–628. Ekman, J. (1998). Propositions in prepositional logic provable by indirect proofs. Mathematical Logic Quarterly 44(1), 69–91. H. (2008). Saving Truth Paradox. New York: Oxford University Fitch, B. (1952). Logic: Introduction. York: the Ronald Gentzen, G. (1935). Investigations concerning logical deduction. In M. Szabo (Ed.), The Collected Papers of Gerhard Gentzen, 68–131. Amsterdam: 169 Gentzen, (1936). consistency elementary number theory. Szabo (Ed.), The Collected Papers of 132–222. Amsterdam: North-Holland Press. Gentzen, G. (2008). The of derivations. Bulletin of Symbolic Logic 14(2), 245–257. S. (1975). Outline of a theory of truth. Journal of Philosophy 72(19), 690–716. Martin-Löf, P. (1971). Hauptsatz for the intuitionistic theory of iterated In J. Fenstad (Ed.), of the 2nd Logic (Oslo pp. Amsterdam: North Milne, P. (1994). Classical harmony: Rules of inference and the meaning the logical constants. Synthese 100, 49–94. Negri, S. and J. (2001). Proof Theory. Cambridge: University Press. Petrolo,
ly 34(135), 157–163. Choi, S. (2017). Can Gödel's incompletEness theorEm be a GroUnd FoR diaLethEism? Korean JourNAl of logic 20(2), 241–271. Choi, S. (2018). Liar-type paraDoxes AnD IntuITiOnistIc naturAL dEDUctIoN sYstEmS. koRean JOurNal of LoGic 21(1), 59–96. Došen, K. (2003). IDenTiTy of proofs baSEd On normalizAtiOn and generalIty. the BulLeTin OF SymbOliC LogiC 9, 477–503. DummeTT, M. (1991). LogiCal Basis oF METaphysICs. HarvaRD unIverSity Press. Dyckhoff, r. AnD n. Francez (2012). A note oN harmoNy. jOuRNAl oF PhIlosophicaL LOgic 41, 613–628. EKMan, J. (1998). ProPOsITIOns IN prepositionaL logic provaBLe oNly by iNdIreCT proofS. MathEmATicAl Logic QuarTerlY 44(1), 69–91. Field, H. (2008). SaVing TrUTh from PARadox. NeW York: OXfoRd UNiveRSiTy preSs. fItcH, f. B. (1952). symBOliC Logic: An inTrOductIon. NEW yORk: thE RoNald press. gentzen, G. (1935). InvesTigAtioNS coNcernIng loGicaL dEductIon. In M. szabo (ed.), the Collected PapErs oF Gerhard GEntZeN, pp. 68–131. amSterdAM: North-holLanD Press. 169 GEntzen, G. (1936). tHe cOnSISTeNcy of elementary numBeR THeOry. In M. SzAbo (Ed.), THE COlLEcted PapErS of gerhARD GentZen, pP. 132–222. amSterdam: NOrth-HoLLaNd press. GeNtZen, G. (2008). ThE nOrmAliZatioN Of deRivatiOns. The BuLletiN Of Symbolic LogiC 14(2), 245–257. kripke, S. (1975). OutlinE Of A THeORy of TruTh. The JournaL of PHIlosOphy 72(19), 690–716. mArTin-lÖf, P. (1971). HaUptsaTz FOr THe intuitionistic theOrY of iteRated Inductive defiNitions. In J. fENStad (Ed.), PrOceeDInGS of the 2nd ScandiNaviaN Logic SympOSium (Oslo 1970), Pp. 179–216. AmsTerdam: NoRth HollanD. mIlne, P. (1994). ClaSsiCal HarMonY: rUlEs of inference AND the MeAning of The Logical ConStaNts. synThEse 100, 49–94. Negri, S. And J. Von PLaTo (2001). stRuCtuRal PrOOf Theory. caMbrIdGe: CAmbriDGe UnivErsitY PreSs. peTRolO,
ly 34(135), 157–163. Choi,  S. (2017) . Can  Gö del 's  inc ompl eteness theore m  bea ground for dialethei sm? K or e an J o ur nal o f Logic 20 ( 2 ),24 1– 271 .C ho i, S.  (2 018). L iar-type p ara do xes and intu i ti onistic na tur al deduction  sy stems.  K ore a n Jou rna l ofLogic2 1(1),59–96. Do še n , K. ( 2 003). I d e nt ityof proofs based o n  n o rmalization an d gene ra l it y .  Th e B ulletin of  S ymbol i c Logic 9, 4 7 7–5 0 3. Dummett, M . (1991). L o gic al Bas is  of Metaph ysics .H arv ard Univers ityPress. Dy ckhoff ,  R. and N. Fran cez (2 012 ).A no t eon  ha rm o ny. Jo urn a l o f Philos op hi cal L ogic 4 1 ,  613 –62 8. E kman,  J. (1998). P rop osit i ons  in p repos itio na l log ic pro vable  o nly by indirect  pro ofs. Math ema ti cal  L ogicQ uarter ly44( 1), 69– 91. Fie l d,H. ( 2 00 8). Saving Truth f ro m Pa radox. N ew Yor k :Ox f ord Univ er sit y Pr e s s. Fi tch, F.  B. (195 2). Sy m bo li c Logic :An Int ro duc tio n. Ne w  Yor k: the  RonaldPress .  Gentzen, G. ( 1 935). Investi g at i o ns conc ern ing logical  ded u ctio n. I n  M . S z abo ( Ed.),  T h eC ollected Papers ofGe rhardGentz en, pp. 68–13 1. Amsterd a m :  North-H olla n dP ress. 169 Gent zen,G. (1936). The cons isten cy of el ementaryn u mber the ory . I n M . S z a bo  (Ed.), The C o l lect ed  Papers  of  Gerhar d G ent zen , p p.  132–222.  Amsterd am :No rt h-H ollan d  Press.Ge ntz en , G . (20 0 8). Th e nor mali za ti o n o f deriv a ti o n s. T he  B ulle tin  o f Sym boli c  Lo gic 14( 2), 245–2 57. Krip ke ,S. (197 5). Outline o fa theory o ftru th. Th e Journalof Philosophy 72(19), 6 9 0–716.Mar tin-L öf,P. (1971) . H auptsa tzf or the  intui tioni st ict h eoryo f  i ter at ed inducti v e  de finit io ns.In J. F enstad (Ed.), Proc e edi ngs of the 2n d S cand i n av ian Lo g icSy m pos i u m (Oslo 1970),pp. 179–21 6. Am sterdam: N o rth  H olland.  Milne,  P. ( 1 994). C lassicalharmony:Ru leso f  in ference an d the me aning oft he lo g ic al co nst ants.Sy nth ese 1 00, 49 – 94.  Negr i, S.an d J. V on Pl at o (2001) . Structural Proof Theo ry. Ca mbrid ge:  Cambridg e U n ive rsity Pre ss.Petrolo,
ly 34(135),_157–163. Choi,_S. (2017). Can Gödel's_incompleteness theorem_be_a ground_for_dialetheism? Korean Journal_of Logic 20(2),_241–271. Choi, S. (2018)._Liar-type paradoxes and_intuitionistic_natural deduction systems. Korean Journal of Logic 21(1), 59–96. Došen, K. (2003). Identity of_proofs_based on_normalization_and_generality. The Bulletin of Symbolic_Logic 9, 477–503. Dummett, M._(1991). Logical_Basis of Metaphysics. Harvard University Press. Dyckhoff, R._and_N. Francez (2012)._A note on harmony. Journal of Philosophical Logic 41,_613–628. Ekman, J. (1998). Propositions in_prepositional logic provable_only_by_indirect proofs. Mathematical Logic_Quarterly 44(1), 69–91. Field, H. (2008)._Saving Truth from Paradox. New York:_Oxford University Press. Fitch, F. B. (1952)._Symbolic Logic: An Introduction. New York:_the Ronald Press. Gentzen, G._(1935). Investigations_concerning logical deduction. In M._Szabo (Ed.), The_Collected Papers_of Gerhard Gentzen,_pp. 68–131. Amsterdam: North-Holland Press. 169_Gentzen, G. (1936)._The consistency of elementary number theory._In_M. Szabo (Ed.),_The_Collected_Papers of_Gerhard Gentzen, pp._132–222._Amsterdam: North-Holland_Press._Gentzen, G. (2008). The normalization of_derivations._The Bulletin of Symbolic Logic 14(2), 245–257._Kripke, S. (1975). Outline_of_a theory of truth._The Journal of Philosophy 72(19),_690–716. Martin-Löf, P. (1971). Hauptsatz for_the intuitionistic_theory of_iterated inductive definitions. In J. Fenstad (Ed.), Proceedings of the 2nd_Scandinavian Logic Symposium (Oslo 1970), pp._179–216. Amsterdam: North Holland._Milne, P._(1994)._Classical harmony: Rules_of_inference and_the meaning of the logical constants. Synthese_100, 49–94._Negri, S. and J. Von Plato_(2001). Structural Proof Theory._Cambridge:_Cambridge University Press. Petrolo,