A tree-sequent calculus for a natural predicate extension of visser's propositional logic

Ryo Ishigaki, Kentaro Kikuchi

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)

Abstract

We study predicate logic that is interpreted in Kripke models similarly to intuitionistic logic except that the accessibility relation of each model is not necessarily reflexive. Unlike in Ruitenburg's Basic Predicate Calculus, which is previous work on logic of this kind, the notion of formula in our system is the standard one in predicate logic. We give an axiomatization for this logic in the style of tree-sequent calculus (a special form of labelled sequent calculus) and prove its completeness with respect to the class of Kripke models.

Original languageEnglish
Pages (from-to)149-164
Number of pages16
JournalLogic Journal of the IGPL
Volume15
Issue number2
DOIs
Publication statusPublished - 2007 Mar 1

Keywords

  • Kripke models
  • Predicate logic
  • Tree-sequent calculus
  • Visser's propositional logic

ASJC Scopus subject areas

  • Philosophy

Fingerprint Dive into the research topics of 'A tree-sequent calculus for a natural predicate extension of visser's propositional logic'. Together they form a unique fingerprint.

Cite this