Spring Meeting of the Association for Symbolic Logic, San Francisco, 1991
From MaRDI portal
Publication:4008763
DOI10.2307/2275206zbMath0753.03004OpenAlexW2027723626MaRDI QIDQ4008763
No author found.
Publication date: 27 September 1992
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275206
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- Unnamed Item
- Counterfactuals and comparative possibility
- Notes on naive semantics
- Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
- Truth and paradox
- A definition of truth for theories with intensional definite description operators
- Towards feasible solutions of the tautology problem
- On Free Description Theory
This page was built for publication: Spring Meeting of the Association for Symbolic Logic, San Francisco, 1991
