Naive \textit{modus ponens} (Q373022): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10992-012-9239-1 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2019724282 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4662877 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tolerant, classical, strict / rank
 
Normal rank
Property / cites work
 
Property / cites work: The inconsistency of certain formal logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3058982 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The logic of paradox / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sense, entailment and modus ponens / rank
 
Normal rank
Property / cites work
 
Property / cites work: Subintuitionistic logics / 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: A model of tolerance / rank
 
Normal rank
Property / cites work
 
Property / cites work: TRUTH WITHOUT CONTRA(DI)CTION / rank
 
Normal rank

Latest revision as of 22:54, 6 July 2024

scientific article
Language Label Description Also known as
English
Naive \textit{modus ponens}
scientific article

    Statements

    Naive \textit{modus ponens} (English)
    0 references
    0 references
    21 October 2013
    0 references
    contraction
    0 references
    Curry's paradox
    0 references
    entailment
    0 references
    logical consequence
    0 references
    \textit{modus ponens}
    0 references
    transparent truth
    0 references

    Identifiers