A Theory of Equality for a Class of Many-Valued Predicate Calculi

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):427-432 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19740202508

Links

PhilArchive



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

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

A Theory of Equality for a Class of Many‐Valued Predicate Calculi.Charles G. Morgan - 1974 - Mathematical Logic Quarterly 20 (25‐27):427-432.
Interpolation Properties For A Class Of Many-valued Propositional Calculi.Grzegorz Malinowski & Marek Michalczyk - 1981 - Bulletin of the Section of Logic 10 (1):9-14.
Generalizability of the propositional and predicate calculi to infinite-valued calculi.Hermann F. Schott - 1970 - Notre Dame Journal of Formal Logic 11 (1):107-128.
Subject-predicate calculus free from existential import.V. A. Bocharov - 1983 - Studia Logica 42 (2-3):209 - 221.
Many-place sequent calculi for finitely-valued logics.Alexej P. Pynko - 2010 - Logica Universalis 4 (1):41-66.
Bochvar's algebras and corresponding propositional calculi.Viktor Finn & Revaz Grigolia - 1980 - Bulletin of the Section of Logic 9 (1):39-43.
On axiomatization of many-valued logics associated with formalization of plausible reasonings.O. M. Anshakov, V. K. Finn & D. P. Skvortsov - 1989 - Studia Logica 48 (4):423 - 447.
Mixed-valued predicate calculi.Helena Rasiowa - 1975 - Studia Logica 34 (3):215 - 234.
Alan Rose. A formalisation of the ℵ 0 -valued Łukasiewicz implicational propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 293–294. [REVIEW]A. Mostowski - 1970 - Journal of Symbolic Logic 35 (1):143-143.
Topological representations of post algebras of order ω+ and open theories based on ω+-valued post logic.Helena Rasiowa - 1985 - Studia Logica 44 (4):353 - 368.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
Distributive-lattice semantics of sequent calculi with structural rules.Alexej P. Pynko - 2009 - Logica Universalis 3 (1):59-94.
On an Axiomatic System of the Infinitely Many‐Valued Threshold Predicate Calculi.Akira Nakamura - 1963 - Mathematical Logic Quarterly 9 (21):321-329.
On an Axiomatic System of the Infinitely Many-Valued Threshold Predicate Calculi.Akira Nakamura - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (21):321-329.
Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.

Analytics

Added to PP
2016-02-04

Downloads
32 (#512,117)

6 months
2 (#1,243,547)

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

Many-valued logics.J. Barkley Rosser - 1977 - Westport, Conn.: Greenwood Press. Edited by Atwell R. Turquette.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
Many-valued Logics.Leonard Goddard - 1954 - Philosophical Quarterly 4 (15):188-189.

Add more references