Pages that link to "Item:Q1854378"
From MaRDI portal
The following pages link to Optimal axiomatizations of finitely valued logics (Q1854378):
Displaying 7 items.
- Binary resolution over Boolean lattices (Q853473) (← links)
- A finite axiomatization of the set of strongly valid Ockhamist formulas (Q1066884) (← links)
- Commodious axiomatization of quantifiers in multiple-valued logic (Q1580665) (← links)
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics (Q2698547) (← links)
- Optimization of sequent calculi for finite-valued logics with equality determinant (Q2896493) (← links)
- (Q3726086) (← links)
- Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC (Q6107288) (← links)