Formalisations of Many-Valued Propositional Calculi with Variable Functors

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (25-28):403-422 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19850312504

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,475

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

Formalisations of Many‐Valued Propositional Calculi with Variable Functors.John Jones - 1985 - Mathematical Logic Quarterly 31 (25‐28):403-422.
Formalisations of Certain Propositional Calculi with Partially Variable Functors.Alan Rose - 1965 - Mathematical Logic Quarterly 11 (2):177-180.
Algebraiczna semantyka dla nihilistycznych rachunków zdań.Eugeniusz Żabski - 1993 - Filozofia Nauki 4.
Some propositional calculi with constant and variable functors.John Jones - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (30):477-479.
A Formalisation of an ℵ0‐Valued Propositional Calculus with Variable Functors.John Jones - 1982 - Mathematical Logic Quarterly 28 (33‐38):505-510.
A formalisation of an m‐valued propositional calculus with variable functors.John Jones - 1983 - Mathematical Logic Quarterly 29 (6):377-378.
Some formalisations of N0‐valued propositional calculi.Alan Rose - 1956 - Mathematical Logic Quarterly 2 (10‐15):204-209.
Formalisations of further ℵ0-valued Łukasiewicz propositional calculi.Alan Rose - 1978 - Journal of Symbolic Logic 43 (2):207 - 210.
A Formalisation of an ℵ0-Valued Propositional Calculus with Variable Functors.John Jones - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):505-510.
Formalisations of Further $mathbf{aleph}_0$-Valued Lukasiewicz Propositional Calculi.Alan Rose - 1978 - Journal of Symbolic Logic 43 (2):207-210.
A Remark on Propositional Calculi with Variable Functors.Y. Arai & S. Tanaka - 1966 - Proceedings of the Japan Academy 42:1056-1057.
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.
A Formalisation of Post's m‐Valued Propositional Calculus with Variable Functors.Alan Rose - 1965 - Mathematical Logic Quarterly 11 (3):221-226.
Two Non‐Henkinian Fragments of the 2‐Valued Propositional Calculus with Variable Functors.Alan Rose - 1965 - Mathematical Logic Quarterly 11 (1):45-55.
A Formalisation Of The Χ0-valued Łukasiewicz Implicational Propositional Calculus With Variable Functors.Alan Rose - 1967 - Mathematical Logic Quarterly 13 (19-20):293-294.

Analytics

Added to PP
2015-12-02

Downloads
24 (#650,558)

6 months
1 (#1,479,630)

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 - 1952 - Westport, Conn.: Greenwood Press. Edited by Atwell R. Turquette.

Add more references