Uckelman, Sara L. Book review of: J. Buridan, Treatise on consequences. (English) Zbl 1360.00067 Stud. Log. 104, No. 6, 1319-1323 (2016). MSC: 00A17 03-03 01A75 03A05 01A35 PDF BibTeX XML Cite \textit{S. L. Uckelman}, Stud. Log. 104, No. 6, 1319--1323 (2016; Zbl 1360.00067) Full Text: DOI
Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia Cofinal stable logics. (English) Zbl 1403.03045 Stud. Log. 104, No. 6, 1287-1317 (2016). MSC: 03B55 03B20 06D20 PDF BibTeX XML Cite \textit{G. Bezhanishvili} et al., Stud. Log. 104, No. 6, 1287--1317 (2016; Zbl 1403.03045) Full Text: DOI
Onishi, Takuro Understanding negation implicationally in the relevant logic R. (English) Zbl 1417.03167 Stud. Log. 104, No. 6, 1267-1285 (2016). MSC: 03B47 PDF BibTeX XML Cite \textit{T. Onishi}, Stud. Log. 104, No. 6, 1267--1285 (2016; Zbl 1417.03167) Full Text: DOI
Castaño, Diego; Cornejo, Juan Manuel Gentzen-style sequent calculus for semi-intuitionistic logic. (English) Zbl 1417.03126 Stud. Log. 104, No. 6, 1245-1265 (2016). MSC: 03B20 03F03 03F05 06D20 PDF BibTeX XML Cite \textit{D. Castaño} and \textit{J. M. Cornejo}, Stud. Log. 104, No. 6, 1245--1265 (2016; Zbl 1417.03126) Full Text: DOI
Joosten, Joost J. Turing-Taylor expansions for arithmetic theories. (English) Zbl 1417.03297 Stud. Log. 104, No. 6, 1225-1243 (2016). MSC: 03F45 03F30 PDF BibTeX XML Cite \textit{J. J. Joosten}, Stud. Log. 104, No. 6, 1225--1243 (2016; Zbl 1417.03297) Full Text: DOI arXiv
Nakazawa, Koji; Fujita, Ken-etsu Compositional Z: confluence proofs for permutative conversion. (English) Zbl 1368.03020 Stud. Log. 104, No. 6, 1205-1224 (2016). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} and \textit{K.-e. Fujita}, Stud. Log. 104, No. 6, 1205--1224 (2016; Zbl 1368.03020) Full Text: DOI
Goudsmit, Jeroen P. Finite frames fail: how infinity works its way into the semantics of admissibility. (English) Zbl 1417.03199 Stud. Log. 104, No. 6, 1191-1204 (2016). MSC: 03B55 06D20 06D22 PDF BibTeX XML Cite \textit{J. P. Goudsmit}, Stud. Log. 104, No. 6, 1191--1204 (2016; Zbl 1417.03199) Full Text: DOI
Přenosil, Adam Constructing natural extensions of propositional logics. (English) Zbl 1417.03306 Stud. Log. 104, No. 6, 1179-1190 (2016). MSC: 03G27 03B05 PDF BibTeX XML Cite \textit{A. Přenosil}, Stud. Log. 104, No. 6, 1179--1190 (2016; Zbl 1417.03306) Full Text: DOI
Giuntini, Roberto; Ledda, Antonio; Paoli, Francesco A new view of effects in a Hilbert space. (English) Zbl 1417.06008 Stud. Log. 104, No. 6, 1145-1177 (2016). MSC: 06C15 03G12 PDF BibTeX XML Cite \textit{R. Giuntini} et al., Stud. Log. 104, No. 6, 1145--1177 (2016; Zbl 1417.06008) Full Text: DOI
Marti, J.; Pinosio, R. A game semantics for system P. (English) Zbl 1364.03025 Stud. Log. 104, No. 6, 1119-1144 (2016). Reviewer: Can Baskent (Bath) MSC: 03B42 03B60 91A80 PDF BibTeX XML Cite \textit{J. Marti} and \textit{R. Pinosio}, Stud. Log. 104, No. 6, 1119--1144 (2016; Zbl 1364.03025) Full Text: DOI
Eva, Benjamin Modality and contextuality in topos quantum theory. (English) Zbl 06690913 Stud. Log. 104, No. 6, 1099-1118 (2016). MSC: 03G12 03B45 03B53 PDF BibTeX XML Cite \textit{B. Eva}, Stud. Log. 104, No. 6, 1099--1118 (2016; Zbl 06690913) Full Text: DOI
Bazhenov, Nikolay Categoricity spectra for polymodal algebras. (English) Zbl 1417.03233 Stud. Log. 104, No. 6, 1083-1097 (2016). MSC: 03C57 03C35 03D45 03D28 06E25 PDF BibTeX XML Cite \textit{N. Bazhenov}, Stud. Log. 104, No. 6, 1083--1097 (2016; Zbl 1417.03233) Full Text: DOI