The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction

• ALTEN C. J. van

収録刊行物

• Studia Logica

  Studia Logica 63 213-222, 1999

詳細情報

• CRID: 1573950401084495744
• NII論文ID: 30012198622
• DOI: 10.1023/a:1005262630549
• データソース種別:
  • CiNii Articles