T-f-toposes For Lukasiewicz's Infinite-valued Logics

Bulletin of the Section of Logic 17 (3-4):182-187 (1988)
  Copy   BIBTEX

Abstract

The interpretation of the Lukasiewicz’s ℵ0-infinite-valued logic Lℵ0 in topoi is proposed. The construction of the T-F-topos of functors Set Σ is defined by means of infinite T-F-sequences and then it is used for the interpretation of Lℵ0 in this topos. The equivalency of factor-semantics and T-F-toposes semantics for Lℵ0 is proved

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Distributivity in lℵ0 and other sentential logics.Branden Fitelson - manuscript
Distributivity in Lℵ0 and Other Sentential Logics.Kenneth Harris & Branden Fitelson - unknown
The completeness of the factor semantics for łukasiewicz's infinite-valued logics.Vladimir L. Vasyukov - 1993 - Studia Logica 52 (1):143 - 167.
Paraconsistency in Categories: Case of Relevance Logic.Vladimir L. Vasyukov - 2011 - Studia Logica 98 (3):429-443.
Borderline Logic.David H. Sanford - 1975 - American Philosophical Quarterly 12 (1):29-39.
On structural completeness of the infinite-valued Lukasiewicz's propositional calculus.Piotr Wojtylak - 1976 - Bulletin of the Section of Logic 5 (4):153-156.
Complementary Sentential Logics.Achille C. Varzi - 1990 - Bulletin of the Section of Logic 19 (4):112-116.
BCKX is the axiomatization of the implicational fragment of Łukasiewicz's infinite-valued logic Łω.A. S. Karpenko & V. M. Popov - 1997 - Bulletin of the Section of Logic 26:112-117.
Games Characterizing Limsup Functions and Baire Class 1 Functions.Márton Elekes, János Flesch, Viktor Kiss, Donát Nagy, Márk Poór & Arkadi Predtetchinski - 2022 - Journal of Symbolic Logic 87 (4):1459-1473.
An Interpretation of Łukasiewicz’s 4-Valued Modal Logic.José M. Méndez, Gemma Robles & Francisco Salto - 2016 - Journal of Philosophical Logic 45 (1):73-87.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Vladimir Vasyukov
Russian Academy of Sciences

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references