메뉴 건너뛰기




Volumn 1289, Issue , 1997, Pages 128-139

Two connections between linear logic and Łukasiewicz logics

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER CIRCUITS; DIFFERENTIATION (CALCULUS); LINEAR ALGEBRA; LOGIC PROGRAMMING; PHASE SPACE METHODS; SEMANTICS;

EID: 84886782244     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63385-5_38     Document Type: Conference Paper
Times cited : (7)

References (16)
  • 1
    • 0000502711 scopus 로고
    • Natural 3-valued Logics. Characterization and Proof Theory
    • A. Avron. Natural 3-valued Logics. Characterization and Proof Theory. J. of Symbolic Logic, vol. 56. pp. 276-294. 1991.
    • (1991) J. of Symbolic Logic , vol.56 , pp. 276-294
    • Avron, A.1
  • 2
    • 0002821713 scopus 로고    scopus 로고
    • The Method of Hypersequents in the Proof Theory of Propositional Nonclassical Logics
    • W. Hodges, M. Hyland, C. Steinhorn and J. Truss eds., European Logic Colloquium. Oxford Science Pubblications. Clarendon Press. Oxford
    • A. Avron. The Method of Hypersequents in the Proof Theory of Propositional Nonclassical Logics. In: Logic: from Foundations to Applications. W. Hodges, M. Hyland, C. Steinhorn and J. Truss eds., European Logic Colloquium. Oxford Science Pubblications. Clarendon Press. Oxford. 1996.
    • (1996) Logic: From Foundations to Applications
    • Avron, A.1
  • 3
    • 84968495744 scopus 로고
    • Algebraic analysis of many valued logics
    • C.C. Chang. Algebraic analysis of many valued logics. Trans. Amer. Math. Soc., vol. 88. pp. 467-490. 1958.
    • (1958) Trans. Amer. Math. Soc. , vol.88 , pp. 467-490
    • Chang, C.C.1
  • 4
    • 0002983786 scopus 로고
    • Proof of an axiom of Lukasiewicz
    • C.C. Chang. Proof of an axiom of Lukasiewicz. Trans. Am. Math. Soc., vol. 87. pp. 55-56. 1958.
    • (1958) Trans. Am. Math. Soc. , vol.87 , pp. 55-56
    • Chang, C.C.1
  • 5
    • 84968503880 scopus 로고
    • A new proof of the Completeness of the Lukasiewicz’s axioms
    • C.C. Chang. A new proof of the Completeness of the Lukasiewicz’s axioms. Trans. Amer. Math. Soc., vol. 93. pp. 74-80. 1959.
    • (1959) Trans. Amer. Math. Soc. , vol.93 , pp. 74-80
    • Chang, C.C.1
  • 8
    • 27944496797 scopus 로고
    • Untersuchungen über das logische Schliessen I
    • II
    • G. Gentzen. Untersuchungen über das logische Schliessen I, II. Mathematische Zeitschrift, vol. 39. pp. 176-210, pp. 405-431. 1934-35.
    • (1934) Mathematische Zeitschrift , vol.39
    • Gentzen, G.1
  • 9
    • 24244433655 scopus 로고
    • On the Algebraic Semantics of a Logic without Contraction
    • D.A. Bochvar, V.N. Grishin eds., Nauka, Moskva
    • V.N. Grishin. On the Algebraic Semantics of a Logic without Contraction. In: Studies in Set Theory and Nonclassical Logics, D.A. Bochvar, V.N. Grishin eds., Nauka, Moskva, pp. 247-264. 1976.
    • (1976) Studies in Set Theory and Nonclassical Logics , pp. 247-264
    • Grishin, V.N.1
  • 10
    • 0002753240 scopus 로고
    • Commutative, residuated l-monoids
    • U. Höhle and P. Element eds., Kluwer. Dordrecht
    • U. Höhle. Commutative, residuated l-monoids. In: Nonclassical logics and their applications to fuzzy subsets. U. Höhle and P. Element eds., Kluwer. Dordrecht, pp. 53-106. 1995.
    • (1995) Nonclassical logics and their applications to fuzzy subsets , pp. 53-106
    • Höhle, U.1
  • 11
    • 0001529063 scopus 로고
    • O Logice Trówartosciowej
    • 1920. English Translation: On three-valued logic. In: J. Lukasiewicz Selected Works. North-Holland, Amsterdam, pp. 87-88
    • J. Lukasiewicz. O Logice Trówartosciowej. Ruch Filozoficzny., vol. 5 pp. 170-171. 1920. English Translation: On three-valued logic. In: J. Lukasiewicz Selected Works. North-Holland, Amsterdam, pp. 87-88. 1970.
    • (1970) Ruch Filozoficzny. , vol.5 , pp. 170-171
    • Lukasiewicz, J.1
  • 12
    • 0002086082 scopus 로고
    • Untersuchungen über den Aussagenkalkül
    • English translation: Investigations into the sentential calculus. Chap. 4. In: Logic, Semantics Metamathematics. Oxford: Clarendon Press. 1956. Reprinted Hackett. Indianapolis. 1983
    • J. Lukasiewicz and A. Tarski. Untersuchungen über den Aussagenkalkül. Compt. Rendus de la Soc. des Sciences et des Lett, de Vars. cl. iii vol. 23. pp. 1-21. 1930. English translation: Investigations into the sentential calculus. Chap. 4. In: Logic, Semantics Metamathematics. Oxford: Clarendon Press. 1956. Reprinted Hackett. Indianapolis. 1983.
    • (1930) Compt. Rendus de la Soc. des Sciences et des Lett, de Vars. cl. iii , vol.23 , pp. 1-21
    • Lukasiewicz, J.1    Tarski, A.2
  • 13
    • 0002148939 scopus 로고
    • The dependency of an axiom of Lukasiewicz
    • C. A. Meredith. The dependency of an axiom of Lukasiewicz. Trans. Amer. Math. Soc., vol. 87. p. 57. 1958.
    • (1958) Trans. Amer. Math. Soc. , vol.87 , pp. 57
    • Meredith, C.A.1
  • 14
    • 0000015597 scopus 로고    scopus 로고
    • Bounded Contraction and Gentzen style Formulation of Lukasiewicz Logics
    • A. Prijately. Bounded Contraction and Gentzen style Formulation of Lukasiewicz Logics. Studia Logica, vol. 57. pp. 437-456. 1996.
    • (1996) Studia Logica , vol.57 , pp. 437-456
    • Prijately, A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.