Provability in predicate product logic (English)
- New search for: Laskowski, Michael C.
- New search for: Malekpour, Shirin
- New search for: Laskowski, Michael C.
- New search for: Malekpour, Shirin
In:
Archive for Mathematical Logic
;
46
, 5-6
; 365-378
;
2007
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:Provability in predicate product logic
-
Contributors:Laskowski, Michael C. ( author ) / Malekpour, Shirin ( author )
-
Published in:Archive for Mathematical Logic ; 46, 5-6 ; 365-378
-
Publisher:
- New search for: Springer-Verlag
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2007
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 54.10 / 08.33 / 31.10
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 46, Issue 5-6
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 347
-
Normal forms for fuzzy logics: a proof-theoretic approachCintula, Petr / Metcalfe, George et al. | 2007
- 365
-
Provability in predicate product logicLaskowski, Michael C. / Malekpour, Shirin et al. | 2007
- 379
-
$ Δ_{1} $ Ultrapowers are totally rigidMcLaughlin, T. G. et al. | 2007
- 385
-
Analytic proof systems for λ-calculus: the elimination of transitivity, and why it mattersMinari, Pierluigi et al. | 2007
- 425
-
Fuzzy logics based on [0,1)-continuous uninormsGabbay, Dov / Metcalfe, George et al. | 2007
- 451
-
A cardinal preserving extension making the set of points of countable V cofinality nonstationaryGitik, Moti / Neeman, Itay / Sinapova, Dima et al. | 2007
- 457
-
Antichains in partially ordered sets of singular cofinalityRinot, Assaf et al. | 2007
- 481
-
On some sheaves of special groupsAstier, Vincent et al. | 2007
- 489
-
Generalized quantifier and a bounded arithmetic theory for LOGCFLKuroda, Satoru et al. | 2007
- 517
-
Theories with constants and three countable modelsTanović, Predrag et al. | 2007
-
The Jordan curve theorem and the Schönflies theorem in weak second-order arithmeticSakamoto, Nobuyuki / Yokoyama, Keita et al. | 2007