Takano, Mitio Ordered sets R and Q as bases of Kripke models. (English) Zbl 0656.03018 Stud. Log. 46, 137-148 (1987). Reviewer: O.Sonobe MSC: 03B55 × Cite Format Result Cite Review PDF Full Text: DOI
Gajda, Adam; Krynicki, Michał; Szczerba, Lesław A note on syntactical and semantical functions. (English) Zbl 0653.03018 Stud. Log. 46, 177-185 (1987). MSC: 03B99 03C99 × Cite Format Result Cite Review PDF Full Text: DOI
Takano, Mitio Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic. (English) Zbl 0649.03006 Stud. Log. 46, 247-253 (1987). Reviewer: J.Cirulis MSC: 03B15 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Lewin, Renato A. Interpretations into monadic algebras. (English) Zbl 0647.08003 Stud. Log. 46, 329-342 (1987). Reviewer: D.Ponasse MSC: 08B15 03G10 06D05 03G05 03G25 × Cite Format Result Cite Review PDF Full Text: DOI
Pal’chunov, D. E. Countably-categorical Boolean algebras with distinguished ideals. (English) Zbl 0647.03025 Stud. Log. 46, 121-135 (1987). Reviewer: S.R.Kogalovskij MSC: 03C35 06E99 × Cite Format Result Cite Review PDF Full Text: DOI
Batens, Diderik Relevant implication and the weak deduction theorem. (English) Zbl 0646.03012 Stud. Log. 46, 239-245 (1987). Reviewer: G.Mints MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Gerla, Giangiacomo Decidability, partial decidability and sharpness relation for L-subsets. (English) Zbl 0645.03053 Stud. Log. 46, 227-238 (1987). Reviewer: S.Gottwald MSC: 03E72 03D25 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Fattorosi-Barnaba, M.; Amati, G. Modal operators with probabilistic interpretations. I. (English) Zbl 0645.03016 Stud. Log. 46, 383-393 (1987). Reviewer: D.Costantini MSC: 03B45 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
Furs, S. N. Computation of Aristotle’s and Gergonne’s syllogisms. (English) Zbl 0644.03036 Stud. Log. 46, 209-225 (1987). Reviewer: S.Rudeanu MSC: 03G15 03G10 03G25 × Cite Format Result Cite Review PDF Full Text: DOI
Miller, Dale A. A compact representation of proofs. (English) Zbl 0644.03033 Stud. Log. 46, 347-370 (1987). Reviewer: P.Štěpánek MSC: 03F20 03B35 03B15 × Cite Format Result Cite Review PDF Full Text: DOI
Radev, Slavian Infinitary propositional normal modal logic. (English) Zbl 0644.03009 Stud. Log. 46, 291-309 (1987). Reviewer: B.R.Boričić MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Okada, Mitsuhiro A weak intuitionistic propositional logic with purely constructive implication. (English) Zbl 0644.03005 Stud. Log. 46, 371-382 (1987). Reviewer: B.R.Boričić MSC: 03B20 03F05 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Majewski, Mirosław Elementary extensions of topological models in \(L_ t\) language. (English) Zbl 0643.03027 Stud. Log. 46, 255-274 (1987). Reviewer: R.Gurevič MSC: 03C99 03C80 03C85 × Cite Format Result Cite Review PDF Full Text: DOI
Pałasiński, Marek No non-trivial quasivariety of BCK-algebras has decidable first order theory. (English) Zbl 0639.03064 Stud. Log. 46, 343-345 (1987). Reviewer: M.Pałasiński MSC: 03G25 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Goncharov, S. S. Axiomatizable classes with strong homomorphisms. (English) Zbl 0639.03035 Stud. Log. 46, 113-120 (1987). Reviewer: G.Fuhrken MSC: 03C52 08C10 03C60 × Cite Format Result Cite Review PDF Full Text: DOI
Gärdenfors, Peter Variations on the Ramsey test: More triviality results. (English) Zbl 0639.03024 Stud. Log. 46, 321-327 (1987). Reviewer: D.Makinson MSC: 03B60 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Wroński, Andrzej Remarks on a survey article on many valued logic by A. Urquhart. (English) Zbl 0639.03019 Stud. Log. 46, 275-278 (1987). Reviewer: S.Gottwald MSC: 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
de Jongh, Dick H. J.; Montagna, Franco Generic generalized Rosser fixed points. (English) Zbl 0638.03019 Stud. Log. 46, 193-203 (1987). Reviewer: S.Artemov MSC: 03B45 03F07 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
de Jongh, Dick H. J. A simplification of a completeness proof of Guaspari and Solovay. (English) Zbl 0638.03018 Stud. Log. 46, 187-192 (1987). Reviewer: S.Artemov MSC: 03B45 03F07 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Nguyen Cat Ho; Rasiowa, Helena Subalgebras and homomorphisms of semi-Post algebras. (English) Zbl 0637.06007 Stud. Log. 46, 161-175 (1987). Reviewer: M.Abad MSC: 06D25 03G20 × Cite Format Result Cite Review PDF Full Text: DOI
Hawranek, Jacek On the degree of complexity of sentential logics. III. An example of Johansson’s minimal logic. (English) Zbl 0636.03018 Stud. Log. 46, 283-289 (1987). MSC: 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Vetulani, Zygmunt On Bellert’s proposal concerning quantificational universals. (English) Zbl 0635.03023 Stud. Log. 46, 311-320 (1987). MSC: 03B65 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Giuntini, Roberto Quantum logics and Lindenbaum property. (English) Zbl 0634.03065 Stud. Log. 46, 17-35 (1987). Reviewer: A.Dvurečenskij MSC: 03G12 81P10 81P20 × Cite Format Result Cite Review PDF Full Text: DOI
Nguyen Cat Ho; Rasiowa, Helena Semi-Post algebras. (English) Zbl 0633.06006 Stud. Log. 46, 149-160 (1987). Reviewer: M.Abad MSC: 06D25 03G20 × Cite Format Result Cite Review PDF Full Text: DOI
D’Ottaviano, Itala M. L. Definability and quantifier elimination for \(J_ 3\)-theories. (English) Zbl 0633.03007 Stud. Log. 46, 37-54 (1987). MSC: 03B50 03B45 03C40 03B60 03C35 03C10 × Cite Format Result Cite Review PDF Full Text: DOI
Smirnov, Vladimir A. Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain. (English) Zbl 0632.03024 Stud. Log. 46, 1-15 (1987). Reviewer: J.Cirulis MSC: 03B60 03B15 × Cite Format Result Cite Review PDF Full Text: DOI
Novák, Vilém First-order fuzzy logic. (English) Zbl 0632.03021 Stud. Log. 46, 87-109 (1987). Reviewer: S.Miura MSC: 03B52 × Cite Format Result Cite Review PDF Full Text: DOI
Daniels, Charles B. “The story says that” operator in story semantics. (English) Zbl 0627.03012 Stud. Log. 46, 73-86 (1987). Reviewer: J.Mackenzie MSC: 03B65 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Giambrone, Steve; Kron, Aleksandar Four relevant Gentzen systems. (English) Zbl 0625.03008 Stud. Log. 46, 55-71 (1987). MSC: 03B45 03B25 03F05 03F07 03F20 × Cite Format Result Cite Review PDF Full Text: DOI
Torrens, Antoni W-algebras which are Boolean products of members of SR[1] and CW- algebras. (English) Zbl 0621.03042 Stud. Log. 46, 265-274 (1987). MSC: 03G25 03B50 × Cite Format Result Cite Review PDF Full Text: DOI