default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReports on Mathematical Logic, Volume 35
Volume 35, 2001
- Camillo Fiorentini:
Hypercanonicity, Extensive Canonicity, Canonicity and Strong Completeness of Intermediate Propositional Logics. 3-46 - J. W. Degen:
Proof Theory for Finitely Valid Sentences. 47-59 - Robert Cowen:
Property S. 61-74 - Joanna Grygiel:
Boolean Constructions of Independent Sets of Generators for Filters. 75-85 - Piotr Wojtylak, Andrzej Wronski:
On the Problem of R. E. Tax. 87-101 - George Georgescu:
Some Model Theory for Probability Structures. 103-113 - Josep Maria Font, Ramon Jansana, Don Pigozzi:
Fully Adequate Gentzen Systems and the Deduction Theorem. 115-165
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-31 22:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
