European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987

DOI10.2307/2274896MaRDI QIDQ3476783zbMATH OpenOpenAlexFDO

Authors

Publication date 1989

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274896

zbMATH Keywords

Granada/SpainLogic ColloquiumEuropean Summer MeetingSymbolic Logic

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3438844 (Why is no real title available?)
• scientific article; zbMATH DE number 3441289 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• A natural extension of natural deduction
• A propositional calculus with denumerable matrix
• Algebraic semantics for modal logics I
• Bounded Induction and Satisfaction Classes
• Class groups of integral group rings
• Des belles paires aux beaux uples
• Essays in logical semantics
• Finite Partially‐Ordered Quantifiers
• Inaccessible worlds
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem
• On Entailment
• Real closed rings. II. Model theory
• Rosser sentences
• Rough sets
• Rudimentary Predicates and Relative Computation
• Second-order and Inductive Definability on Finite Structures
• Semantic analysis of inductive reasoning
• Structure and complexity of relational queries

Cited in

(9)

• Logic colloquium '87. Proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
• 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
• European Summer Meeting of the Association for Symbolic Logic
• 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06
• Logic colloquium '88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988
• European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991

This page was built for publication: European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987

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