Open AccessNeighborhood Semantics for Basic and Intuitionistic Logic
Author(s) -
Morteza Moniri,
Fatemeh Maleki
Publication year - 2015
Publication title -
logic and logical philosophy
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2015.015
Subject(s) - soundness , bisimulation , pointwise , kripke semantics , mathematics , semantics (computer science) , intuitionistic logic , intermediate logic , computer science , theoretical computer science , discrete mathematics , algebra over a field , propositional calculus , calculus (dental) , pure mathematics , programming language , description logic , mathematical analysis , medicine , dentistry