Pages that link to "Item:Q385019"
From MaRDI portal
The following pages link to Proof theory for locally finite many-valued logics: semi-projective logics (Q385019):
Displayed 5 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)