scientific article; zbMATH DE number 4135908

MaRDI QIDQ3469080zbMATHFDO

Authors Kosta Došen

Publication date 1988

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)

Recommendations

• Pure second-order logic
• scientific article; zbMATH DE number 4023238
• 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

Cited in

(8)

• Algebraization of quantifier logics, an introductory overview
• Pure second-order logic
• A variable-free logic for mass terms
• Two \(\lambda\)-extensions of the theory of homogeneous simple types as a second-order logic
• Critical analysis of the notion of variable (semiotic and formal viewpoints)
• scientific article; zbMATH DE number 4023238 (Why is no real title available?)
• Elementary categorial logic, predicates of variable degree, and theory of quantity
• From finitary to infinitary second‐order logic

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)