Pages that link to "Item:Q1277163"
From MaRDI portal
The following pages link to Sequent calculi for three-valued logics (Q1277163):
Displaying 11 items.
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- Some modal logics based on a three-valued logic (Q1115854) (← links)
- Cut-free systems for three-valued modal logics (Q1203764) (← links)
- Pecularities of some three- and four-valued second order logics (Q1632057) (← links)
- Three-valued derived logics for classical phase spaces (Q1910876) (← links)
- Sound and complete Gentzen deduction system for intermediate propositional logic (Q2824401) (← links)
- Relationships between Connectives in Three-Valued Logics (Q3143148) (← links)
- Expanding the Universe (Q3187717) (← links)
- A three-valued logic for software specification and validation (Q3977997) (← links)
- (Q3979210) (← links)
- Natural deduction for three-valued regular logics (Q4683206) (← links)