Logical consequence and the paradoxes (Q484113): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10992-013-9268-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2078225254
@@ Property / OpenAlex ID: W2078225254 / rank @@
+Normal rank
@@ Property / cites work @@
+Informational semantics as a third alternative?
@@ Property / cites work: Informational semantics as a third alternative? / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke models for linear logic
@@ Property / cites work: Kripke models for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The pure calculus of entailment
@@ Property / cites work: The pure calculus of entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Simple consequence relations
@@ Property / cites work: Simple consequence relations / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of linear logic
@@ Property / cites work: The semantics and proof theory of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4662877
@@ Property / cites work: Q4662877 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of consequence operations
@@ Property / cites work: Equivalence of consequence operations / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3543573
@@ Property / cites work: Q3543573 / rank @@
+Normal rank
@@ Property / cites work @@
+The inconsistency of certain formal logics
@@ Property / cites work: The inconsistency of certain formal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Relevant predication. I: The formal theory
@@ Property / cites work: Relevant predication. I: The formal theory / rank @@
+Normal rank
@@ Property / cites work @@
+A revenge-immune solution to the semantic paradoxes
+Normal rank
@@ Property / cites work @@
+Q3058982
@@ Property / cites work: Q3058982 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational type characterization for \(\sigma\)-complete MV-algebras.
+Normal rank
@@ Property / cites work @@
+Q5642540
@@ Property / cites work: Q5642540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic analysis of orthologic
@@ Property / cites work: Semantic analysis of orthologic / rank @@
+Normal rank
@@ Property / cites work @@
+PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
+Normal rank
@@ Property / cites work @@
+Storage Operators and Multiplicative Quantifiers in Many-valued Logics
+Normal rank
@@ Property / cites work @@
+On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
+Normal rank
@@ Property / cites work @@
+Q3093482
@@ Property / cites work: Q3093482 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on a theme of Curry
@@ Property / cites work: Variations on a theme of Curry / rank @@
+Normal rank
@@ Property / cites work @@
+Positive abstraction and extensionality
@@ Property / cites work: Positive abstraction and extensionality / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for relevance logic with identity
@@ Property / cites work: Semantics for relevance logic with identity / rank @@
+Normal rank
@@ Property / cites work @@
+Q2845524
@@ Property / cites work: Q2845524 / rank @@
+Normal rank
@@ Property / cites work @@
+An alternative semantics for quantified relevant logic
+Normal rank
@@ Property / cites work @@
+Q4198728
@@ Property / cites work: Q4198728 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank
@@ Property / cites work @@
+Q4940727
@@ Property / cites work: Q4940727 / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural logics: a primer
@@ Property / cites work: Substructural logics: a primer / rank @@
+Normal rank
@@ Property / cites work @@
+Meaning and proofs: on the conflict between classical and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q3992933
@@ Property / cites work: Q3992933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+On t and u, and what they can do
@@ Property / cites work: On t and u, and what they can do / rank @@
+Normal rank
@@ Property / cites work @@
+Naïve comprehension and contracting implications
@@ Property / cites work: Naïve comprehension and contracting implications / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
+Normal rank
@@ Property / cites work @@
+The Guru, the Logician, and the Deflationist: Truth and Logical Consequence
+Normal rank
@@ Property / cites work @@
+Q4159022
@@ Property / cites work: Q4159022 / rank @@
+Normal rank
@@ Property / cites work @@
+Studies on the axiom of comprehension
@@ Property / cites work: Studies on the axiom of comprehension / 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 @@
+The logic of information structures
@@ Property / cites work: The logic of information structures / rank @@
+Normal rank
@@ Property / cites work @@
+TRUTH WITHOUT CONTRA(DI)CTION
@@ Property / cites work: TRUTH WITHOUT CONTRA(DI)CTION / rank @@
+Normal rank