Open AccessRemarks on Stable Formulas in Intuitionistic Logic
Author(s) -
Majid Alizadeh,
Ali Bibak
Publication year - 2018
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.2018.017
Subject(s) - mathematics , monotonic function , bijection, injection and surjection , property (philosophy) , set (abstract data type) , intuitionistic logic , interpolation (computer graphics) , discrete mathematics , algebra over a field , pure mathematics , computer science , mathematical analysis , propositional calculus , artificial intelligence , image (mathematics) , philosophy , epistemology , programming language , bijection