Premium
The Semantic Completeness of a Global Intuitionistic Logic
Author(s) -
Aoyama Hiroshi
Publication year - 1998
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19980440204
Subject(s) - completeness (order theory) , gödel's completeness theorem , mathematics , intuitionistic logic , predicate (mathematical logic) , predicate logic , modal logic , modal , algebraic semantics , calculus (dental) , algebraic number , discrete mathematics , algebra over a field , computer science , pure mathematics , artificial intelligence , programming language , description logic , propositional calculus , medicine , mathematical analysis , chemistry , dentistry , polymer chemistry
In this paper we will study a formal system of intuitionistic modal predicate logic. The main result is its semantic completeness theorem with respect to algebraic structures. At the end of the paper we will also present a brief consideration of its syntactic relationships with some similar systems.