- The finite model property for knotted extensions of propositional linear logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.details
|
|
George Grätzer. Universal algebra. Second edition, with new appendices and additional bibliography, of XXXVIII 643. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, xviii + 581 pp. - George Grätzer. Appendix 1. General survey. Therein, pp. 331–34. - George Grätzer. Appendix 2. The problems. Therein, pp. 342–347. [REVIEW]Heinrich Werner - 1982 - Journal of Symbolic Logic 47 (2):450-451.details
|
|
Protoalgebraic Logics.Janusz Czelakowski - 2003 - Studia Logica 74 (1):313-342.details
|
|
Interpolation and FEP for logics of residuated algebras.Wojciech Buszkowski - 2011 - Logic Journal of the IGPL 19 (3):437-454.details
|
|
Preservation theorems for MTL-chains.C. van Alten - 2011 - Logic Journal of the IGPL 19 (3):490-511.details
|
|
The finite model property for various fragments of intuitionistic linear logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.details
|
|
The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.details
|
|
Embeddability and the word problem.Deko V. Dekov - 1995 - Journal of Symbolic Logic 60 (4):1194-1198.details
|
|
Algebraic proof theory for substructural logics: cut-elimination and completions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2012 - Annals of Pure and Applied Logic 163 (3):266-290.details
|
|
Hüllensysteme und Erweiterung von Quasi‐Ordnungen.Bernhard Banaschewski - 1956 - Mathematical Logic Quarterly 2 (8‐9):117-130.details
|
|
Algebraic proof theory: Hypersequents and hypercompletions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2017 - Annals of Pure and Applied Logic 168 (3):693-737.details
|
|
Hüllensysteme und Erweiterung von Quasi‐Ordnungen.Bernhard Banaschewski - 1956 - Mathematical Logic Quarterly 2 (8-9):117-130.details
|
|