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

Other Versions

reprint Ostermann, Pascal (1988) "Many-Valued Modal Propositional Calculi". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34(4):343-354

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,010

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

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.
Some formalisations of N0‐valued propositional calculi.Alan Rose - 1956 - Mathematical Logic Quarterly 2 (10‐15):204-209.
Locally Full χ0‐Valued Propositional Calculi.Alan Rose - 1972 - Mathematical Logic Quarterly 18 (13‐15):217-226.
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
20 (#1,039,559)

6 months
6 (#858,075)

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.George Edward Hughes & M. J. Cresswell - 1968 - London, England: 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