1995–1996 Winter Meeting of the Association for Symbolic Logic

DOI10.2307/420957zbMath0925.03007OpenAlexW2317186645MaRDI QIDQ4254568

No author found.

Publication date: 23 September 1999

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

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

zbMATH Keywords

MeetingLogicSymbolic logicOrlando/Florida

Mathematics Subject Classification ID

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

Cites Work

• Weak comparability of well orderings and reverse mathematics
• Equational theory of positive numbers with exponentiation is not finitely axiomatizable
• Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
• Rules of inference with parameters for intuitionistic logic

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