European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991
From MaRDI portal
Publication:3138023
DOI10.2307/2275242zbMath0785.03001OpenAlexW4248220993MaRDI QIDQ3138023
No author found.
Publication date: 24 October 1993
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275242
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- On comparison of theories by their contents
- Domain interpretations of Martin-Löf's partial type theory
- Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. I
- A propositional fragment of Leśniewski's ontology and its formulation by the tableau method
- The linear abstract machine
- A new system of proof-theoretic ordinal functions
- Partial inductive definitions
- Provability interpretations of modal logic
- Kripke models and intermediate logics
- Theory of rejected propositions. I
- Undecidable theories
- TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
- Locally cartesian closed categories and type theory
- Assessing Test Data Adequacy through Program Inference
- A NOTATION SYSTEM FOR ORDINAL USING Ψ‐FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS
- An opposite and an expanded system
- A partial functions version of Church's simple theory of types
- Banishing the rule of substitution for functional variables
- The word problem
- Proof theory
This page was built for publication: European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991
