1996–1997 Winter Meeting of the Association for Symbolic Logic

DOI10.2307/421151zbMath0900.03007OpenAlexW2056853393MaRDI QIDQ4372926

No author found.

Publication date: 18 January 1998

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0303-toc.htm

zbMATH Keywords

LogicWinter MeetingAssociation for Symbolic LogicSan Diego, California

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

• Unnamed Item
• Linear logic
• \(\Delta^ 1_ 2\)-sets of reals
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Regularity properties for dominating projective sets
• A reduction rule for Peirce formula
• Constructible falsity and inexact predicates
• Canonical formulas for K4. Part I: Basic results
• Modal reduction principles
• ON FINITE APPROXIMABILITY OF SUPERINTUITIONISTIC LOGICS
• Hechler reals

This page was built for publication: 1996–1997 Winter Meeting of the Association for Symbolic Logic