Some closure properties of finite definitions

DOI10.1023/A:1011998021743MaRDI QIDQ5951911zbMATH OpenFDO

Authors Maricarmen Martinez

Publication date 4 November 2002

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1011998021743

zbMATH Keywords

circular definitionsrevision theoryrevision rulesfinite definitions

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Definability properties and the congruence closure
• Bounds for D-finite closure properties
• Closure under transfinite extensions
• scientific article; zbMATH DE number 512854
• Gap-definability as a closure property
• A theory of finite closure spaces based on implications
• On Forward Closure and the Finite Variant Property
• scientific article; zbMATH DE number 221111
• Closure properties of \(\varinjlim \mathcal{C}\)
• Closure properties associated to natural equivalences

Cited in

(5)

• Revision without revision sequences: circular definitions
• Guest editors' introduction
• Conditionals in theories of truth
• On Forward Closure and the Finite Variant Property
• Solovay-type theorems for circular definitions

This page was built for publication: Some closure properties of finite definitions

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