An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics (Englisch)
- Neue Suche nach: Seki, T.
- Neue Suche nach: Seki, T.
In:
STUDIA LOGICA
;
100
, 6
;
1149-1174
;
2012
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics
-
Beteiligte:Seki, T. ( Autor:in )
-
Erschienen in:STUDIA LOGICA ; 100, 6 ; 1149-1174
-
Verlag:
- Neue Suche nach: Springer Science + Business Media
-
Erscheinungsdatum:01.01.2012
-
Format / Umfang:26 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 160
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 160 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 100, Ausgabe 6
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1059
-
PrefaceGalatos, N. / Jipsen, P. / Ono, H. et al. | 2012
- 1063
-
Minimal Varieties of Representable Commutative Residuated LatticesHorÄ�Ãk, R. et al. | 2012
- 1079
-
On Birkhoff’s Common Abstraction ProblemPaoli, F. / Tsinakis, C. et al. | 2012
- 1107
-
Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction TermCignoli, R. / Torrens, A. et al. | 2012
- 1137
-
Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal OperatorTakamura, H. et al. | 2012
- 1149
-
An Algebraic Proof of the Admissibility of γ in Relevant Modal LogicsSeki, T. et al. | 2012
- 1175
-
Metacompleteness of Substructural LogicsSeki, T. et al. | 2012
- 1201
-
Equality AlgebrasJenei, S. n. et al. | 2012
- 1211
-
A Pretabular Classical Relevance LogicGalminas, L. / Mersch, J. G. et al. | 2012
- 1223
-
Bunched Logics DisplayedBrotherston, J. et al. | 2012
- 1255
-
On some Classes of Heyting Algebras with Successor that have the Amalgamation PropertyCastiglioni, J. L. / San MartÃn, H. n. et al. | 2012
- 1271
-
Lewis Dichotomies in Many-Valued LogicsBova, S. et al. | 2012
- 1291
-
Logical Connectives on Lattice Effect AlgebrasFoulis, D. J. / Pulmannová, S. et al. | 2012