Pages that link to "Item:Q4542941"
From MaRDI portal
The following pages link to Fibring Labelled Deduction Systems (Q4542941):
Displaying 7 items.
- Hybridizing a logical framework (Q2867954) (← links)
- Truth-values as labels: a general recipe for labelled deduction (Q3643258) (← links)
- (Q4217280) (← links)
- (Q4281253) (← links)
- Fibring Modal First-Order Logics: Completeness Preservation (Q4779584) (← links)
- Deciding Theoremhood in Fibred Logics Without Shared Connectives (Q5350345) (← links)
- Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems (Q5460205) (← links)