Tableaux for free logics with descriptions (Q2142064): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3202656763
@@ Property / OpenAlex ID: W3202656763 / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzen calculi for the existence predicate
@@ Property / cites work: Gentzen calculi for the existence predicate / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023225
@@ Property / cites work: Q4023225 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 6
@@ Property / cites work: Handbook of philosophical logic. Vol. 6 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355889
@@ Property / cites work: Q4355889 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298571
@@ Property / cites work: Q4298571 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order modal logic
@@ Property / cites work: First-order modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3414345
@@ Property / cites work: Q3414345 / rank @@
+Normal rank
@@ Property / cites work @@
+An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions
+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 logics are cut-free
@@ Property / cites work: Free logics are cut-free / rank @@
+Normal rank
@@ Property / cites work @@
+RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
+Normal rank
@@ Property / cites work @@
+Q4982329
@@ Property / cites work: Q4982329 / 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 @@
+Q4793387
@@ Property / cites work: Q4793387 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 9
@@ Property / cites work: Handbook of philosophical logic. Vol. 9 / rank @@
+Normal rank
@@ Property / cites work @@
+Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
+Normal rank
@@ Property / cites work @@
+Labelled calculi for quantified modal logics with definite descriptions
+Normal rank
@@ Property / cites work @@
+A more unified approach to free logics
@@ Property / cites work: A more unified approach to free logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208629
@@ Property / cites work: Q3208629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3941377
@@ Property / cites work: Q3941377 / rank @@
+Normal rank