Pages that link to "Item:Q1409300"

The following pages link to Sequent calculi for Visser's propositional logics (Q1409300):

Displaying 2 items.

• Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (Q5213676) (← links)
• A modification of Visser's formal logic and its connection with Solovay's modal logic (Q6548996) (← links)