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

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

Latest revision as of 18:55, 9 December 2024

scientific article
Language Label Description Also known as
English
Logical consequence and the paradoxes
scientific article

    Statements

    Logical consequence and the paradoxes (English)
    0 references
    0 references
    0 references
    18 December 2014
    0 references
    paradoxes
    0 references
    structural contraction
    0 references
    V-Curry paradox
    0 references
    informational semantics
    0 references
    substructural logics
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers