Search

Search Results

1. Paraconsistent algebras

   The prepositional calculi C _n , 1 ⩽ n ⩽ ω introduced by N.C.A. da Costa constitute special kinds of paraconsistent logics. A question which remained...

   Walter Alexandre Carnielli, Luiz Paulo de Alcantara in Studia Logica

   Article 01 March 1984

2. Correspondence Theory

   When possible worlds semantics arrived around 1960, one of its most charming features was the discovery of simple connections between existing...

   Johan Van Benthem in Handbook of Philosophical Logic

   Chapter 1984
   

3. Logical matrices and the amalgamation property

   The main result of the present paper — Theorem 3 — establishes the equivalence of the interpolation and amalgamation properties for a large family of...

   Janusz Czelakowski in Studia Logica

   Article 01 December 1982

4. Modal logic and the theory of modal aggregation

   P. K. Schotch, R. E. Jennings in Philosophia

   Article 01 July 1980

5. Formalization, possible worlds and the foundations of modal logic

   G. H. Merrill in Erkenntnis

   Article 01 May 1978

6. On universal algebraic constructions of logics

   H. Andréka, T. Gergely, I. Németi in Studia Logica

   Article 01 March 1977

7. Interpretability of Elementary Theories

   The word ‘theory’ is often understood as dependent on the language used to formalise it (cf. e.g. Henkin et al, 1971, p. 44). As a consequence, the...

   L. W. Szczerba in Logic, Foundations of Mathematics, and Computability Theory

   Chapter 1977
   

8. Investigations into quantified modal logic-I

   Zane Parks in Studia Logica

   Article 01 June 1976

9. On logical systems with implications and theories of algebras

   Jerzy Kotas in Studia Logica

   Article 01 December 1973

10. About the equivalent theories of algebras with relations

    Jerzy Kotas in Studia Logica

    Article 01 December 1972

11. The axiomatic system of the factorial implication

    August Pieczkowski in Studia Logica

    Article 01 December 1966

12. Przegląd czasopism

    in Studia Logica

    Article 01 December 1970

13. On a generalized cylindrical algebra and intuitionistic logic

    Jerzy Kotas, August Pieczkowski in Studia Logica

    Article 01 December 1966

14. Undecidability of the homogeneous formulas of degree 3 of the predicate calculus

    August Pieczkowski in Studia Logica

    Article 01 December 1968

15. A cylindrical algebra based on the Boolean ring

    Jerzy Kotas, August Pieczkowski in Studia Logica

    Article 01 December 1967

16. On the algebra of classes of formulae of Jaśkowski's discussive system

    Jerzy Kotas in Studia Logica

    Article 01 December 1971

17. Recent Developments

    Before going into the subject-matter of this Chapter, I wish to present a few comments on my personal attitude with regard to the specific task of a...

    Evert W. Beth in Mathematical Thought

    Chapter 1965