scientific article; zbMATH DE number 4135908

zbMATH Open0694.03008MaRDI QIDQ3469080FDOQ3469080

Kosta Došen

Publication date: 1988

Title of this publication is not available (Why is that?)

zbMATH Keywords

second-order logicLambek calculuscategorial grammarcombinatorssyntactic categoriespredicate functors

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Combinatory logic and lambda calculus (03B40)

Cited In (3)

• Pure second-order logic
• Algebraization of quantifier logics, an introductory overview
• A variable-free logic for mass terms

   Recommendations

• Pure second-order logic 👍 👎
• Title not available (Why is that?) 👍 👎
• Two \(\lambda\)-extensions of the theory of homogeneous simple types as a second-order logic 👍 👎
• Combinators and categorial grammar 👍 👎
• Elementary categorial logic, predicates of variable degree, and theory of quantity 👍 👎

This page was built for publication:

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