Issue icon
Issue

2019/48/2

Journal: Bulletin of the Section of Logic
Year: 2019
Volume: 48
Number: 2

Articles

81-97

A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation

  • Nils Kürbis
99-116

The Method of Socratic Proofs Meets Correspondence Analysis

  • Dorota Leszczyńska-Jasion
  • Yaroslav Petrukhin
  • Vasilyi Shangin
137-158

Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate

  • Paolo Maffezioli
  • Eugenio Orlandelli

Semi-Heyting Algebras and Identities of Associative Type

  • Juan M. Cornejo
  • Hanamantagouda P. Sankappanavar