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