Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
  1. Home
  2. Books
  3. A General Algebraic Semantics for Sentential Logics
  • Cited by 4
Publisher:
Cambridge University Press
Online publication date:
March 2017
Print publication year:
2017
Online ISBN:
9781316716915
DOI:
https://doi.org/10.1017/9781316716915
Subjects:
Mathematics, Logic, Categories and Sets, Logic, Philosophy, Programming Languages and Applied Logic
Series:
Lecture Notes in Logic (7)
Information

Book description

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of sentential logics and present its results on a number of particular logics. The authors compare their approach, which uses abstract logics, to the classical approach based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others. This monograph presents a systematized account of some of the work on the algebraic study of sentential logics carried out by the logic group in Barcelona in the 1970s.

Refine List

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

Contents

Contents
References
Bibliography
Adillon, R. and Verdú, V. [1996] A Gentzen system equivalent to the BCK-logic , Bulletin of the Section of Logic , vol. 25, no. 2, pp. 73–79.
Anderson, A. R. and Belnap, N. D. [1975] Entailment. The logic of relevance and necessity , vol. I, Princeton University Press.
Anderson, A. R., Belnap, N. D., and Dunn, J. M. [1992] Entailment. The logic of relevance and necessity , vol. II, Princeton University Press.
Babyonyshev, S. [2003] Fully Fregean logics , Reports on Mathematical Logic , vol. 37, pp. 59–78.
Balbes, R. and Dwinger, P. [1974] Distributive lattices , University of Missouri Press, Columbia (Missouri).
Belardinelli, F., Jipsen, P., and Ono, H. [2004] Algebraic aspects of cut elimination , Studia Logica , vol. 77, pp. 209–240.
Belnap, N. D. [1977] A useful four-valued logic , Modern uses of multiple-valued logic (Dunn, J. M. and Epstein, G., editors), Reidel, Dordrecht-Boston, pp. 8–37.
Birkhoff, G. [1973] Lattice theory , 3rd. ed., Colloquium Publications, vol. XXV, American Mathematical Society, Providence, (1st. ed. 1940).
Blok, W. and Jónsson, B. [2006] Equivalence of consequence operations , Studia Logica (Special issue in memory of Willem Blok) , vol. 83, pp. 91–110.
Blok, W. J. and Köhler, P. [1983] Algebraic semantics for quasi-classical modal logics , The Journal of Symbolic Logic , vol. 48, pp. 941–964.
Blok, W. J. and Pigozzi, D. [1986] Protoalgebraic logics , Studia Logica , vol. 45, pp. 337–369.
Blok, W. J. and Pigozzi, D. [1988] Alfred Tarski's work on general metamathematics , The Journal of Symbolic Logic , vol. 53, pp. 36–50.
Blok, W. J. and Pigozzi, D. [1989a] Algebraizable logics , Memoirs of the American Mathematical Society, vol. 396, A.M.S., Providence, January.
Blok, W. J. and Pigozzi, D. [1989b] The Deduction Theorem in algebraic logic, Unpublished manuscript, partly subsumed in Blok and Pigozzi [200x].
Blok, W. J. and Pigozzi, D. [1991] Local deduction theorems in algebraic logic , Algebraic logic (Andréka, H., Monk, J. D., and Németi, I., editors), Colloquia Mathematica Societatis János Bolyai, vol. 54, North-Holland, Amsterdam, pp. 75–109.
Blok, W. J. and Pigozzi, D. [1992] Algebraic semantics for universal Horn logic without equality , Universal algebra and quasigroup theory (Romanowska, A. and Smith, J. D. H., editors), Heldermann, Berlin, pp. 1–56.
Blok, W. J. and Pigozzi, D. [200x] Abstract algebraic logic and the Deduction Theorem , The Bulletin of Symbolic Logic , To appear.
Bloom, S. L. [1977] A note on Ψ-consequences , Reports on Mathematical Logic , vol. 8, pp. 3–9.
Bloom, S. L. and Brown, D. J. [1973] Classical abstract logics , Dissertationes Mathematicae (Rozprawy Mat.) , vol. 102, pp. 43–51.
Bou, F. [2001] Implicación estricta y lógicas subintuicionistas , Master Thesis , University of Barcelona.
Bou, F., Esteva, F., Font, J. M., Gil, A., Godo, Ll., Torrens, A., and Verdú, V. [2009] Logics preserving degrees of truth from varieties of residuated lattices , Journal of Logic and Computation , To appear.
Bou, F., Font, J. M., and García Lapresta, J. L. [2004] On weakening the deduction theorem and strengthening modus ponens , Mathematical Logic Quarterly , vol. 50, pp. 303–324.
Brown, D. J. [1969] Abstract logics , Ph. D. Thesis , Stevens Institute of Technology.
Brown, D. J. and Suszko, R. [1973] Abstract logics , Dissertationes Mathematicae (Rozprawy Mat.) , vol. 102, pp. 9–42.
Burris, S. and Sankappanavar, H. P. [1981] A course in universal algebra , Springer-Verlag, New York.
Casanovas, E., Dellunde, P., and Jansana, R. [1996] On elementary equivalence for equality-free logic , Notre Dame Journal of Formal Logic , vol. 37, no. 3, pp. 506–522.
Celani, S. and Jansana, R. [2001] A closer look at some subintuitionistic logics , Notre Dame Journal of Formal Logic , vol. 42, pp. 225–255.
Chellas, B. F. [1980] Modal logic: An introduction , Cambridge University Press, Cambridge, Cambridge.
Cignoli, R. [1991] Quantifiers on distributive lattices , Discrete Mathematics , vol. 96, pp. 183–197.
Czelakowski, J. [1980] Reduced products of logical matrices , Studia Logica , vol. 39, pp. 19–43.
Czelakowski, J. [1981] Equivalential logics, I, II , Studia Logica , vol. 40, pp. 227–236 and 355–372.
Czelakowski, J. [1984] Remarks on finitely based logics , Models and Sets (Müller, G. H. and Richter, M. M., editors), Lecture Notes in Mathematics, vol. 1103, Springer Verlag, Berlin, pp. 147–168.
Czelakowski, J. [1985] Algebraic aspects of deduction theorems , Studia Logica , vol. 44, pp. 369–387.
Czelakowski, J. [1986] Local deductions theorems , Studia Logica , vol. 45, pp. 377–391.
Czelakowski, J. [1992] Consequence operations: Foundational studies , Reports of the Research Project “Theories, Models, Cognitive Schemata” , Institute of Philosophy and Sociology, Polish Academy of Sciences, Warszawa.
Czelakowski, J. [2001a] Protoalgebraic logics , Trends in Logic, Studia Logica Library, vol. 10, Kluwer Academic Publishers, Dordrecht.
Czelakowski, J. [2001b] Protoalgebraic logics , Trends in Logic - Studia Logica Library, vol. 10, Kluwer Academic Publishers, Dordrecht.
Czelakowski, J. and Dziobiak, W. [1991] A deduction theorem schema for deductive systems of propositional logics , Studia Logica, Special Issue on Algebraic Logic , vol. 50, pp. 385–390.
Czelakowski, J. and Jansana, R. [2000] Weakly algebraizable logics , The Journal of Symbolic Logic , vol. 65, no. 2, pp. 641–668.
Czelakowski, J. and Malinowski, G. [1985] Key notions of Tarski's methodology of deductive systems , Studia Logica , vol. 44, pp. 321–351.
Czelakowski, J. and Pigozzi, D. [2004a] Fregean logics , Annals of Pure and Applied Logic , vol. 127, pp. 17–76.
Czelakowski, J. and Pigozzi, D. [2004b] Fregean logics with the multiterm deduction theorem and their algebraization , Studia Logica , vol. 78, pp. 171–212.
Dellunde, P. [1996] Contributions to the model theory of equality-free logic , Ph. D. Thesis , University of Barcelona.
Dellunde, P. [1999] Equality-free logic: The method of diagrams and preservation theorems , Logic Journal of the IGPL , vol. 7, pp. 717–732.
Dellunde, P. [2000a] On definability of the equality in classes of algebras with an equivalence relation , Studia Logica , vol. 64, pp. 345–353.
Dellunde, P. [2000b] A preservation theorem for equality-free Horn sentences , Theoria (San Sebastián) , vol. 39, pp. 517–530.
Dellunde, P. [2003] Equality-free saturated models , Reports on Mathematical Logic , vol. 37, pp. 3–22.
Dellunde, P. and Jansana, R. [1994] On structural equivalence of theories, Manuscript.
Dellunde, P. and Jansana, R. [1996] Some characterization theorems for infinitary universal Horn logic without equality , The Journal of Symbolic Logic , vol. 61, no. 4, pp. 1242–1260.
Diego, A. [1965] Sobre álgebras de Hilbert , Notas de Lógica Matemática, vol. 12, Universidad Nacional del Sur, Bahía Blanca (Argentina).
Diego, A. [1966] Sur les algèbres de Hilbert , Gauthier-Villars, Paris.
Došen, K. [1986] Modal translations and intuitionistic double negation , Logique et Analyse , vol. 29, pp. 81–94.
Došen, K. and Schroeder-Heister, P. [1993] Substructural logics , Studies in Logic and Computation, vol. 2, Oxford University Press.
Dunn, J. M. [1976] Intuitive semantics for first-degree entailments and ‘coupled trees’ , Philosophical Studies , vol. 29, pp. 149–168.
Dunn, J. M. and Restall, G. [2002] Relevance logic and entailment , Handbook of philosophical logic, second edition (Gabbay, D. and Guenthner, F., editors), vol. 6, Kluwer, Dordrecht, pp. 1–128.
Dyrda, K. and Prucnal, T. [1980] On finitely based consequence determined by a distributive lattice , Bulletin of the Section of Logic , vol. 9, pp. 60–66.
Elgueta, R. [1994] Algebraic model theory for languages without equality , Ph. D. Thesis , University of Barcelona.
Elgueta, R. [1997] Characterizing classes defined without equality , Studia Logica , vol. 58, no. 3, pp. 357–394.
Elgueta, R. [1998] Subdirect representation theory for classes without equality , Algebra Universalis , vol. 40, pp. 201–246.
Elgueta, R. and Jansana, R. [1999] Definability of Leibniz equality , Studia Logica , vol. 63, pp. 223–243.
Figallo, A. [1992] On the congruences in four-valued modal algebras , Portugaliae Mathematica , vol. 49, pp. 249–261.
Font, J. M. [1980] Introducció d'interiors d'ordre en lògiques abstractes , Publicacions de la Secció de Matemàtiques, Universitat Autònoma de Barcelona , vol. 20, pp. 79–82.
Font, J. M. [1987] On some congruence lattices of a topological Heyting lattice , Contributions to general algebra (Czermak, J. et al., editors), vol. 5, Teubner, Stuttgart, pp. 129–137.
Font, J. M. [1993] On the Leibniz congruences , Algebraic methods in logic and in computer science (Rauszer, C., editor), Banach Center Publications, vol. 28, Polish Academy of Sciences, Warszawa, pp. 17–36.
Font, J. M. [1997] Belnap's four-valued logic and De Morgan lattices , Logic Journal of the I.G.P.L. , vol. 5, no. 3, pp. 413–440.
Font, J. M. [2003a] An abstract algebraic logic view of some multiple-valued logics , Beyond two: Theory and applications of multiple-valued logic (Fitting, M. and Orlowska, E., editors), Studies in Fuzziness and Soft Computing, vol. 114, Physica-Verlag, Heidelberg, pp. 25–58.
Font, J. M. [2003b] Generalized matrices in abstract algebraic logic , Trends in logic. 50 years of studia logica (Hendriks, V. F. and Malinowski, J., editors), Trends in Logic - Studia Logica Library, vol. 21, Kluwer, Dordrecht, pp. 57–86.
Font, J. M. [2006] Beyond Rasiowa's algebraic approach to non-classical logics , Studia Logica , vol. 82, pp. 172–209.
Font, J. M., Gil, A., Torrens, A., and Verdú, V. [2006] On the infinite-valued Łukasiewicz logic that preserves degrees of truth , Archive for Mathematical Logic , vol. 45, pp. 839–868.
Font, J. M., Guzmán, F., and Verdú, V. [1991] Characterization of the reduced matrices for the {∧, ∨}-fragment of classical logic , Bulletin of the Section of Logic , vol. 20, pp. 124–128.
Font, J. M. and Jansana, R. [1994] On the sentential logics associated with strongly nice and semi-nice general logics , Bulletin of the I.G.P.L. , vol. 2, pp. 55–76.
Font, J. M. and Jansana, R. [1995] Full models for sentential logics , Bulletin of the Section of Logic , vol. 24, no. 3, pp. 123–131.
Font, J. M. and Jansana, R. [2001] Leibniz filters and the strong version of a protoalgebraic logic , Archive for Mathematical Logic , vol. 40, pp. 437–465.
Font, J. M., R. Jansana, and Pigozzi, D. [2001] Fully adequate Gentzen systems and the deduction theorem , Reports on Mathematical Logic , vol. 35, pp. 115–165.
Font, J. M., Jansana, R., and Pigozzi, D. [2003] A survey of abstract algebraic logic , Studia Logica (Special issue on Abstract Algebraic Logic, Part II) , vol. 74, pp. 13–97.
Font, J. M., R. Jansana, and Pigozzi, D. [2006] On the closure properties of the class of full g-models of a deductive system , Studia Logica (Special issue in memory of Willem Blok) , vol. 83, pp. 215–278.
Font, J. M. and Rius, M. [1990] A four-valued modal logic arising from Monteiro's last algebras , Proceedings of the 20th international symposium on multiple-valued logic (Charlotte), The IEEE Computer Society Press, pp. 85–92.
Font, J. M. and Rius, M. [2000] An abstract algebraic logic approach to tetravalent modal logics , The Journal of Symbolic Logic , vol. 65, no. 2, pp. 481–518.
Font, J. M. and Rodríguez, G. [1990] Note on algebraic models for relevance logic , Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 36, pp. 535–540.
Font, J. M. and Rius, M. [1994] Algebraic study of two deductive systems of relevance logic , Notre Dame Journal of Formal Logic , vol. 35, no. 3, pp. 369–397.
Font, J. M. and Verdú, V. [1979] Lògiques abstractes, operadors interior, i lògiques modals S4 , Revista de la Universidad de Santander , vol. II, no. 2, pp. 867–869 and 1003–1015.
Font, J. M. and Verdú, V. [1988] Abstract characterization of a four-valued logic , Proceedings of the 18th international symposium on multiple-valued logic (Palma de Mallorca), The IEEE Computer Society Press, pp. 389–396.
Font, J. M. and Verdú, V. [1989a] Completeness theorems for a four-valued logic related to De Morgan lattices , Faculty of Mathematics Preprint Series , University of Barcelona, March, 10pp.
Font, J. M. and Verdú, V. [1989b] A first approach to abstract modal logics , The Journal of Symbolic Logic , vol. 54, pp. 1042–1062.
Font, J. M. and Verdú, V. [1990] Two levels of modality: an algebraic approach , Logic counts (Żarnecka-Biały, E., editor), Reidel, Dordrecht, pp. 53–62.
Font, J. M. and Verdú, V. [1991] Algebraic logic for classical conjunction and disjunction , Studia Logica, Special Issue on Algebraic Logic , vol. 50, pp. 391–419.
Gabbay, D. [1994] What is a logical system? , Studies in Logic and Computation, vol. 4, Oxford University Press.
Galatos, N., Jipsen, P., Kowalski, T., and Ono, H. [2007] Residuated lattices: an algebraic glimpse at substructural logics , Studies in Logic and the Foundations of Mathematics, vol. 151, Elsevier, Amsterdam.
García Lapresta, J. L. [1988a] El Principio de la Deducción con dos o menos premisas: Estudio algebraico, Actas de las XIII Jornadas Hispano-Lusas de Matemáticas (Valladolid), To appear.
García Lapresta, J. L. [1988b] Restricciones en la Propiedad de la Deducción: Análisis preliminar , Actes del VII Congrés Catalàde Lògica , Barcelona, pp. 47–50.
García Lapresta, J. L. [1991] Lógicas finitamente deductivas. Restricciones de cardinalidad en la Propiedad de la Deducción , Ph. D. Thesis , University of Barcelona.
Gil, A. J. [1996] Sistemes de Gentzen multidimensionals i lògiques finitament valorades. Teoria i Aplicacions , Ph. D. Thesis , University of Barcelona.
Gil, A. J., Torrens, A., and Verdú, V. [1997] On Gentzen systems associated with the finite linear MV-algebras , Journal of Logic and Computation , vol. 7, no. 4, pp. 473–500.
Grzegorczyk, A. [1972] An approach to logical calculi , Studia Logica , vol. 30, pp. 33–43.
Harrop, R. [1965] Some structure results for propositional calculi , The Journal of Symbolic Logic , vol. 30, pp. 271–292.
Harrop, R. [1968] Some forms of models of propositional calculi , Contributions to mathematical logic (Schmidt, H. A., Schütte, K., and Thiele, H. J., editors), North-Holland, pp. 163–174.
Herrmann, B. [1993a] Algebraizability and Beth's Theorem for equivalential logics , Bulletin of the Section of Logic , vol. 22, pp. 85–88.
Herrmann, B. [1993b] Equivalential logics and definability of truth , Ph. D. Thesis , Freie Universität Berlin, 61 pp.
Herrmann, B. and Wolter, F. [1994] Representations of algebraic lattices , Algebra Universalis , vol. 31, pp. 612–613.
Jansana, R. [1991] Los fragmentos □ de la lógica modal K , Actas del VII Congreso de Lenguajes Naturales y Lenguajes Formales (Vic, Barcelona) (Martín-Vide, C., editor), pp. 409–413.
Jansana, R. [1992] La lógica de la demostrabilidad y una semántica de lógicas abstractas, Manuscript.
Jansana, R. [1995] Abstract modal logics , Studia Logica , vol. 55, no. 2, pp. 273–299.
Jansana, R. [2002] Full models for positive modal logic , Mathematical Logic Quarterly , vol. 48, pp. 427–445.
Jansana, R. [2003] Leibniz filters revisited , Studia Logica , vol. 75, pp. 305–317.
Jansana, R. [2005] Selfextensional logics with implication , Logica universalis (Béziau, J.-Y., editor), Birkhäuser Verlag, Basel, pp. 65–88.
Jansana, R. [2006] Selfextensional logics with a conjunction , Studia Logica , vol. 84, pp. 63–104.
Keisler, H. J. and Miller, A. [2001] Categoricity without equality , Fundamenta Mathematicae , vol. 170, pp. 87–106.
Knuth, D. E., Larrabee, T., and Roberts, P. M. [1989] Mathematical writing , MAA Notes Series, vol. 14, The Mathematical Association of America.
Kracht, M. [2007] Modal consequence relations , Handbook of modal logic (Blackburn, P., van Benthem, J., and Wolter, F., editors), Studies in Logic and Practical Reasoning, vol. 3, Elsevier, Amsterdam, pp. 491–545.
Lemmon, E J. [1966] Algebraic semantics for modal logics (I and II) , The Journal of Symbolic Logic , vol. 31, pp. 46–65 and 191–218.
Lewin, R. A., Mikenberg, I. F., and Schwarze, M. G. [1990] Algebraization of paraconsistent logic P 1, Journal of Non-Classical Logic , vol. 7, pp. 79–88.
Lewin, R. A., Mikenberg, I. F., and Schwarze, M. G. [1991] C 1 is not algebraizable , Notre Dame Journal of Formal Logic , vol. 32, pp. 609–611.
Lewin, R. A., Mikenberg, I. F., and Schwarze, M. G. [1994] P 1 algebras , Studia Logica , vol. 53, pp. 21–28.
Łosś, J. [1949] O matrycach logicznych , Ser. B, vol. 19, Prace Wrocławskiego Towarzystwa Naukowege.
Łoś, J. and Suszko, R. [1958] Remarks on sentential logics , Indagationes Mathematicae , vol. 20, pp. 177–183.
Loureiro, I. [1982] Axiomatisation et propriétés des algèbres modales tétravalentes , Comptes Rendus de l'Académie des Sciences de Paris, Série I, Mathématique , vol. 295, pp. 555–557.
Loureiro, I. [1985] Principal congruences of tetravalent modal algebras , Notre Dame Journal of Formal Logic , vol. 26, pp. 76–80.
Makinson, D. [1977] Review 54#65 , Mathematical Reviews , vol. 54.
Pigozzi, D. [1991] Fregean algebraic logic , Algebraic logic (Andréka, H., Monk, J. D., and Németi, I., editors), Colloquia Mathematica Societatis János Bolyai, vol. 54, North-Holland, Amsterdam, pp. 473–502.
Pla, J. and Verdú, V. [1980] Àlgebres quasi-Hilbertianes , Publicacions de la Seccióde Matemàtiques, Universitat Autònoma de Barcelona , vol. 20, pp. 97–99.
Pogorzelski, W. A. and Słupecki, J. [1960a] Basic properties of deductive systems based on nonclassical logics, I , Studia Logica , vol. 9, pp. 163–176.
Pogorzelski, W. A. and Słupecki, J. [1960b] Basic properties of deductive systems based on nonclassical logics, II , Studia Logica , vol. 10, pp. 77–95.
Pogorzelski, W. A. and Wojtylak, P. [1982] Elements of the theory of completeness in propositional logic , The Silesian University, Katowice.
Porƙbska, M. and Wroński, A. [1975] A characterization of fragments of the intuitionistic propositional logic , Reports on Mathematical Logic , vol. 4, pp. 39–42.
Priest, G. [1979] The logic of paradox , Journal of Philosophical Logic , vol. 8, pp. 219–241.
Pynko, A. [1995] On Priest's logic of paradox , Journal of Applied Non-Classical Logics , vol. 5, pp. 219–225.
Pynko, A. [1999] Definitional equivalence and algebraizability of generalized logical systems , Annals of Pure and Applied Logic , vol. 98, pp. 1–68.
Pynko, A. P. [1995a] Algebraic study of Sette's maximal paraconsistent logic , Studia Logica , vol. 54, pp. 89–128.
Pynko, A. P. [1995b] Characterizing Belnap's logic via De Morgan's laws , Mathematical Logic Quarterly , vol. 41, no. 4, pp. 442–454.
Raftery, J. [2006] Correspondences between Gentzen and Hilbert systems , The Journal of Symbolic Logic , vol. 71, pp. 903–957.
Rasiowa, H. [1974] An algebraic approach to non-classical logics , Studies in Logic and the Foundations of Mathematics, vol. 78, North-Holland, Amsterdam.
Rasiowa, H. and Sikorski, R. [1953] Algebraic treatment of the notion of satisfability , Fundamenta Mathematicae , vol. 40, pp. 62–95.
Rautenberg, W. [1981] 2-element matrices , Studia Logica , vol. 40, pp. 315–353.
Rautenberg, W. [1991] Axiomatizing logics closely related to varieties , Studia Logica, Special Issue on Algebraic Logic , vol. 50, pp. 607–622.
Rautenberg, W. [1993] On reduced matrices , Studia Logica , vol. 52, pp. 63–72.
Rebagliato, J. and Verdú, V. [1993] On the algebraization of some Gentzen systems , Fundamenta Informaticae, Special Issue on Algebraic Logic and its Applications , vol. 18, pp. 319–338.
Rebagliato, J. and Verdú, V. [1995] Algebraizable Gentzen systems and the Deduction Theorem for Gentzen systems , Mathematics Preprint Series 175 , University of Barcelona, June.
Rius, M. [1992] Lògiques modals tetravalents , Ph. D. Thesis , University of Barcelona.
Rodríguez, A. J., Torrens, A., and Verdú, V. [1990] Łukasiewicz logic and Wajsberg algebras , Bulletin of the Section of Logic , vol. 19, pp. 51–55.
Rodríguez, G. [1990] Àlgebres i lògiques abstractes associades al càlcul R de la rellevància , Ph. D. Thesis , University of Barcelona.
Sette, A. M. [1973] On the propositional calculus P 1, Mathematica Japonica , vol. 16, pp. 173–180.
Shoesmith, D. J. and Smiley, T. J. [1978] Multiple-conclusion logic , Cambridge University Press, Cambridge.
Smiley, T. J. [1962] The independence of connectives , The Journal of Symbolic Logic , vol. 27, pp. 426–436.
Tarski, A. [1930] Über einige fundamentale Begriffe der Metamathematik , Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Cl. III , vol. 23, pp. 22–29.
Verdú, V. [1978] Contribucióa l'estudi de certs tipus de lògiques abstractes , Ph. D. Thesis , University of Barcelona.
Tarski, A. [1979] Lògiques distributives i Booleanes , Stochastica , vol. 3, pp. 97–108.
Tarski, A. [1985] Some algebraic structures determined by closure operators , Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 31, pp. 275–278.
Tarski, A. [1986] On some relations between closure operators and congruences, Manuscript.
Tarski, A. [1987] Logics projectively generated from [M] = (F 4, [{1}]) by a set of homomorphisms , Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 33, pp. 235–241.
Wójcicki, R. [1969] Logical matrices strongly adequate for structural sentential calculi , Bulletin de l'Académie Polonaise des Sciences, Classe III , vol. XVII, pp. 333–335.
Wójcicki, R. [1970] Some remarks on the consequence operation in sentential logics , Fundamenta Mathematicae , vol. 68, pp. 269–279.
Wójcicki, R. [1973] Matrix approach in the methodology of sentential calculi , Studia Logica , vol. 32, pp. 7–37.
Wójcicki, R. [1984] Lectures on propositional calculi , Ossolineum, Wroclaw.
Wójcicki, R. [1988] Theory of logical calculi. Basic theory of consequence operations , Synthese Library, vol. 199, Reidel, Dordrecht.
Zeman, J. J. [1973] Modal logic. The Lewis-modal systems , Oxford University Press.

Metrics

Altmetric attention score

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Book summary page views

Total views: 0 *
Loading metrics...

* Views captured on Cambridge Core between #date#. This data will be updated every 24 hours.

Usage data cannot currently be displayed.