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

DOI10.2307/2275242zbMATH Open0785.03001OpenAlexW4248220993MaRDI QIDQ3138023FDOQ3138023

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

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

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)

Cites Work

• Theory of rejected propositions. I
• Undecidable theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• Provability interpretations of modal logic
• Locally cartesian closed categories and type theory
• Title not available (Why is that?)
• Proof theory
• The word problem
• Partial inductive definitions
• TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
• Assessing Test Data Adequacy through Program Inference
• Kripke models and intermediate logics
• Banishing the rule of substitution for functional variables
• On comparison of theories by their contents
• Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. I
• The linear abstract machine
• A new system of proof-theoretic ordinal functions
• Title not available (Why is that?)
• Domain interpretations of Martin-Löf's partial type theory
• 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
• A NOTATION SYSTEM FOR ORDINAL USING Ψ‐FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS
• An opposite and an expanded system

Cited In (6)

• 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
• Title not available (Why is that?)
• 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

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)