Proof-theoretic semantics, a problem with negation and prospects for modality (Q266652): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+A05
@@ Property / Mathematics Subject Classification ID: 03A05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F03
@@ Property / Mathematics Subject Classification ID: 03F03 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6568202
@@ Property / zbMATH DE Number: 6568202 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof-theoretic semantics
@@ Property / zbMATH Keywords: proof-theoretic semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+harmony
@@ Property / zbMATH Keywords: harmony / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+stability
@@ Property / zbMATH Keywords: stability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+negation
@@ Property / zbMATH Keywords: negation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modality
@@ Property / zbMATH Keywords: modality / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2101642538
@@ Property / OpenAlex ID: W2101642538 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.13988
@@ Property / arXiv ID: 2107.13988 / rank @@
+Normal rank
@@ Property / cites work @@
+On an intuitionistic modal logic
@@ Property / cites work: On an intuitionistic modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856189
@@ Property / cites work: Q4856189 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on harmony
@@ Property / cites work: A note on harmony / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281989
@@ Property / cites work: Q4281989 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715523
@@ Property / cites work: Q2715523 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical harmony: Rules of inference and the meaning of the logical constants
+Normal rank
@@ Property / cites work @@
+A judgmental reconstruction of modal logic
@@ Property / cites work: A judgmental reconstruction of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+On the idea of a general proof theory
@@ Property / cites work: On the idea of a general proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192055
@@ Property / cites work: Q4192055 / rank @@
+Normal rank
@@ Property / cites work @@
+Meaning approached via proofs
@@ Property / cites work: Meaning approached via proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Harmony and autonomy in classical logic
@@ Property / cites work: Harmony and autonomy in classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3003836
@@ Property / cites work: Q3003836 / rank @@
+Normal rank
@@ Property / cites work @@
+General-elimination harmony and the meaning of the logical constants
+Normal rank
@@ Property / cites work @@
+Q2715524
@@ Property / cites work: Q2715524 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:266652