2006–07 Winter Meeting of the Association for Symbolic Logic
From MaRDI portal
Publication:3533519
DOI10.2178/BSL/1186666152zbMath1147.03302OpenAlexW2498655156MaRDI QIDQ3533519
No author found.
Publication date: 23 October 2008
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/bsl/1186666152
Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Relational semantics for Kleene logic and action logic
- Universal graphs with forbidden subgraphs and algebraic closure
- Admissibility of logical inference rules
- Logic, meaning and computation. Essays in memory of Alonzo Church
- On the admissible rules of intuitionistic propositional logic
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
- On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency
- Unification in intuitionistic logic
- How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
- Turing computable embeddings
- Admissible Rules of Modal Logics
This page was built for publication: 2006–07 Winter Meeting of the Association for Symbolic Logic
