Non-Fregean propositional logic with quantifiers (Q286706): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B60
@@ Property / Mathematics Subject Classification ID: 03B60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C80
@@ Property / Mathematics Subject Classification ID: 03C80 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B25
@@ Property / Mathematics Subject Classification ID: 03B25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6585187
@@ Property / zbMATH DE Number: 6585187 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+non-Fregean logic
@@ Property / zbMATH Keywords: non-Fregean logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+sentential calculus with identity
@@ Property / zbMATH Keywords: sentential calculus with identity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+identity connective
@@ Property / zbMATH Keywords: identity connective / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+situational semantics
@@ Property / zbMATH Keywords: situational semantics / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2324313918
@@ Property / OpenAlex ID: W2324313918 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for ''theories of kind W''
@@ Property / cites work: A completeness theorem for ''theories of kind W'' / rank @@
+Normal rank
@@ Property / cites work @@
+Investigations into the sentential calculus with identity
+Normal rank
@@ Property / cites work @@
+Number of non-Fregean sentential logics that have adequate models
+Normal rank
@@ Property / cites work @@
+Number of extensions of non-Fregean logics
@@ Property / cites work: Number of extensions of non-Fregean logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229379
@@ Property / cites work: Q4229379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641129
@@ Property / cites work: Q5641129 / rank @@
+Normal rank
@@ Property / cites work @@
+Identity connective and modality
@@ Property / cites work: Identity connective and modality / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-completeness in non-Fregean logic
@@ Property / cites work: Quasi-completeness in non-Fregean logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:286706