Tarlecki, Andrzej Book review of: Răzvan Diaconescu, Institution-independent model theory. (English) Zbl 1290.00007 Stud. Log. 102, No. 1, 225-229 (2014). MSC: 00A17 03-02 03C95 03G30 PDFBibTeX XMLCite \textit{A. Tarlecki}, Stud. Log. 102, No. 1, 225--229 (2014; Zbl 1290.00007) Full Text: DOI
Rast, Erich Book review of: Jens Erik Fenstad, Grammar, geometry and brain. (English) Zbl 1290.00006 Stud. Log. 102, No. 1, 219-223 (2014). MSC: 00A17 03-02 03A05 92C20 PDFBibTeX XMLCite \textit{E. Rast}, Stud. Log. 102, No. 1, 219--223 (2014; Zbl 1290.00006) Full Text: DOI
Robles, Gemma; Méndez, José M. Curry’s paradox, generalized modus ponens axiom and depth relevance. (English) Zbl 1342.03021 Stud. Log. 102, No. 1, 185-217 (2014). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B47 03B53 PDFBibTeX XMLCite \textit{G. Robles} and \textit{J. M. Méndez}, Stud. Log. 102, No. 1, 185--217 (2014; Zbl 1342.03021) Full Text: DOI
Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika A simplified proof of the Church-Rosser theorem. (English) Zbl 1338.03017 Stud. Log. 102, No. 1, 175-183 (2014). MSC: 03B40 PDFBibTeX XMLCite \textit{Y. Komori} et al., Stud. Log. 102, No. 1, 175--183 (2014; Zbl 1338.03017) Full Text: DOI
Ferguson, Thomas Macaulay Extensions of Priest-da Costa logic. (English) Zbl 1329.03063 Stud. Log. 102, No. 1, 145-174 (2014). MSC: 03B53 03B20 03B55 PDFBibTeX XMLCite \textit{T. M. Ferguson}, Stud. Log. 102, No. 1, 145--174 (2014; Zbl 1329.03063) Full Text: DOI
Pokrywczyński, Daniel; Malcolm, Grant Towards a functional approach to modular ontologies using institutions. (English) Zbl 1328.68221 Stud. Log. 102, No. 1, 117-143 (2014). MSC: 68T30 03G30 PDFBibTeX XMLCite \textit{D. Pokrywczyński} and \textit{G. Malcolm}, Stud. Log. 102, No. 1, 117--143 (2014; Zbl 1328.68221) Full Text: DOI
Nowak, Marek On some generalizations of the concept of partition. (English) Zbl 1329.03081 Stud. Log. 102, No. 1, 93-116 (2014). MSC: 03E20 06B05 06B23 PDFBibTeX XMLCite \textit{M. Nowak}, Stud. Log. 102, No. 1, 93--116 (2014; Zbl 1329.03081) Full Text: DOI
Castiglioni, José Luis; Lewin, Renato A.; Sagastume, Marta On a definition of a variety of monadic \(\ell\)-groups. (English) Zbl 1337.06011 Stud. Log. 102, No. 1, 67-92 (2014). Reviewer: Daniele Mundici (Firenze) MSC: 06F15 06D35 03G25 PDFBibTeX XMLCite \textit{J. L. Castiglioni} et al., Stud. Log. 102, No. 1, 67--92 (2014; Zbl 1337.06011) Full Text: DOI
Tulenheimo, Tero IF modal logic and classical negation. (English) Zbl 1338.03042 Stud. Log. 102, No. 1, 41-66 (2014). MSC: 03B45 PDFBibTeX XMLCite \textit{T. Tulenheimo}, Stud. Log. 102, No. 1, 41--66 (2014; Zbl 1338.03042) Full Text: DOI
Fang, Jie; Wang, Lei-Bo; Yang, Ting The lattice of kernel ideals of a balanced pseudocomplemented Ockham algebra. (English) Zbl 1315.06009 Stud. Log. 102, No. 1, 29-39 (2014). MSC: 06D15 06D30 06B10 PDFBibTeX XMLCite \textit{J. Fang} et al., Stud. Log. 102, No. 1, 29--39 (2014; Zbl 1315.06009) Full Text: DOI
Goré, Rajeev; Ramanayake, Revantha Cut-elimination for weak Grzegorczyk logic Go. (English) Zbl 1329.03056 Stud. Log. 102, No. 1, 1-27 (2014). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{R. Goré} and \textit{R. Ramanayake}, Stud. Log. 102, No. 1, 1--27 (2014; Zbl 1329.03056) Full Text: DOI