The consistency of the axiom of comprehension in the infinite-valued predicate logic of łukasiewicz

Journal of Philosophical Logic 8 (1):509 - 534 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00258447

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

A geometric proof of the completeness of the łukasiewicz calculus.Giovanni Panti - 1995 - Journal of Symbolic Logic 60 (2):563-578.
Complete and atomic algebras of the infinite valued łukasiewicz logic.Roberto Cignoli - 1991 - Studia Logica 50 (3-4):375 - 384.
Consequence and Interpolation in Łukasiewicz Logic.Daniele Mundici - 2011 - Studia Logica 99 (1-3):269-278.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Forcing in łukasiewicz predicate logic.Antonio Di Nola, George Georgescu & Luca Spada - 2008 - Studia Logica 89 (1):111-145.
Tableaux for łukasiewicz infinite-valued logic.Nicola Olivetti - 2003 - Studia Logica 73 (1):81 - 111.
Łukasiewicz logic and the foundations of measurement.Michael Katz - 1981 - Studia Logica 40 (3):209 - 225.
A consistent theory of attributes in a logic without contraction.Richard B. White - 1993 - Studia Logica 52 (1):113 - 142.
Unification of Two Approaches to Quantum Logic: Every Birkhoff -von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic.Jarosław Pykacz - 2010 - Studia Logica 95 (1-2):5 - 20.

Analytics

Added to PP
2009-01-28

Downloads
60 (#256,806)

6 months
10 (#213,340)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

How to be R eally Contraction-Free.Greg Restall - 1993 - Studia Logica 52 (3):381 - 391.
A general logic.John Slaney - 1990 - Australasian Journal of Philosophy 68 (1):74 – 88.
Paths to Triviality.Tore Fjetland Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.
A note on naive set theory in ${\rm LP}$.Greg Restall - 1992 - Notre Dame Journal of Formal Logic 33 (3):422-432.

View all 25 citations / Add more citations

References found in this work

Bemerkungen zum Komprehensionsaxiom.Thoralf Skolem, C. C. Chang & Jens Erik Fenstad - 1967 - Journal of Symbolic Logic 32 (1):128-129.

Add more references