Pages that link to "Item:Q3305621"
From MaRDI portal
The following pages link to First-Degree Entailment and Structural Reasoning (Q3305621):
Displaying 4 items.
- A note on FDE ``all the way up'' (Q778734) (← links)
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
- Logics of upsets of De Morgan lattices (Q6140751) (← links)
