On Fuzzy Logic III. Semantical completeness of some many-valued propositional calculi

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):447-464 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19790252510

Links

PhilArchive



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

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

On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi.Jan Pavelka - 1979 - Mathematical Logic Quarterly 25 (25‐29):447-464.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
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.
Well‐Defined Fuzzy Sentential Logic.Esko Turunen - 1995 - Mathematical Logic Quarterly 41 (2):236-248.
Semantical study of some systems of vagueness logic.A. Arruda & E. Alves - 1979 - Bulletin of the Section of Logic 8 (3):139-144.
A note on the deductive completeness of m-valued propositional calculi.J. B. Rosser & A. R. Turquette - 1949 - Journal of Symbolic Logic 14 (4):219-225.
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics.A. Avellone, M. Ferrari & P. Miglioli - 1999 - Logic Journal of the IGPL 7 (4):447-480.
Review: J. B. Rosser, A. R. Turquette, A Note on the Deductive Completeness of m-Valued Propositional Calculi. [REVIEW]A. F. Bausch - 1950 - Journal of Symbolic Logic 15 (2):137-138.
First-order fuzzy logic.Vilém Novák - 1987 - Studia Logica 46 (1):87 - 109.
Continuous fuzzy Horn logic.Vilém Vychodil - 2006 - Mathematical Logic Quarterly 52 (2):171-186.
Algebraiczna semantyka dla nihilistycznych rachunków zdań.Eugeniusz Żabski - 1993 - Filozofia Nauki 4.
A proof of axiomatizability of łukasiewicz’s three-valued implicational propositional calculus.T. Prucnal - 1967 - Studia Logica 20 (1):144-144.
Sequent Calculi for Visser's Propositional Logics.Kentaro Kikuchi & Ryo Kashima - 2001 - Notre Dame Journal of Formal Logic 42 (1):1-22.
Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi.Jan Pavelka - 1979 - Mathematical Logic Quarterly 25 (7‐12):119-134.

Analytics

Added to PP
2016-02-04

Downloads
35 (#458,119)

6 months
4 (#796,002)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Standard Gödel Modal Logics.Xavier Caicedo & Ricardo O. Rodriguez - 2010 - Studia Logica 94 (2):189-214.
Omitting uncountable types and the strength of [0,1]-valued logics.Xavier Caicedo & José N. Iovino - 2014 - Annals of Pure and Applied Logic 165 (6):1169-1200.
Omitting types for infinitary [ 0, 1 ] -valued logic.Christopher J. Eagle - 2014 - Annals of Pure and Applied Logic 165 (3):913-932.

View all 16 citations / Add more citations

References found in this work

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.

Add more references