Sign in
Another Neighbourhood Semantics for Intuitionistic Logic.
Morteza Moniri
Fatemeh Shirmohammadzadeh Maleki
Published in:
Log. J. IGPL (2024)
Keyphrases
</>
intuitionistic logic
proof theoretic
classical logic
linear logic
natural deduction
proof theory
logic programming
database
normal form
theorem prover
default reasoning
artificial intelligence
high level
formal semantics
model theoretic