Pages that link to "Item:Q3147361"
From MaRDI portal
The following pages link to Intuitionistic sequent calculi for finitely many-valued logics (Q3147361):
Displaying 11 items.
- Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics (Q874747) (← links)
- On intuitionistic many-valued logics (Q1094408) (← links)
- Many-place sequent calculi for finitely-valued logics (Q1931344) (← links)
- Optimization of sequent calculi for finite-valued logics with equality determinant (Q2896493) (← links)
- (Q4012975) (← links)
- A 4-valued framework encompassing intuitionistic and classical logic (Q4583348) (← links)
- Tree-sequent calculi and decision procedures for intuitionistic modal logics (Q4612431) (← links)
- A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions (Q4644508) (← links)
- Gentzen sequent calculi for some intuitionistic modal logics (Q5014057) (← links)
- Sequent Calculus for Intuitionistic Epistemic Logic IEL (Q5283428) (← links)
- (Q5430379) (← links)