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

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

zbMATH Keywords

axiom of choicemonadic logictheory of typessymmetric relations

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25)

Cites Work

• Title not available (Why is that?)
• Mathematics in Megethology
• Title not available (Why is that?)
• Title not available (Why is that?)
• Arithmetic and the theory of types
• Title not available (Why is that?)

Cited In (6)

• Uniformization and skolem functions in the class of trees
• Logical relations for monadic types
• Representation of functions and total antisymmetric relations in monadic third order logic
• Title not available (Why is that?)
• Relationships between Connectives in Three-Valued Logics
• Monadic representability of certain binary relations

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)