2005–06 Winter Meeting of the Association for Symbolic Logic
type: Item
instance of: scholarly article
title: 2005–06 Winter Meeting of the Association for Symbolic Logic
zbMATH Open document ID: 1100.03500
publication date: 2006-12-06T00:00:00Z
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 00B05
zbMATH DE Number: 5077488
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2178/bsl/1154698743
OpenAlex ID: W2319721143
cites work: Proof theory in the USSR 1925–1969
cites work: Non-deterministic Multiple-valued Structures
cites work: Q5547543
cites work: Normal monomodal logics can simulate all others
cites work: Q3867808
cites work: Explicit provability and constructive semantics
cites work: First-order intensional logic
cites work: Individual concepts in modal predicate logic
cites work: Fibring of logics as a categorial construction
cites work: Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
cites work: The field of reals with a predicate for the powers of two
cites work: Q4463926
DOI: 10.2178/BSL/1154698743
published in: The Bulletin of Symbolic Logic
description: scientific article