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

@@ Property / cites work @@
+Introduction to Categories and Categorical Logic
@@ Property / cites work: Introduction to Categories and Categorical Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
+Normal rank
@@ Property / cites work @@
+Automating Free Logic in Isabelle/HOL
@@ Property / cites work: Automating Free Logic in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Automating free logic in HOL, with an experimental application in category theory
+Normal rank
@@ Property / cites work @@
+Q5040168
@@ Property / cites work: Q5040168 / rank @@
+Normal rank
@@ Property / cites work @@
+A partial functions version of Church's simple theory of types
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretic foundations
@@ Property / cites work: Set-theoretic foundations / rank @@
+Normal rank
@@ Property / cites work @@
+What Do We Want a Foundation to Do?
@@ Property / cites work: What Do We Want a Foundation to Do? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003736
@@ Property / cites work: Q4003736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075441
@@ Property / cites work: Q3075441 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4793386
@@ Property / cites work: Q4793386 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751373
@@ Property / cites work: Q2751373 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactical and semantical properties of simple type theory
+Normal rank
@@ Property / cites work @@
+Q3208629
@@ Property / cites work: Q3208629 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-Supported Exploration of a Categorical Axiomatization of Modeloids
+Normal rank
@@ Property / cites work @@
+Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding
+Normal rank