scientific article; zbMATH DE number 3659574

MaRDI QIDQ3858249zbMATH OpenFDO

Authors N. C. A. da Costa

Publication date 1980

zbMATH Keywords

logic with extra operatorssyntactic and semantic approachvariable binding term operator

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Cited in

(4)

• Denotation, paradox and multiple meanings
• On a synonymy relation for extensional first order theories. I: A notion of synonymy
• Towards proof-theoretic formulation of the general theory of term-forming operators
• Corcoran the mathematician

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