[product]¹2-logic, Part 1: Dilators

Annals of Mathematical Logic 21 (2):75 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(81)90016-4

Links

PhilArchive



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

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

Π12-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2-3):75-219.
A strong boundedness theorem for dilators.A. S. Kechris & W. H. Woodin - 1991 - Annals of Pure and Applied Logic 52 (1-2):93-97.
Embedding logics into product logic.Matthias Baaz, Petr Hájek, David Švejda & Jan Krajíček - 1998 - Studia Logica 61 (1):35-47.
Some Uses of Dilators in Combinatorial Problems. II.V. Michele Abrusci, Jean-Yves Girard & Jacques van de Wiele - 1990 - Journal of Symbolic Logic 55 (1):32 - 40.
Some uses of dilators in combinatorial problems.V. Michele Abrusci - 1989 - Archive for Mathematical Logic 29 (2):85-109.
Countable Admissible Ordinals and Dilators.Gerhard Jäger - 1986 - Mathematical Logic Quarterly 32 (25‐30):451-456.
The Incompleteness of S4 {bigoplus} S4 for the Product Space.Philip Kremer - 2015 - Studia Logica 103 (1):219-226.
Product Ł ukasiewicz Logic.Rostislav Horčík & Petr Cintula - 2004 - Archive for Mathematical Logic 43 (4):477-503.
Products of modal logics. Part 3: Products of modal and temporal logics.Dov Gabbay & Valentin Shehtman - 2002 - Studia Logica 72 (2):157-183.
Analytic Calculi for Product Logics.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2004 - Archive for Mathematical Logic 43 (7):859-889.
The $L\Pi$ and $L\Pi\frac{1}{2}$ logics: two complete fuzzy systems joining Łukasiewicz and Product Logics. [REVIEW]Francesc Esteva, Lluís Godo & Franco Montagna - 2001 - Archive for Mathematical Logic 40 (1):39-67.
Multimo dal Logics of Products of Topologies.J. Van Benthem, G. Bezhanishvili, B. Ten Cate & D. Sarenac - 2006 - Studia Logica 84 (3):369 - 392.
Product Teleosemantics: The Next Stage in the Evolution of Product Semantics.John Takamura - 2008 - In Proceedings of the International Association of Societies of Design Research.
A Categorical Equivalence for Product Algebras.Franco Montagna & Sara Ugolini - 2015 - Studia Logica 103 (2):345-373.
How Philosophical is Informal Logic?John Woods - 2000 - Informal Logic 20 (2).

Analytics

Added to PP
2015-02-05

Downloads
41 (#380,229)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Open questions in reverse mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.
Slow consistency.Sy-David Friedman, Michael Rathjen & Andreas Weiermann - 2013 - Annals of Pure and Applied Logic 164 (3):382-393.
Slow growing versus fast growing.S. S. Wainer - 1989 - Journal of Symbolic Logic 54 (2):608-614.

View all 45 citations / Add more citations

References found in this work

No references found.

Add more references