Relations in monadic third-order logic

DOI10.1023/A:1004247419201zbMATH Open0886.03005OpenAlexW2040290908MaRDI QIDQ1372940FDOQ1372940

Authors A. P. Hazen

Publication date 4 November 1997

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1004247419201

zbMATH Keywords

axiom of choicemonadic logictheory of typessymmetric relations

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25)

Recommendations

• scientific article; zbMATH DE number 7360013
• scientific article; zbMATH DE number 1948186
• Logical relations for monadic types
• scientific article; zbMATH DE number 4177028
• Representation of functions and total antisymmetric relations in monadic third order logic
• Relational Logics and Their Applications
• Relational Complexity and Higher Order Logics
• scientific article; zbMATH DE number 1086630
• Relational Parametricity and Separation Logic
• Relational Parametricity and Separation Logic

Cites work

• scientific article; zbMATH DE number 3113497 (Why is no real title available?)
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3304995 (Why is no real title available?)
• scientific article; zbMATH DE number 3198017 (Why is no real title available?)
• Arithmetic and the theory of types
• Mathematics in Megethology

Cited in

(6)

• Uniformization and skolem functions in the class of trees
• scientific article; zbMATH DE number 1948186 (Why is no real title available?)
• Logical relations for monadic types
• Monadic representability of certain binary relations
• Relationships between Connectives in Three-Valued Logics
• Representation of functions and total antisymmetric relations in monadic third order logic

This page was built for publication: Relations in monadic third-order logic

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