Kobayashi, Mitsunori; Ishimoto, Arata A propositional fragment of Leśniewski’s ontology and its formulation by the tableau method. (English) Zbl 0597.03015 Stud. Log. 41, 181-195 (1982). MSC: 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Goldblatt, Robert The semantics of Hoare’s iteration rule. (English) Zbl 0597.03013 Stud. Log. 41, 141-158 (1982). MSC: 03B45 68Q65 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Dziobiak, Wiesław Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra. (English) Zbl 0588.08009 Stud. Log. 41, 415-428 (1982). Reviewer: J.Wierzejewski MSC: 08C15 06D20 06E05 03G05 × Cite Format Result Cite Review PDF Full Text: DOI
Harris, J. H. What’s so logical about the ”logical” axioms? (English) Zbl 0566.03002 Stud. Log. 41, 159-171 (1982). Reviewer: L.Löfgren MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Liddell, G. F. A logic for propositions with indefinite truth values. (English) Zbl 0564.03020 Stud. Log. 41, 197-226 (1982). Reviewer: A.S.Karpenko MSC: 03B50 03G10 × Cite Format Result Cite Review PDF Full Text: DOI
Furmanowski, Tomasz Adjoint interpretations of sentential calculi. (English) Zbl 0561.03013 Stud. Log. 41, 359-374 (1982). Reviewer: C.F.Kielkopf MSC: 03B99 18A40 06A99 × Cite Format Result Cite Review PDF Full Text: DOI
Wolniewicz, Bogusław A formal ontology of situations. (English) Zbl 0558.03003 Stud. Log. 41, 381-413 (1982). Reviewer: J.Bacon MSC: 03A05 03G10 × Cite Format Result Cite Review PDF Full Text: DOI
Ouellet, Roch A categorical approach to polyadic algebras. (English) Zbl 0556.03047 Stud. Log. 41, 317-327 (1982). Reviewer: J.Monk MSC: 03G15 18B99 × Cite Format Result Cite Review PDF Full Text: DOI
Czelakowski, Janusz Logical matrices and the amalgamation property. (English) Zbl 0549.03014 Stud. Log. 41, 329-341 (1982). Reviewer: O.Štepánková MSC: 03B45 03B50 03B55 03C40 × Cite Format Result Cite Review PDF Full Text: DOI
Malinowski, Grzegorz; Michalczyk, Marek That SCI has the interpolation property. (English) Zbl 0549.03008 Stud. Log. 41, 375-380 (1982). Reviewer: D.Mundici MSC: 03B05 03B60 03C40 × Cite Format Result Cite Review PDF Full Text: DOI
Kalman, J. A. The two-property and condensed detachment. (English) Zbl 0548.03005 Stud. Log. 41, 173-179 (1982). MSC: 03B35 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Czelakowski, Janusz; Dziobiak, Wiesław Another proof that \(ISP_ r(K)\) is the least quasivariety containing K. (English) Zbl 0542.08006 Stud. Log. 41, 343-345 (1982). Reviewer: R.Franci MSC: 08C15 × Cite Format Result Cite Review PDF Full Text: DOI
Smoryński, Craig The finite inseparability of the first-order theory of diagonalisable algebras. (English) Zbl 0542.03024 Stud. Log. 41, 347-349 (1982). Reviewer: F.Montagna MSC: 03D35 03B45 03G25 03G05 × Cite Format Result Cite Review PDF Full Text: DOI
Bugajski, Sławomir What is quantum logic? (English) Zbl 0539.03043 Stud. Log. 41, 311-316 (1982). Reviewer: A.Dvurečenskij MSC: 03G12 81P10 81P20 06E05 06C20 × Cite Format Result Cite Review PDF Full Text: DOI
Sorbi, Andrea \(\Sigma^ n_ 0\)-equivalence relations. (English) Zbl 0539.03023 Stud. Log. 41, 351-358 (1982). MSC: 03D45 × Cite Format Result Cite Review PDF Full Text: DOI
Segerberg, Krister A deontic logic of action. (English) Zbl 0537.03018 Stud. Log. 41, 269-282 (1982). Reviewer: P.Materna MSC: 03B99 03C65 × Cite Format Result Cite Review PDF Full Text: DOI
Oddie, Graham; Tichý, Pavel The logic of ability, freedom and responsibility. (English) Zbl 0537.03006 Stud. Log. 41, 227-248 (1982). Reviewer: P.Materna MSC: 03B15 03B40 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Crossley, John N. The given. (English) Zbl 0536.03024 Stud. Log. 41, 131-139 (1982). MSC: 03D45 03E70 × Cite Format Result Cite Review PDF Full Text: DOI
Cresswell, M. J. Urn models: A classical exposition. (English) Zbl 0536.03012 Stud. Log. 41, 109-130 (1982). MSC: 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Priest, Graham To be and not to be: Dialectical tense logic. (English) Zbl 0536.03006 Stud. Log. 41, 249-268 (1982). MSC: 03B45 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Bunder, M. W. Deduction theorems for weak implicational logics. (English) Zbl 0536.03001 Stud. Log. 41, 95-108 (1982). MSC: 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Zalta, Edward N. Meinongian type theory and its applications. (English) Zbl 0531.03003 Stud. Log. 41, 297-307 (1982). MSC: 03A05 03B15 × Cite Format Result Cite Review PDF Full Text: DOI
Slater, B. H. Incomplete assertions. (English) Zbl 0531.03002 Stud. Log. 41, 293-296 (1982). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Rantala, Veikko Quantified modal logic: non-normal worlds and propositional attitudes. (English) Zbl 0529.03004 Stud. Log. 41, 41-65 (1982). MSC: 03B45 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Kabzinski, Jacek K. Basic properties of the equivalence. (English) Zbl 0528.03038 Stud. Log. 41, 17-40 (1982). MSC: 03G25 03B99 03B45 03B50 03B55 × Cite Format Result Cite Review PDF Full Text: DOI
Dziobiak, Wieslaw On finite approximability of psi-intermediate logics. (English) Zbl 0519.03015 Stud. Log. 41, 67-73 (1982). MSC: 03B55 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Bloom, Stephen L. A note on the logic of signed equations. (English) Zbl 0509.03015 Stud. Log. 41, 75-81 (1982). MSC: 03C40 03B99 × Cite Format Result Cite Review PDF Full Text: DOI
Cignoli, Roberto Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi. (English) Zbl 0509.03012 Stud. Log. 41, 3-16 (1982). MSC: 03B50 × Cite Format Result Cite Review PDF Full Text: DOI