Inferences and metainferences in \(\mathsf{ST}\) (Q830390): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
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-020-09560-x / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3083016359 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Maximal and premaximal paraconsistency in the framework of three-valued semantics / 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: Simple consequence relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: The logics of strict-tolerant logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A hierarchy of classical and paraconsistent logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical Pluralism / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4215630 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tolerant, classical, strict / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pragmatic interpretations of vague expressions: strongest meaning and nonmonotonic consequence / rank
 
Normal rank
Property / cites work
 
Property / cites work: ST, LP and Tolerant Metainferences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Outline of a Theory of Truth / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical consequence and the paradoxes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Principles for object-linguistic consequence: from logical to irreflexive / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cut elimination, identity elimination, and interpolation in super-Belnap logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: The logic of paradox / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH / rank
 
Normal rank
Property / cites work
 
Property / cites work: Classical logic and the strict tolerant hierarchy / rank
 
Normal rank

Latest revision as of 18:27, 25 July 2024

scientific article
Language Label Description Also known as
English
Inferences and metainferences in \(\mathsf{ST}\)
scientific article

    Statements

    Inferences and metainferences in \(\mathsf{ST}\) (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    7 May 2021
    0 references
    strict-tolerant logic
    0 references
    metainferences
    0 references
    proof theory
    0 references
    internal vs external logic
    0 references
    paradoxes
    0 references

    Identifiers