Many‐Valued Modal Propositional Calculi

Mathematical Logic Quarterly 34 (4):343-354 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19880340411

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

Many-Valued Modal Propositional Calculi.Pascal Ostermann - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (4):343-354.
Gentzen's Method for the Many-Valued Propositional Calculi.Vladimir G. Kirin - 1966 - Mathematical Logic Quarterly 12 (1):317-332.
Formalisations of Many‐Valued Propositional Calculi with Variable Functors.John Jones - 1985 - Mathematical Logic Quarterly 31 (25‐28):403-422.
Some many‐valued propositional calculi without single generators.Alan Rose - 1969 - Mathematical Logic Quarterly 15 (7‐12):105-106.
On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi.Jan Pavelka - 1979 - Mathematical Logic Quarterly 25 (25‐29):447-464.
About Connection of the First‐Order Functional Calculus With Many Valued Propositional Calculi.Juliusz Reichbach - 1963 - Mathematical Logic Quarterly 9 (8‐9):117-124.
Locally Full χ0‐Valued Propositional Calculi.Alan Rose - 1972 - Mathematical Logic Quarterly 18 (13‐15):217-226.
Some formalisations of N0‐valued propositional calculi.Alan Rose - 1956 - Mathematical Logic Quarterly 2 (10‐15):204-209.
A Theory of Equality for a Class of Many‐Valued Predicate Calculi.Charles G. Morgan - 1974 - Mathematical Logic Quarterly 20 (25‐27):427-432.
On an Axiomatic System of the Infinitely Many‐Valued Threshold Predicate Calculi.Akira Nakamura - 1963 - Mathematical Logic Quarterly 9 (21):321-329.

Analytics

Added to PP
2013-12-01

Downloads
14 (#264,824)

6 months
3 (#1,723,834)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.
Propositional dynamic logic for searching games with errors.Bruno Teheux - 2014 - Journal of Applied Logic 12 (4):377-394.

View all 10 citations / Add more citations

References found in this work

An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.
Many-valued logics.J. Barkley Rosser - 1977 - Westport, Conn.: Greenwood Press. Edited by Atwell R. Turquette.

Add more references