×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of a-d-yashin
Semantic characterization of intuitionistic logical connectives
216 views
On the completeness of a new intuitionistic connective
220 views
On an extension of Gabbay’s logic
215 views
Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness
223 views
Novikov Complete Logics: Translation Techniques
220 views