Bulletin of the Section of Logic 17 (3/4):127-133 (1988)

Abstract
This paper is an abstract of the report which was presented on the Polish-Soviet meeting on logic . It is shown that one can consider a lineary-ordered Heyting’s and Brouwer’s algebras as truth-values for Lukasiewicz’s infinite-valued logic’s Lω
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,548
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Propositional Calculus with Denumerable Matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Logic with Truth Values in a Linearly Ordered Heyting Algebra.Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):395-408.
Lukasiewicz and Symmetrical Heyting Algebras.Luisa Iturrioz - 1976 - Mathematical Logic Quarterly 23 (7‐12):131-136.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

An Approach to Uncertainty Via Sets of Truth Values.George Gargov - 1995 - Notre Dame Journal of Formal Logic 36 (2):235-268.
Logic and Truth : Some Logics Without Theorems.Jayanta Sen & Mihir Kumar Chakraborty - 2008 - Studia Philosophica Estonica 1 (1):104-117.
Note on a Six-Valued Extension of Three-Valued Logic.Josep M. Font & Massoud Moussavi - 1993 - Journal of Applied Non-Classical Logics 3 (2):173-187.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
A Gentzen System for Conditional Logic.Fernando Guzmán - 1994 - Studia Logica 53 (2):243 - 257.
Some Remarks on the Algebraic Structure of the Medvedev Lattice.Andrea Sorbi - 1990 - Journal of Symbolic Logic 55 (2):831-853.

Analytics

Added to PP index
2014-01-24

Total views
9 ( #863,431 of 2,348,445 )

Recent downloads (6 months)
1 ( #511,012 of 2,348,445 )

How can I increase my downloads?

Downloads

My notes