-
2
-
-
0002818625
-
Lambek calculus and relational semantics: Completeness and incompleteness
-
H. Andreka and S. Mikulas, Lambek Calculus and relational semantics: completeness and incompleteness, Journal of Logic, Language and Information 3 (1994), pp. 1-38.
-
(1994)
Journal of Logic, Language and Information
, vol.3
, pp. 1-38
-
-
Andreka, H.1
Mikulas, S.2
-
4
-
-
7544222167
-
Sequent systems and groupoid models i
-
K. Dosen, Sequent systems and groupoid models I, Studia Logica, 4 (1988), pp. 353-385.
-
(1988)
Studia Logica
, vol.4
, pp. 353-385
-
-
Dosen, K.1
-
5
-
-
0003053507
-
Partial-gaggles applied to restricted structural rules
-
edited by P. Schroeder-Heister and K. Dosen, Oxford Press
-
J. M. Dunn, Partial-gaggles applied to restricted structural rules, in: Substructural Logics, edited by P. Schroeder-Heister and K. Dosen, Oxford Press, 1993.
-
(1993)
Substructural Logics
-
-
Dunn, J.M.1
-
6
-
-
0001984558
-
Logics without the contraction rule
-
H. Ono and Y. Komori, Logics without the contraction rule, Journal of Symbolic Logic 50 (1985), pp. 169-201.
-
(1985)
Journal of Symbolic Logic
, vol.50
, pp. 169-201
-
-
Ono, H.1
Komori, Y.2
-
7
-
-
84896510254
-
Interpretation of relevant logics in a logic of ternary relations
-
E. Orlowska, Interpretation of relevant logics in a logic of ternary relations, Bulletin of the Section of Logic 19 (1990), pp. 39-48.
-
(1990)
Bulletin of the Section of Logic
, vol.19
, pp. 39-48
-
-
Orlowska, E.1
-
8
-
-
77956948493
-
The semantics of entailment
-
edited by H. LeBlanc, North Holland
-
R. Routley and R. K. Meyer, The semantics of entailment, in: Truth, Syntax and Modality, edited by H. LeBlanc, North Holland, pp. 199-243, 1973.
-
(1973)
Truth, Syntax and Modality
, pp. 199-243
-
-
Routley, R.1
Meyer, R.K.2
-
9
-
-
51249181509
-
A topological representation theory for lattices
-
A. Urquhart, A topological representation theory for lattices, Algebra Universalis 8 (1978), pp. 45-58.
-
(1978)
Algebra Universalis
, vol.8
, pp. 45-58
-
-
Urquhart, A.1
-
10
-
-
0012138991
-
Informational interpretation of substructural propositional logics
-
H. Wansing, Informational interpretation of substructural propositional logics, Journal of Logic, Language and Information 2 (1993), pp. 285-309.
-
(1993)
Journal of Logic, Language and Information
, vol.2
, pp. 285-309
-
-
Wansing, H.1
|