Logical consequence and the paradoxes
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 43479 (Why is no real title available?)
- scientific article; zbMATH DE number 3591947 (Why is no real title available?)
- scientific article; zbMATH DE number 3637825 (Why is no real title available?)
- scientific article; zbMATH DE number 2150328 (Why is no real title available?)
- scientific article; zbMATH DE number 1907195 (Why is no real title available?)
- scientific article; zbMATH DE number 932649 (Why is no real title available?)
- scientific article; zbMATH DE number 1406811 (Why is no real title available?)
- scientific article; zbMATH DE number 3370308 (Why is no real title available?)
- A revenge-immune solution to the semantic paradoxes
- Algebraizable logics
- An alternative semantics for quantified relevant logic
- CHR: a constructive relevant natural-deduction logic
- Equational type characterization for \(\sigma\)-complete MV-algebras.
- Equivalence of consequence operations
- Informational semantics as a third alternative?
- Kripke models for linear logic
- Linear logic
- Meaning and proofs: on the conflict between classical and intuitionistic logic
- Naïve comprehension and contracting implications
- On \(t\) and \(u\), and what they can do
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
- PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
- Positive abstraction and extensionality
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
- Relevant predication. I: The formal theory
- Residuated lattices. An algebraic glimpse at substructural logics
- Saving truth from paradox
- Semantic analysis of orthologic
- Semantics for relevance logic with identity
- Simple consequence relations
- Storage Operators and Multiplicative Quantifiers in Many-valued Logics
- Studies on the axiom of comprehension
- Substructural logics: a primer
- The Guru, the Logician, and the Deflationist: Truth and Logical Consequence
- The connectives
- The inconsistency of certain formal logics
- The logic of information structures
- The pure calculus of entailment
- The semantics and proof theory of linear logic
- The semantics and proof theory of the logic of bunched implications
- Truth without contra(di)ction
- Universal logic
- Variations on a theme of Curry
- Why conclusions should remain single
Cited in
(47)- The logics of strict-tolerant logic
- Non-reflexivity and revenge
- Paradox and logical revision. A short introduction
- Contraction, infinitary quantifiers, and omega paradoxes
- Noncontractive classical logic
- A family of metainferential logics
- Noisy vs. merely equivocal logics
- Inferences and metainferences in \(\mathsf{ST}\)
- Paradox, truth and logic. I. Paradox and truth
- Non-Boolean classical relevant logics. II: Classicality through truth-constants
- Prawitz, Proofs, and Meaning
- scientific article; zbMATH DE number 5364050 (Why is no real title available?)
- Second-order logic of paradox
- Principles for object-linguistic consequence: from logical to irreflexive
- scientific article; zbMATH DE number 1735922 (Why is no real title available?)
- Truth without contra(di)ction
- Paths to triviality
- What is a paraconsistent logic?
- scientific article; zbMATH DE number 1472847 (Why is no real title available?)
- scientific article; zbMATH DE number 2101947 (Why is no real title available?)
- A note on contraction-free logic for validity
- Fixed points for consequence relations
- Deep \textsf{ST}
- Naive structure, contraction and paradox
- scientific article; zbMATH DE number 5722369 (Why is no real title available?)
- The nature of entailment: an informational approach
- Contractions of noncontractive consequence relations
- The paradox of classical reasoning
- Paradoxes of logical equivalence and identity
- Trivial Dialetheism and the Logic of Paradox
- A dialogical route to logical pluralism
- scientific article; zbMATH DE number 6389748 (Why is no real title available?)
- External curries
- Editorial introduction: substructural logics and metainferences
- Requiem for logical nihilism, or: logical nihilism annihilated
- Paraconsistent Logical Consequence
- Non-contractability and revenge
- Systems for non-reflexive consequence
- Instability and contraction. \textit{Méditations hégéliennes}. I
- A note on Gödel, Priest and naïve proof
- Two Kinds of Logical Impossibility
- Exceptional logic
- On structural contraction and why it fails
- Towards a non-classical meta-theory for substructural approaches to paradox
- The original sin of proof-theoretic semantics
- Classifying material implications over minimal logic
- Structural weakening and paradoxes
This page was built for publication: Logical consequence and the paradoxes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q484113)
