A remark on equational completeness

&
Archive for Mathematical Logic 7 (3-4):122-123 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01969436

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,931

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

Review: H. Ribeiro, R. Schwabauer, A Remark on Equational Completeness. [REVIEW]Peter Perkins - 1971 - Journal of Symbolic Logic 36 (1):161-161.
Ribeiro H. and Schwabauer R.. A remark on equational completeness. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 , pp. 122–123. [REVIEW]Peter Perkins - 1971 - Journal of Symbolic Logic 36 (1):161-161.
Completeness in Equational Hybrid Propositional Type Theory.Maria Manzano, Manuel Martins & Antonia Huertas - 2019 - Studia Logica 107 (6):1159-1198.
Completeness in Equational Hybrid Propositional Type Theory.Maria Manzano, Manuel Martins & Antonia Huertas - 2019 - Studia Logica 107 (6):1159-1198.
A Hilbert-Style Axiomatisation for Equational Hybrid Logic.Luís S. Barbosa, Manuel A. Martins & Marta Carreteiro - 2014 - Journal of Logic, Language and Information 23 (1):31-52.
Theories with equational forking.Markus Junker & Ingo Kraus - 2002 - Journal of Symbolic Logic 67 (1):326-340.
A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
Equational Completeness of Abstract Algebras.Jan Kalicki & Dana Scott - 1958 - Journal of Symbolic Logic 23 (1):56-56.
Equational Completeness and Families of Sets Closed Under Subtraction.J. A. Kalman - 1971 - Journal of Symbolic Logic 36 (1):160-160.
A Normalization Procedure For The Equational Fragment Of Labelled Natural Deduction.A. de Oliveira & R. B. de Queiroz - 1999 - Logic Journal of the IGPL 7 (2):173-215.
Review: Jan Kalicki, Dana Scott, Equational Completeness of Abstract Algebras. [REVIEW]Jerzy Los - 1958 - Journal of Symbolic Logic 23 (1):56-56.
Review: J. A. Kalman, Equational Completeness and Families of Sets Closed Under Subtraction. [REVIEW]Peter Perkins - 1971 - Journal of Symbolic Logic 36 (1):160-160.
Finite Definability of Number-Theoretic Functions and Parametric Completeness of Equational Calculi.Georg Kreisel & William W. Tait - 1967 - Journal of Symbolic Logic 32 (2):270-271.
Fuzzy Horn logic I.Radim Bělohlávek & Vilém Vychodil - 2006 - Archive for Mathematical Logic 45 (1):3-51.
Finite Definability of Number-Theoretic Functions and Parametric Completeness of Equational Calculi.Georg Kreisel & William W. Tait - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (1-5):28-38.

Analytics

Added to PP
2020-12-03

Downloads
3 (#1,726,395)

6 months
2 (#1,257,544)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references