Projective and inductive generation of abstract logics

Studia Logica 35 (3):249 - 255 (1976)
  Copy   BIBTEX

Abstract

An abstract logic A, C consists of a finitary algebraA and a closure systemC onA. C induces two other closure systems onA, C P andC I, by projective and inductive generation respectively. The various relations amongC, C P andC I are determined. The special case thatC is the standard equational closure system on monadic terms is studied in detail. The behavior of Boolean logics with respect to projective and inductive generation is determined.

Categories

Keywords

Reprint years

DOI

10.1007/bf02282487

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Filters and natural extensions of closure systems.Roman Suszko & Tamara Weinfeld - 1979 - Bulletin of the Section of Logic 8 (3):130-132.
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
Some Results on Modal Axiomatization and Definability for Topological Spaces.Guram Bezhanishvili, Leo Esakia & David Gabelaia - 2005 - Studia Logica 81 (3):325-355.
Remark about the Boolean parts in the postulate-systems of closure, derivative and projective algebras.Bolesław Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (1):111-117.
Universality of the closure space of filters in the algebra of all subsets.Andrzej W. Jankowski - 1985 - Studia Logica 44 (1):1 - 9.
Filter distributive logics.Janusz Czelakowski - 1984 - Studia Logica 43 (4):353 - 377.
On the degree of complexity of sentential logics, III. An example of Johansson's minimal logic.Jacek Hawranek - 1987 - Studia Logica 46 (4):283 - 289.
A Categorical Equivalence for Product Algebras.Franco Montagna & Sara Ugolini - 2015 - Studia Logica 103 (2):345-373.
Rudolf Carnap and Richard C. Jeffrey. Introduction. Studies in inductive logic and probability, Volume I, edited by Rudolf Carnap and Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1971, pp. 1–4. - Rudolf Carnap. Inductive logic and rational decisions. A modified and expanded version of XXXII 104. Studies in inductive logic and probability, pp. 5–31. - Rudolf Carnap. A basic system of inductive logic, Part I. Studies in inductive logic and probability, pp. 33–165. - Richard C Jeffrey. Probability measures and integrals. Studies in inductive logic and probability, pp. 167–223. - Jürgen Humburg. The principle of instantial relevance. Studies in inductive logic and probability, pp. 225–233. - Haim Gaifman. Applications of de Finetti's theorem to inductive logic. Studies in inductive logic and probability, pp. 235–251. [REVIEW]David Miller - 1975 - Journal of Symbolic Logic 40 (4):581-583.

Analytics

Added to PP
2009-01-28

Downloads
28 (#805,576)

6 months
6 (#879,768)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Equivalential logics (II).Janusz Czelakowski - 1981 - Studia Logica 40 (4):355 - 372.
Reduced products of logical matrices.Janusz Czelakowski - 1980 - Studia Logica 39 (1):19 - 43.

Add more citations

References found in this work

No references found.

Add more references