Les algèbres de Heyting-Brouwer et de Ł ukasiewicz trivalentes

Notre Dame Journal of Formal Logic 17 (1):119-126 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093887429

Links

PhilArchive



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

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

Les algèbres de Heyting et de Lukasiewicz trivalentes.Luiz Monteiro - 1970 - Notre Dame Journal of Formal Logic 11 (4):453-466.
Symmetrical Heyting algebras with a finite order type of operators.Luisa Iturrioz - 1995 - Studia Logica 55 (1):89 - 98.
Like a bee on a windowpane: Heyting's reflections on solipsism.Miriam Franchella - 1995 - Synthese 105 (2):207 - 251.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Applications of Kripke models to Heyting-Brouwer logic.Cecylia Rauszer - 1977 - Studia Logica 36 (1-2):61 - 71.
Existence, proof and truth-making: A perspective on the intuitionistic conception of truth.Göran Sundholm - 1994 - Topoi 13 (2):117-126.
An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.
The completeness of the factor semantics for łukasiewicz's infinite-valued logics.Vladimir L. Vasyukov - 1993 - Studia Logica 52 (1):143 - 167.
Extensions of Priest-da Costa Logic.Thomas Macaulay Ferguson - 2014 - Studia Logica 102 (1):145-174.
Subalgebras of Heyting and De Morgan Heyting Algebras.Valeria Castaño & Marcela Muñoz Santis - 2011 - Studia Logica 98 (1-2):123-139.
Intrinsic co-Heyting boundaries and information incompleteness in rough set analysis.Piero Pagliani - unknown
A coalgebraic view of Heyting duality.Brian A. Davey & John C. Galati - 2003 - Studia Logica 75 (3):259 - 270.
Brouwer, as never read by Husserl.Mark van Atten - 2003 - Synthese 137 (1-2):3-19.
Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930.Christian Thiel - 1988 - History and Philosophy of Logic 9 (1):67-75.
Varieties of three-valued Heyting algebras with a quantifier.M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz - 2000 - Studia Logica 65 (2):181-198.

Analytics

Added to PP
2010-08-24

Downloads
12 (#1,058,801)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references