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?)

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

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 (8)

• Title not available (Why is that?)
• Pure second-order logic
• From finitary to infinitary second‐order logic
• Elementary categorial logic, predicates of variable degree, and theory of quantity
• Algebraization of quantifier logics, an introductory overview
• Critical analysis of the notion of variable (semiotic and formal viewpoints)
• A variable-free logic for mass terms
• Two \(\lambda\)-extensions of the theory of homogeneous simple types as a 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)