Meeting of the Association for Symbolic Logic, Stanford, California, 1985

DOI10.2307/2274046zbMath0619.03004OpenAlexW2164217280MaRDI QIDQ3755421

No author found.

Publication date: 1986

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

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

zbMATH Keywords

MeetingSymbolic logicStanford/California

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Generalized quantifiers and the square of opposition
• Notes on naive semantics
• Pronouns and quantifier-scope in English
• Complete problems in the first-order predicate calculus
• A paradox regained
• A note on syntactical treatments of modality
• The undecidability of the second-order unification problem
• The lambda calculus, its syntax and semantics
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Structure and complexity of relational queries
• Truth and paradox
• Pragmatics and intensional logic
• On a Formalization of the Non-Definedness Notion
• A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC
• Functional Characters of Solvable Terms
• A bounded storage algorithm for copying cyclic structures
• THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
• Two-Person Cooperative Games

This page was built for publication: Meeting of the Association for Symbolic Logic, Stanford, California, 1985