logical system (Q2285): Difference between revisions

Latest revision as of 13:45, 10 February 2023

type of system

Language	Label	Description	Also known as
English	logical system	type of system	deductive system logic

0 references

0 references

0 references

0 references

@@ Property / subclass of @@
+formal system
@@ Property / subclass of: formal system / rank @@
+Normal rank
@@ Property / has quality @@
+consistency
@@ Property / has quality: consistency / rank @@
+Normal rank
@@ Property / has part(s) @@
+formal system
@@ Property / has part(s): formal system / rank @@
+Normal rank
@@ Property / has part(s) @@
+interpretation
@@ Property / has part(s): interpretation / rank @@
+Normal rank