Font, Josep M. Modality and possibility in some intuitionistic modal logics. (English) Zbl 0638.03017 Notre Dame J. Formal Logic 27, 533-546 (1986). Reviewer: S.Miura MSC: 03B45 PDF BibTeX XML Cite \textit{J. M. Font}, Notre Dame J. Formal Logic 27, 533--546 (1986; Zbl 0638.03017) Full Text: DOI
McCarty, Charles Subcountability under realizability. (English) Zbl 0637.03060 Notre Dame J. Formal Logic 27, 210-220 (1986). Reviewer: M.Beeson MSC: 03F50 03E70 03F55 03E35 PDF BibTeX XML Cite \textit{C. McCarty}, Notre Dame J. Formal Logic 27, 210--220 (1986; Zbl 0637.03060) Full Text: DOI
Shelah, Saharon On power of singular cardinals. (English) Zbl 0637.03052 Notre Dame J. Formal Logic 27, 263-299 (1986). Reviewer: F.R.Drake MSC: 03E55 03E50 03-02 PDF BibTeX XML Cite \textit{S. Shelah}, Notre Dame J. Formal Logic 27, 263--299 (1986; Zbl 0637.03052) Full Text: DOI
Dywan, Zdzisław A new variant of the Gödel-Malcev theorem for the classical propositional calculus and correction to my paper: “The connective of necessity of modal logic \(S_ 5\) is metalogical”. (English) Zbl 0636.03006 Notre Dame J. Formal Logic 27, 551-555 (1986). MSC: 03B45 03B05 PDF BibTeX XML Cite \textit{Z. Dywan}, Notre Dame J. Formal Logic 27, 551--555 (1986; Zbl 0636.03006) Full Text: DOI
Broesterhuizen, Guus; Wierzejewski, J. Identities and indiscernibility. (English) Zbl 0633.03025 Notre Dame J. Formal Logic 27, 592-605 (1986). MSC: 03C50 PDF BibTeX XML Cite \textit{G. Broesterhuizen} and \textit{J. Wierzejewski}, Notre Dame J. Formal Logic 27, 592--605 (1986; Zbl 0633.03025) Full Text: DOI
Zuckerman, Martin M. Sums of finitely many ordinals of various kinds. (English) Zbl 0632.04004 Notre Dame J. Formal Logic 27, 572-578 (1986). Reviewer: M.M.Richter MSC: 03E10 PDF BibTeX XML Cite \textit{M. M. Zuckerman}, Notre Dame J. Formal Logic 27, 572--578 (1986; Zbl 0632.04004) Full Text: DOI
van Dalen, D.; Mulder, H.; Krabbe, E. C. W.; Visser, A. Finite Kripke models of HA are locally PA. (English) Zbl 0632.03048 Notre Dame J. Formal Logic 27, 528-532 (1986). MSC: 03F55 03F30 PDF BibTeX XML Cite \textit{D. van Dalen} et al., Notre Dame J. Formal Logic 27, 528--532 (1986; Zbl 0632.03048) Full Text: DOI
Segerberg, Krister Modal logics with functional alternative relations. (English) Zbl 0631.03008 Notre Dame J. Formal Logic 27, 504-522 (1986). Reviewer: G.Forbes MSC: 03B45 PDF BibTeX XML Cite \textit{K. Segerberg}, Notre Dame J. Formal Logic 27, 504--522 (1986; Zbl 0631.03008) Full Text: DOI
Butrick, Richard Systems of sentence logic with trans-atomic units. (English) Zbl 0631.03005 Notre Dame J. Formal Logic 27, 565-571 (1986). Reviewer: S.Gottwald MSC: 03B05 PDF BibTeX XML Cite \textit{R. Butrick}, Notre Dame J. Formal Logic 27, 565--571 (1986; Zbl 0631.03005) Full Text: DOI
Weir, Alan Classical harmony. (English) Zbl 0631.03003 Notre Dame J. Formal Logic 27, 459-482 (1986). Reviewer: B.R.Boričić MSC: 03A05 03B10 03F07 PDF BibTeX XML Cite \textit{A. Weir}, Notre Dame J. Formal Logic 27, 459--482 (1986; Zbl 0631.03003) Full Text: DOI
Dougherty, Daniel J. Gentzen systems, resolution, and literal trees. (English) Zbl 0629.03038 Notre Dame J. Formal Logic 27, 483-503 (1986). Reviewer: M.M.Richter MSC: 03F20 03F15 03F05 03B35 PDF BibTeX XML Cite \textit{D. J. Dougherty}, Notre Dame J. Formal Logic 27, 483--503 (1986; Zbl 0629.03038) Full Text: DOI
Troelstra, A. S. Strong normalization for typed terms with surjective pairing. (English) Zbl 0624.03043 Notre Dame J. Formal Logic 27, 547-550 (1986). MSC: 03F35 03F50 03B40 PDF BibTeX XML Cite \textit{A. S. Troelstra}, Notre Dame J. Formal Logic 27, 547--550 (1986; Zbl 0624.03043) Full Text: DOI
Zanardo, Alberto On the characterizability of the frames for the “unpreventability of the present and the past”. (English) Zbl 0624.03017 Notre Dame J. Formal Logic 27, 556-564 (1986). Reviewer: H.P.Schmitt MSC: 03B45 PDF BibTeX XML Cite \textit{A. Zanardo}, Notre Dame J. Formal Logic 27, 556--564 (1986; Zbl 0624.03017) Full Text: DOI
Statman, Richard Solving functional equations at higher types; some examples and some theorems. (English) Zbl 0623.03018 Notre Dame J. Formal Logic 27, 66-74 (1986). MSC: 03B40 03D65 PDF BibTeX XML Cite \textit{R. Statman}, Notre Dame J. Formal Logic 27, 66--74 (1986; Zbl 0623.03018) Full Text: DOI
Blass, Andreas Near coherence of filters. I: Cofinal equivalence of models of arithmetic. (English) Zbl 0622.03040 Notre Dame J. Formal Logic 27, 579-591 (1986). Reviewer: A.Ursini MSC: 03H15 03C62 PDF BibTeX XML Cite \textit{A. Blass}, Notre Dame J. Formal Logic 27, 579--591 (1986; Zbl 0622.03040) Full Text: DOI
Baaz, Matthias Kripke-type semantics for Da Costa’s paraconsistent logic \(C_{\omega}\). (English) Zbl 0622.03013 Notre Dame J. Formal Logic 27, 523-527 (1986). Reviewer: G.Priest MSC: 03B45 03C35 PDF BibTeX XML Cite \textit{M. Baaz}, Notre Dame J. Formal Logic 27, 523--527 (1986; Zbl 0622.03013) Full Text: DOI
Fine, Kit Analytic implication. (English) Zbl 0621.03006 Notre Dame J. Formal Logic 27, 169-179 (1986). Reviewer: W.Lenzen MSC: 03B45 03A05 PDF BibTeX XML Cite \textit{K. Fine}, Notre Dame J. Formal Logic 27, 169--179 (1986; Zbl 0621.03006) Full Text: DOI
Shelah, Saharon; Steinhorn, Charles On the nonaxiomatizability of some logics by finitely many schemas. (English) Zbl 0615.03016 Notre Dame J. Formal Logic 27, 1-11 (1986). Reviewer: D.Mundici MSC: 03C55 03C80 PDF BibTeX XML Cite \textit{S. Shelah} and \textit{C. Steinhorn}, Notre Dame J. Formal Logic 27, 1--11 (1986; Zbl 0615.03016) Full Text: DOI
Avron, Arnon On purely relevant logics. (English) Zbl 0615.03004 Notre Dame J. Formal Logic 27, 180-194 (1986). Reviewer: S.Giambrone MSC: 03B45 PDF BibTeX XML Cite \textit{A. Avron}, Notre Dame J. Formal Logic 27, 180--194 (1986; Zbl 0615.03004) Full Text: DOI
Shelah, Saharon; Kaufmann, Matt The Hanf number of stationary logic. (English) Zbl 0614.03034 Notre Dame J. Formal Logic 27, 111-123 (1986). MSC: 03C80 03E55 03C55 PDF BibTeX XML Cite \textit{S. Shelah} and \textit{M. Kaufmann}, Notre Dame J. Formal Logic 27, 111--123 (1986; Zbl 0614.03034) Full Text: DOI
Mekler, Alan H.; Shelah, Saharon Stationary logic and its friends. II. (English) Zbl 0614.03033 Notre Dame J. Formal Logic 27, 39-50 (1986). MSC: 03C80 03C95 03C55 PDF BibTeX XML Cite \textit{A. H. Mekler} and \textit{S. Shelah}, Notre Dame J. Formal Logic 27, 39--50 (1986; Zbl 0614.03033) Full Text: DOI
Lambert, Karel; Bencivenga, Ermanno A free logic with simple and complex predicates. (English) Zbl 0614.03010 Notre Dame J. Formal Logic 27, 247-256 (1986). MSC: 03A05 03B60 03B65 PDF BibTeX XML Cite \textit{K. Lambert} and \textit{E. Bencivenga}, Notre Dame J. Formal Logic 27, 247--256 (1986; Zbl 0614.03010) Full Text: DOI
Avron, Arnon On an implication connective of RM. (English) Zbl 0613.03003 Notre Dame J. Formal Logic 27, 201-209 (1986). Reviewer: J.B.Bacon MSC: 03B45 PDF BibTeX XML Cite \textit{A. Avron}, Notre Dame J. Formal Logic 27, 201--209 (1986; Zbl 0613.03003) Full Text: DOI
Daniels, Charles A story semantics for implication. (English) Zbl 0612.03005 Notre Dame J. Formal Logic 27, 221-246 (1986). MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{C. Daniels}, Notre Dame J. Formal Logic 27, 221--246 (1986; Zbl 0612.03005) Full Text: DOI
Bruce, Kim B. Model constructions in stationary logic. II: Definable ultrapowers. (English) Zbl 0611.03016 Notre Dame J. Formal Logic 27, 257-262 (1986). MSC: 03C80 03C20 PDF BibTeX XML Cite \textit{K. B. Bruce}, Notre Dame J. Formal Logic 27, 257--262 (1986; Zbl 0611.03016) Full Text: DOI
Mortensen, Chris Reply to Burgess and to Read. (English) Zbl 0608.03001 Notre Dame J. Formal Logic 27, 195-200 (1986). Reviewer: S.Giambrone MSC: 03A05 03B45 03B65 PDF BibTeX XML Cite \textit{C. Mortensen}, Notre Dame J. Formal Logic 27, 195--200 (1986; Zbl 0608.03001) Full Text: DOI
Forrest, Peter The logic of free acts and the powers of God. (English) Zbl 0602.03001 Notre Dame J. Formal Logic 27, 20-38 (1986). MSC: 03A05 PDF BibTeX XML Cite \textit{P. Forrest}, Notre Dame J. Formal Logic 27, 20--38 (1986; Zbl 0602.03001) Full Text: DOI
Krom, Melven A linearly ordered topological space that is not normal. (English) Zbl 0594.54026 Notre Dame J. Formal Logic 27, 12-13 (1986). MSC: 54F05 54A35 54G20 PDF BibTeX XML Cite \textit{M. Krom}, Notre Dame J. Formal Logic 27, 12--13 (1986; Zbl 0594.54026) Full Text: DOI
Cohen, Daniel H. A new axiomatization of Belnap’s conditional assertion. (English) Zbl 0592.03015 Notre Dame J. Formal Logic 27, 124-132 (1986). MSC: 03B60 03B45 PDF BibTeX XML Cite \textit{D. H. Cohen}, Notre Dame J. Formal Logic 27, 124--132 (1986; Zbl 0592.03015) Full Text: DOI
Dau, Paolo Russell’s first theory of denoting and quantification. (English) Zbl 0592.03004 Notre Dame J. Formal Logic 27, 133-166 (1986). MSC: 03B10 03-03 01A60 PDF BibTeX XML Cite \textit{P. Dau}, Notre Dame J. Formal Logic 27, 133--166 (1986; Zbl 0592.03004) Full Text: DOI
Schumm, George F. Some failures of interpolation in modal logic. (English) Zbl 0588.03009 Notre Dame J. Formal Logic 27, 108-110 (1986). MSC: 03B45 03C40 PDF BibTeX XML Cite \textit{G. F. Schumm}, Notre Dame J. Formal Logic 27, 108--110 (1986; Zbl 0588.03009) Full Text: DOI
Fitting, Melvin Notes on the mathematical aspects of Kripke’s theory of truth. (English) Zbl 0588.03003 Notre Dame J. Formal Logic 27, 75-88 (1986). MSC: 03A05 PDF BibTeX XML Cite \textit{M. Fitting}, Notre Dame J. Formal Logic 27, 75--88 (1986; Zbl 0588.03003) Full Text: DOI
Harkleroad, Leon Iterated images on manifolds. (English) Zbl 0587.03033 Notre Dame J. Formal Logic 27, 89-92 (1986). MSC: 03D45 PDF BibTeX XML Cite \textit{L. Harkleroad}, Notre Dame J. Formal Logic 27, 89--92 (1986; Zbl 0587.03033) Full Text: DOI