Urquhart, Alasdair Distributive lattices with a dual homomorphic operation. II. (English) Zbl 0511.06007 Stud. Log. 40, 391-404 (1981). MSC: 06D30 08B15 PDFBibTeX XMLCite \textit{A. Urquhart}, Stud. Log. 40, 391--404 (1981; Zbl 0511.06007) Full Text: DOI
Bencivenga, Ermanno; Woodruff, Peter W. A new modal language with the lambda operator. (English) Zbl 0498.03010 Stud. Log. 40, 383-389 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{E. Bencivenga} and \textit{P. W. Woodruff}, Stud. Log. 40, 383--389 (1981; Zbl 0498.03010) Full Text: DOI
Dahn, Bernd I. Partial isomorphisms and intuitionistic logic. (English) Zbl 0496.03011 Stud. Log. 40, 405-413 (1981). MSC: 03B55 03B45 03C35 PDFBibTeX XMLCite \textit{B. I. Dahn}, Stud. Log. 40, 405--413 (1981; Zbl 0496.03011) Full Text: DOI
Rautenberg, Wolfgang 2-element matrices. (English) Zbl 0493.03006 Stud. Log. 40, 315-353 (1981). MSC: 03B99 03G99 03C05 PDFBibTeX XMLCite \textit{W. Rautenberg}, Stud. Log. 40, 315--353 (1981; Zbl 0493.03006) Full Text: DOI
Czelakowski, Janusz Equivalential logics. II. (English) Zbl 0492.03008 Stud. Log. 40, 355-372 (1981). MSC: 03B60 03B20 PDFBibTeX XMLCite \textit{J. Czelakowski}, Stud. Log. 40, 355--372 (1981; Zbl 0492.03008) Full Text: DOI
Turquette, Atwell R. Quantification for Peirce’s preferred system of triadic logic. (English) Zbl 0492.03007 Stud. Log. 40, 373-382 (1981). MSC: 03B50 03A05 PDFBibTeX XMLCite \textit{A. R. Turquette}, Stud. Log. 40, 373--382 (1981; Zbl 0492.03007) Full Text: DOI
Dziobiak, Wieslaw Strong completeness with respect to finite Kripke models. (English) Zbl 0491.03027 Stud. Log. 40, 249-252 (1981). MSC: 03G25 03B45 03B55 08B99 PDFBibTeX XMLCite \textit{W. Dziobiak}, Stud. Log. 40, 249--252 (1981; Zbl 0491.03027) Full Text: DOI
Hahanyan, V. H. The consistency of some intuitionistic and constructive principles with a set theory. (English) Zbl 0491.03019 Stud. Log. 40, 237-248 (1981). MSC: 03E35 03F50 PDFBibTeX XMLCite \textit{V. H. Hahanyan}, Stud. Log. 40, 237--248 (1981; Zbl 0491.03019) Full Text: DOI
Ruzsa, Imre An approach to intensional logic. (English) Zbl 0491.03006 Stud. Log. 40, 269-287 (1981). MSC: 03B45 03B65 PDFBibTeX XMLCite \textit{I. Ruzsa}, Stud. Log. 40, 269--287 (1981; Zbl 0491.03006) Full Text: DOI
Szatkowski, Miroslaw On fragments of Medvedev’s logic. (English) Zbl 0488.03016 Stud. Log. 40, 39-54 (1981). MSC: 03B55 PDFBibTeX XMLCite \textit{M. Szatkowski}, Stud. Log. 40, 39--54 (1981; Zbl 0488.03016) Full Text: DOI
Kron, Aleksandar Correction to ”Gentzen formulations of two positive relevance logics”. (English) Zbl 0486.03013 Stud. Log. 40, 311 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{A. Kron}, Stud. Log. 40, 311 (1981; Zbl 0486.03013) Full Text: DOI
Hawranek, Jacek; Zygmunt, Jan On the degree of complexity of sentential logics. A couple of examples. (English) Zbl 0484.03011 Stud. Log. 40, 141-153 (1981). MSC: 03B60 PDFBibTeX XMLCite \textit{J. Hawranek} and \textit{J. Zygmunt}, Stud. Log. 40, 141--153 (1981; Zbl 0484.03011) Full Text: DOI
Kabzinski, J. K.; Porebska, M.; Wronski, A. On the \(\{\to,\tilde{}\}\)-reduct of the intuitionistic consequence operation. (English) Zbl 0484.03010 Stud. Log. 40, 55-66 (1981). MSC: 03B60 PDFBibTeX XMLCite \textit{J. K. Kabzinski} et al., Stud. Log. 40, 55--66 (1981; Zbl 0484.03010) Full Text: DOI
Katz, Michael Lukasiewicz logic and the foundations of measurement. (English) Zbl 0484.03008 Stud. Log. 40, 209-225 (1981). MSC: 03B50 91D99 91E99 91B16 81P10 PDFBibTeX XMLCite \textit{M. Katz}, Stud. Log. 40, 209--225 (1981; Zbl 0484.03008) Full Text: DOI
Mundici, Daniele A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes. (English) Zbl 0482.03013 Stud. Log. 40, 253-267 (1981). MSC: 03C52 03C30 03B10 PDFBibTeX XMLCite \textit{D. Mundici}, Stud. Log. 40, 253--267 (1981; Zbl 0482.03013) Full Text: DOI
Grzegorczyk, Andrzej Individualistic formal approach to deontic logic. (English) Zbl 0482.03004 Stud. Log. 40, 99-102 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{A. Grzegorczyk}, Stud. Log. 40, 99--102 (1981; Zbl 0482.03004) Full Text: DOI
Rasiowa, Helena On logic of complex algorithms. (English) Zbl 0479.68037 Stud. Log. 40, 289-310 (1981). MSC: 68W99 68N01 03B60 03B50 68Q65 PDFBibTeX XMLCite \textit{H. Rasiowa}, Stud. Log. 40, 289--310 (1981; Zbl 0479.68037) Full Text: DOI
Dziobiak, Wieslaw The lattice of strengthenings of a strongly finite consequence operation. (English) Zbl 0479.03017 Stud. Log. 40, 177-193 (1981). MSC: 03B99 PDFBibTeX XMLCite \textit{W. Dziobiak}, Stud. Log. 40, 177--193 (1981; Zbl 0479.03017) Full Text: DOI
Hardegree, Gary M. An axiom system for orthomodular quantum logic. (English) Zbl 0476.03059 Stud. Log. 40, 1-12 (1981). MSC: 03G12 03C35 81P10 03B60 PDFBibTeX XMLCite \textit{G. M. Hardegree}, Stud. Log. 40, 1--12 (1981; Zbl 0476.03059) Full Text: DOI
Czelakowski, Janusz Equivalential logics. I. (English) Zbl 0476.03032 Stud. Log. 40, 227-236 (1981). MSC: 03B60 03B20 PDFBibTeX XMLCite \textit{J. Czelakowski}, Stud. Log. 40, 227--236 (1981; Zbl 0476.03032) Full Text: DOI
Gumanski, Leon Tadeusz Czezowski’s logical writings. (English) Zbl 0476.01009 Stud. Log. 40, 203-207 (1981). MSC: 01A70 03-03 PDFBibTeX XMLCite \textit{L. Gumanski}, Stud. Log. 40, 203--207 (1981; Zbl 0476.01009) Full Text: DOI
Dziobiak, Wieslaw The degrees of maximality of the intuitionistic propositional logic and of some of its fragments. (English) Zbl 0474.03009 Stud. Log. 40, 195-198 (1981). MSC: 03B55 PDFBibTeX XMLCite \textit{W. Dziobiak}, Stud. Log. 40, 195--198 (1981; Zbl 0474.03009) Full Text: DOI
Troelstra, A. S. On a second order propositional operator in intuitionistic logic. (English) Zbl 0473.03022 Stud. Log. 40, 113-139 (1981). MSC: 03B60 03F55 PDFBibTeX XMLCite \textit{A. S. Troelstra}, Stud. Log. 40, 113--139 (1981; Zbl 0473.03022) Full Text: DOI
Over, D. E. Game theoretical semantics and entailment. (English) Zbl 0472.03017 Stud. Log. 40, 67-74 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{D. E. Over}, Stud. Log. 40, 67--74 (1981; Zbl 0472.03017) Full Text: DOI
Nishimura, Hirokazu Model theory for tense logic: Saturated and special models with applications to the tense hierarchy. (English) Zbl 0469.03019 Stud. Log. 40, 89-98 (1981). MSC: 03C50 03C40 03B45 PDFBibTeX XMLCite \textit{H. Nishimura}, Stud. Log. 40, 89--98 (1981; Zbl 0469.03019) Full Text: DOI
Visser, Albert A propositional logic with explicit fixed points. (English) Zbl 0469.03012 Stud. Log. 40, 155-175 (1981). MSC: 03B45 03A05 03C35 PDFBibTeX XMLCite \textit{A. Visser}, Stud. Log. 40, 155--175 (1981; Zbl 0469.03012) Full Text: DOI
White, Michael J. On some ascending chains of Brouwerian modal logics. (English) Zbl 0469.03010 Stud. Log. 40, 75-87 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{M. J. White}, Stud. Log. 40, 75--87 (1981; Zbl 0469.03010) Full Text: DOI
Vakarelov, Dimiter Intuitionistic modal logics incompatible with the law of the excluded middle. (English) Zbl 0469.03009 Stud. Log. 40, 103-111 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{D. Vakarelov}, Stud. Log. 40, 103--111 (1981; Zbl 0469.03009) Full Text: DOI
Ouellet, Roch Inclusive first-order logic. (English) Zbl 0468.03043 Stud. Log. 40, 13-28 (1981). MSC: 03G30 03B60 18B25 PDFBibTeX XMLCite \textit{R. Ouellet}, Stud. Log. 40, 13--28 (1981; Zbl 0468.03043) Full Text: DOI
Bernardi, Claudio On the relation provable equivalence and on partitions in effectively inseparable sets. (English) Zbl 0468.03020 Stud. Log. 40, 29-37 (1981). MSC: 03D35 03B25 PDFBibTeX XMLCite \textit{C. Bernardi}, Stud. Log. 40, 29--37 (1981; Zbl 0468.03020) Full Text: DOI