Bilateral Rules as Complex Rules (Q6200469): Difference between revisions

@@ Property / cites work @@
+Single-assumption systems in proof-theoretic semantics
+Normal rank
@@ Property / cites work @@
+Q4492739
@@ Property / cites work: Q4492739 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Remarks on Proof-Theoretic Semantics
@@ Property / cites work: Some Remarks on Proof-Theoretic Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Bilateralism in proof-theoretic semantics
@@ Property / cites work: Bilateralism in proof-theoretic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3467536
@@ Property / cites work: Q3467536 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5869575
@@ Property / cites work: Q5869575 / rank @@
+Normal rank
@@ Property / cites work @@
+Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
+Normal rank
@@ Property / cites work @@
+Speech acts, categoricity, and the meanings of logical connectives
+Normal rank
@@ Property / cites work @@
+General-elimination stability
@@ Property / cites work: General-elimination stability / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic semantics, a problem with negation and prospects for modality
+Normal rank
@@ Property / cites work @@
+Some comments on Ian Rumfitt's bilateralism
@@ Property / cites work: Some comments on Ian Rumfitt's bilateralism / rank @@
+Normal rank
@@ Property / cites work @@
+Q5039104
@@ Property / cites work: Q5039104 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical harmony: Rules of inference and the meaning of the logical constants
+Normal rank
@@ Property / cites work @@
+Inversion Principles and Introduction Rules
@@ Property / cites work: Inversion Principles and Introduction Rules / rank @@
+Normal rank
@@ Property / cites work @@
+On Inversion Principles
@@ Property / cites work: On Inversion Principles / rank @@
+Normal rank
@@ Property / cites work @@
+Classical harmony and separability
@@ Property / cites work: Classical harmony and separability / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in Proof-Theoretic Semantics
@@ Property / cites work: Completeness in Proof-Theoretic Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3119349
@@ Property / cites work: Q3119349 / 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 @@
+Q5483305
@@ Property / cites work: Q5483305 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical logic without bivalence
@@ Property / cites work: Classical logic without bivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Validity concepts in proof-theoretic semantics
@@ Property / cites work: Validity concepts in proof-theoretic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Why conclusions should remain single
@@ Property / cites work: Why conclusions should remain single / rank @@
+Normal rank
@@ Property / cites work @@
+Inferentialism, Logicism, Harmony, and a Counterpoint
+Normal rank
@@ Property / cites work @@
+HARMONISING HARMONY
@@ Property / cites work: HARMONISING HARMONY / rank @@
+Normal rank