European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991

DOI10.2307/2275242MaRDI QIDQ3138023zbMATH OpenOpenAlexFDO

Authors

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

zbMATH Keywords

Uppsala (Sweden)Symbolic logicEuropean summer meetingLogic colloquium

Mathematics Subject Classification ID

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

Recommendations

• European summer meeting of the association for symbolic logic
• European Summer Meeting of the Association for Symbolic Logic
• European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987
• European Summer Meeting of the Association for Symbolic Logic
• 1999 European Summer Meeting of the Association for Symbolic Logic
• European Summer Meeting of the Association for Symbolic Logic
• European summer meeting of the Association for Symbolic Logic
• European Summer Meeting of the Association for Symbolic Logic, Hull, 1986
• European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
• 2001 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '01

Cites work

• scientific article; zbMATH DE number 4010488 (Why is no real title available?)
• scientific article; zbMATH DE number 3792154 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A NOTATION SYSTEM FOR ORDINAL USING Ψ‐FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS
• A new system of proof-theoretic ordinal functions
• A partial functions version of Church's simple theory of types
• A propositional fragment of Leśniewski's ontology and its formulation by the tableau method
• Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. I
• An opposite and an expanded system
• Assessing Test Data Adequacy through Program Inference
• Banishing the rule of substitution for functional variables
• Domain interpretations of Martin-Löf's partial type theory
• Kripke models and intermediate logics
• Linear logic
• Locally cartesian closed categories and type theory
• On comparison of theories by their contents
• Partial inductive definitions
• Proof theory
• Provability interpretations of modal logic
• TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
• The linear abstract machine
• The word problem
• Theory of rejected propositions. I
• Undecidable theories

Cited in

(6)

• scientific article; zbMATH DE number 1014225 (Why is no real title available?)
• European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
• European Summer Meeting of the Association for Symbolic Logic
• European summer meeting of the Association for Symbolic Logic
• 2022 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2022 Reykjavík University Reykjavík, Iceland June 27 – July 1, 2022
• European Summer Meeting of the Association for Symbolic Logic

This page was built for publication: European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3138023)