On the Addition of Weakened L‐Reduction Axioms to the Brouwer System

Mathematical Logic Quarterly 24 (25‐30):405-408 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19780242504

Links

PhilArchive



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

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 axiomatizations of public announcement logic.Yanjing Wang & Qinxiang Cao - 2013 - Synthese 190 (S1).
An additive representation on the product of complete, continuous extensive structures.Yutaka Matsushita - 2010 - Theory and Decision 69 (1):1-16.
Brouwer-Zadeh logic and the operational approach to quantum mechanics.Roberto Giuntini - 1990 - Foundations of Physics 20 (6):701-714.
Expressivity and completeness for public update logics via reduction axioms.Barteld Kooi - 2007 - Journal of Applied Non-Classical Logics 17 (2):231-253.
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
Brouwer-Zadeh logic, decidability and bimodal systems.Roberto Giuntini - 1992 - Studia Logica 51 (1):97 - 112.
Lévy hierarchy in weak set theories.Jiří Hanika - 2008 - Journal of Philosophical Logic 37 (2):121 - 140.
Reduction axioms for epistemic actions. Kooi, Barteld & van Benthem, Johan - unknown
Reduction axioms for epistemic actions.Johan van Benthem & Barteld Kooi - unknown
Reducing dynamic epistemic logic to pdl by program transformation.Jan van Eijck - unknown
A semantical investigation on Brouwer-Zadeh logic.Roberto Giuntini - 1991 - Journal of Philosophical Logic 20 (4):411 - 433.
Measurement without archimedean axioms.Louis Narens - 1974 - Philosophy of Science 41 (4):374-393.
Brouwer, as never read by Husserl.Mark van Atten - 2003 - Synthese 137 (1-2):3-19.
Emulation, reduction, and emergence in dynamical systems.Marco Giunti - 2005 - In Proceedings of the 6th Systems Science European Congress, Paris, September 19-22, 2005. (CD-ROM). AFSCET.

Analytics

Added to PP
2013-11-24

Downloads
17 (#862,403)

6 months
3 (#967,057)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On formulas in one variable in NEXT (KTB).Zofia Kostrzycka - 2006 - Bulletin of the Section of Logic 35 (2/3):119-131.

Add more citations

References found in this work

Temporal logic.Nicholas Rescher - 1971 - New York,: Springer Verlag. Edited by Alasdair Urquhart.

Add more references