Category theory in Isabelle/HOL as a basis for meta-logical investigation (Q6118814): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Introduction to Categories and Categorical Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automating Free Logic in Isabelle/HOL / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automating free logic in HOL, with an experimental application in category theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5040168 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A partial functions version of Church's simple theory of types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3995720 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5639839 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Set-theoretic foundations / rank
 
Normal rank
Property / cites work
 
Property / cites work: What Do We Want a Foundation to Do? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4003736 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3075441 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4793386 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2751373 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Syntactical and semantical properties of simple type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3208629 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer-Supported Exploration of a Categorical Axiomatization of Modeloids / rank
 
Normal rank

Revision as of 13:22, 27 August 2024

scientific article; zbMATH DE number 7810724
Language Label Description Also known as
English
Category theory in Isabelle/HOL as a basis for meta-logical investigation
scientific article; zbMATH DE number 7810724

    Statements

    Category theory in Isabelle/HOL as a basis for meta-logical investigation (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    28 February 2024
    0 references
    formalization of mathematics
    0 references
    category theory
    0 references
    proof assistants
    0 references
    formal methods
    0 references
    shallow embeddings
    0 references

    Identifiers