Pages that link to "Item:Q1653550"
From MaRDI portal
The following pages link to Natural deduction for Post's logics and their duals (Q1653550):
Displaying 8 items.
- Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction'', Rio de Janeiro, Brazil, 2001 (Q368791) (← links)
- Natural deduction for dual-intuitionistic logic (Q694491) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Universal logic: evolution of a project (Q1653546) (← links)
- Natural duality as a tool to study algebras arising from logics (Q2784599) (← links)
- (Q3680812) (← links)
- Constructive natural deduction and its ‘ω-set’ interpretation (Q4006232) (← links)
- On Vidal's trivalent explanations for defective conditional in mathematics (Q5742699) (← links)