-
1
-
-
0000502711
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
|