Božić, Milan; Došen, Kosta Models for normal intuitionistic modal logics. (English) Zbl 0634.03014 Stud. Log. 43, 217-245 (1984). Reviewer: K.Došen MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Gerla, Giangiacomo; Vaccaro, Virginia Modal logic and model theory. (English) Zbl 0599.03010 Stud. Log. 43, 203-216 (1984). Reviewer: I.Gullvåg MSC: 03B45 03C68 × Cite Format Result Cite Review PDF Full Text: DOI
Mortensen, Chris Aristotle’s thesis in consistent and inconsistent logics. (English) Zbl 0598.03024 Stud. Log. 43, 107-116 (1984). MSC: 03B60 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Jennings, R. E.; Schotch, P. K. The preservation of coherence. (English) Zbl 0595.03010 Stud. Log. 43, 89-106 (1984). Reviewer: H.P.Schmitt MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Segerberg, Krister A topological logic of action. (English) Zbl 0595.03002 Stud. Log. 43, 415-419 (1984). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Jankowski, Andrzej W. A conjunction in closure spaces. (English) Zbl 0587.03046 Stud. Log. 43, 341-351 (1984). MSC: 03G10 54A05 × Cite Format Result Cite Review PDF Full Text: DOI
Wasilewska, Anita DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations. (English) Zbl 0587.03006 Stud. Log. 43, 395-404 (1984). MSC: 03B25 03D05 68Q60 68W99 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Meyer, Robert K.; Giambrone, Steve; Brady, Ross T. Where gamma fails. (English) Zbl 0586.03016 Stud. Log. 43, 247-256 (1984). Reviewer: C.F.Kielkopf MSC: 03B45 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Sendlewski, Andrzej Some investigations of varieties of \({\mathcal N}\)-lattices. (English) Zbl 0585.03039 Stud. Log. 43, 257-280 (1984). Reviewer: V.Meskhi MSC: 03G25 06D30 08B15 × Cite Format Result Cite Review PDF Full Text: DOI
Renardel de Lavalette, Gerard R. Descriptions in mathematical logic. (English) Zbl 0585.03029 Stud. Log. 43, 281-294 (1984). Reviewer: M.Beeson MSC: 03F25 03F50 × Cite Format Result Cite Review PDF Full Text: DOI
Routley, Richard The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics. (English) Zbl 0583.03012 Stud. Log. 43, 131-158 (1984). Reviewer: G.Priest MSC: 03B45 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Alves, Elias H. Paraconsistent logic and model theory. (English) Zbl 0582.03014 Stud. Log. 43, 17-32 (1984). Reviewer: G.Priest MSC: 03C30 03C40 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Tennant, Neil Perfect validity, entailment and paraconsistency. (English) Zbl 0582.03011 Stud. Log. 43, 181-200 (1984). MSC: 03B45 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Błaszczuk, Jerzy J. Some paraconsistent sentential calculi. (English) Zbl 0582.03010 Stud. Log. 43, 51-61 (1984). Reviewer: G. Priest (Brisbane) MSC: 03B45 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Brady, Ross T. Depth relevance of some paraconsistent logics. (English) Zbl 0581.03014 Stud. Log. 43, 63-73 (1984). Reviewer: D.Makinson MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Carnielli, Walter Alexandre; de Alcantara, Luiz Paulo Paraconsistent algebras. (English) Zbl 0581.03013 Stud. Log. 43, 79-88 (1984). Reviewer: D.Makinson MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Arruda, Ayda I.; da Costa, Newton C. A. On the relevant systems \(P\) and \(P^*\) and some related systems. (English) Zbl 0581.03012 Stud. Log. 43, 33-49 (1984). Reviewer: D.Makinson MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Czelakowski, Janusz Filter distributive logics. (English) Zbl 0578.03012 Stud. Log. 43, 353-377 (1984). Reviewer: A.Ursini MSC: 03B99 03G25 06A15 08B10 × Cite Format Result Cite Review PDF Full Text: DOI
Wójcicki, Ryszard R. Suszko’s situational semantics. (English) Zbl 0577.03033 Stud. Log. 43, 323-340 (1984). Reviewer: B.Wolniewicz MSC: 03G99 × Cite Format Result Cite Review PDF Full Text: DOI
Slaney, John K. A metacompleteness theorem for contraction-free relevant logics. (English) Zbl 0576.03014 Stud. Log. 43, 159-168 (1984). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Priest, Graham; Routley, Richard Introduction: Paraconsistent logics. (English) Zbl 0575.03017 Stud. Log. 43, 3-16 (1984). MSC: 03B60 03A05 03-02 03-03 × Cite Format Result Cite Review PDF Full Text: DOI
Priest, Graham Semantic closure. (English) Zbl 0575.03002 Stud. Log. 43, 117-129 (1984). MSC: 03A05 03B60 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Bunder, M. W. Some definitions of negation leading to paraconsistent logics. (English) Zbl 0574.03012 Stud. Log. 43, 75-78 (1984). MSC: 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
van Benthem, Johan; Pearce, David A mathematical characterization of interpretation between theories. (English) Zbl 0573.03009 Stud. Log. 43, 295-303 (1984). MSC: 03C07 03C20 03B10 03F25 × Cite Format Result Cite Review PDF Full Text: DOI
van Benthem, Johan Possible worlds semantics: a research program that cannot fail? (English) Zbl 0573.03005 Stud. Log. 43, 379-393 (1984). MSC: 03B45 03C40 × Cite Format Result Cite Review PDF Full Text: DOI
Hawranek, Jacek; Zygmunt, Jan On the degree of complexity of sentential logics. II: An example of the logic with semi-negation. (English) Zbl 0569.03012 Stud. Log. 43, 405-413 (1984). MSC: 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Omyła, Mieczysław; Zygmunt, Jan Roman Suszko (1919-1979): A bibliography of the published work with an outline of his logical investigations. (English) Zbl 0569.01030 Stud. Log. 43, 421-441 (1984). MSC: 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Cignoli, Roberto Ayda Ignez Arruda (1936-1983). (English) Zbl 0569.01016 Stud. Log. 43, 1-2 (1984). MSC: 01A70 × Cite Format Result Cite Review PDF Full Text: DOI