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):
Displaying 7 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)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- (Q3770527) (← links)