Proof-theory and semantics for a theory of definite descriptions (Q2142067): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3201825737
@@ Property / OpenAlex ID: W3201825737 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342084
@@ Property / cites work: Q4342084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355889
@@ Property / cites work: Q4355889 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical calculus with descriptions
@@ Property / cites work: A logical calculus with descriptions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703808
@@ Property / cites work: Q2703808 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order modal logic
@@ Property / cites work: First-order modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5409126
@@ Property / cites work: Q5409126 / rank @@
+Normal rank
@@ Property / cites work @@
+Incomplete symbols -- definite descriptions revisited
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5224577
@@ Property / cites work: Q5224577 / rank @@
+Normal rank
@@ Property / cites work @@
+Fregean Description Theory in Proof-Theoretical Setting
+Normal rank
@@ Property / cites work @@
+Q5104714
@@ Property / cites work: Q5104714 / rank @@
+Normal rank
@@ Property / cites work @@
+Free Definite Description Theory – Sequent Calculi and Cut Elimination
+Normal rank
@@ Property / cites work @@
+Free logics are cut-free
@@ Property / cites work: Free logics are cut-free / rank @@
+Normal rank
@@ Property / cites work @@
+A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
+Normal rank
@@ Property / cites work @@
+Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic
+Normal rank
@@ Property / cites work @@
+A binary quantifier for definite descriptions for cut free free logics
+Normal rank
@@ Property / cites work @@
+Definite Descriptions in Intuitionist Positive Free Logic
+Normal rank
@@ Property / cites work @@
+Completeness theorems for some presupposition-free logics
+Normal rank
@@ Property / cites work @@
+Universally free logic and standard quantification theory
+Normal rank
@@ Property / cites work @@
+Q4793386
@@ Property / cites work: Q4793386 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3518425
@@ Property / cites work: Q3518425 / rank @@
+Normal rank
@@ Property / cites work @@
+Modality and description
@@ Property / cites work: Modality and description / rank @@
+Normal rank