The Semantic Completeness of a Global Intuitionistic Logic | Zendy

Aoyama Hiroshi | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

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.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here

Accelerating Research