Pages that link to "Item:Q263086"
From MaRDI portal
The following pages link to Naive modus ponens and failure of transitivity (Q263086):
Displayed 6 items.
- Deep \textsf{ST} (Q2679574) (← links)
- Metasequents and tetravaluations (Q2679584) (← links)
- ST, LP and Tolerant Metainferences (Q3305673) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
- A family of metainferential logics (Q5742701) (← links)
- (Meta)inferential levels of entailment beyond the Tarskian paradigm (Q6088599) (← links)