Existential Import and Relations of Categorical and Modal Categorical Statements (Q3121968): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+The New Rising of the Square of Opposition
@@ Property / cites work: The New Rising of the Square of Opposition / rank @@
+Normal rank
@@ Property / cites work @@
+The square of opposition: a cornerstone of thought
+Normal rank
@@ Property / cites work @@
+The Cube, the Square and the Problem of Existential Import
+Normal rank
@@ Property / cites work @@
+Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions
+Normal rank
@@ Property / cites work @@
+Hyperintensional logic
@@ Property / cites work: Hyperintensional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4608337
@@ Property / cites work: Q4608337 / rank @@
+Normal rank
@@ Property / cites work @@
+Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
+Normal rank
@@ Property / cites work @@
+First-order modal logic
@@ Property / cites work: First-order modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3467536
@@ Property / cites work: Q3467536 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4570895
@@ Property / cites work: Q4570895 / rank @@
+Normal rank
@@ Property / cites work @@
+II.—SUBJECT AND PREDICATE
@@ Property / cites work: II.—SUBJECT AND PREDICATE / rank @@
+Normal rank
@@ Property / cites work @@
+Predication and extensionalization
@@ Property / cites work: Predication and extensionalization / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?
+Normal rank
@@ Property / cites work @@
+Towards a more general concept of inference
@@ Property / cites work: Towards a more general concept of inference / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach
+Normal rank
@@ Property / cites work @@
+Explicating the Notion of Truth Within Transparent Intensional Logic
+Normal rank
@@ Property / cites work @@
+Q3949031
@@ Property / cites work: Q3949031 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992728
@@ Property / cites work: Q3992728 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.12775/llp.2017.026
+Normal rank
@@ Property / OpenAlex ID @@
+W2751301197
@@ Property / OpenAlex ID: W2751301197 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3121968